Some unit squares of the grid are marked so that any sub-square of the grid consisting of unit squares has at least marked unit squares.
What is the minimal possible number of marked unit squares?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Suppose that the centres of unit squares have coordinates ( i , j ) , where i = 1 , 2 , … , 9 9 ; j = 1 , 2 , … , 9 9 . The unit square with centre at ( i , j ) will be denoted by u ( i , j ) . Let the marked unit squares be:
Then it can be seen that the total number of marked unit squares is 2261, and any sub-square 5 × 5 has exactly 6 marked unit squares.
Let k be a positive integer. By the method of mathematical induction, we can see if any 5 × 5 sub-square of the grid ( 5 k + 4 ) × ( 5 k + 4 ) has at least 6 marked unit squares, then the total number of marked unit squares is at least 6 k 2 + 5 k .
Therefore the total number of marked unit squares is at least 1 1 .
Let 5 × 5 squares U s , s = 1 , 2 , … , k + 1 ; consist of all unit squares u ( i , j ) , where 5 k + 5 ≤ i ≤ 5 k + 9 , 5 s − 4 ≤ j ≤ 5 s and 5 × 5 squares V t , t = 1 , 2 , … , k + 1 ; consist of all unit squares u ( i , j ) , where 5 t − 4 ≤ i ≤ 5 t , 5 k + 5 ≤ j ≤ 5 k + 9 . Note that the squares of U k + 1 and V k + 1 share a unit square u ( 5 k + 5 , 5 k + 5 ) , all other pairs of U s and V t squares do not share any unit square. Therefore, since the union of k + 1 U s and k + 1 V t squares is a subset of the set B − A , the set B − A contains at least 6 ⋅ 2 ( k + 1 ) − 1 = 1 2 k + 1 1 marked squares. Thus, by inductive hypothesis, B contains at least 6 k 2 + 5 k + 1 2 k + 1 1 = 6 ( k + 1 ) 2 + 5 ( k + 1 ) . Done.
At k = 1 9 , we get that the grid 9 9 × 9 9 contains at least 2 2 6 1 marked unit squares. Whew! :P