A $30\times30$ table is given. We want to color some of it's unit squares such that any colored square has at most $k$ neighbors. ( Two squares $(i,j)$ and $(x,y)$ are called neighbors if $i-x,j-y\equiv0,-1,1 \pmod {30}$ and $(i,j)\neq(x,y)$. Therefore, each square has exactly $8$ neighbors) What is the maximum possible number of colored squares if$:$ $a) k=6$ $b)k=1$
Problem
Source: Iran MO 3rd round 2016 finals -Combinatorics P3
Tags: modular arithmetic, combinatorics, table, Coloring
06.09.2016 20:27
Is it supposed to be $i-x,j-y\equiv0,-1,1\pmod{30}$ instead?
06.09.2016 20:27
ABCDE wrote: Is it supposed to be $i-x,j-y\equiv0,-1,1\pmod{30}$ instead? Thank you, yes
06.09.2016 20:57
(a) Suppose that there are $n$ non-colored squares and $900-n$ colored squares. Consider all ordered pairs of neighboring squares consisting of one colored square and one non-colored square. Every non-colored square can be a part of at most 8 ordered pairs, so there are at most $8n$ of them. Every colored square has to be part of at least 2 ordered pairs as well, so there are at least $2(900-n)$ of them. Hence, $8n\geq2(900-n)\implies n\geq 180$, so there are at most $720$ colored squares. This can be achieved by coloring a square $(i,j)$ if $5\nmid2i-j$. (b) Note that all connected components of colored squares consist of a single square or a domino. Hence, we want to find the maximum number of those we can put down on a 30x30 torus without any of them touching by edge or corner. Consider expanding all of those colored unit squares and dominoes by 1 on the bottom and the left, so they become 2x2 and 2x3 rectangles on the torus. Our original condition of no two colored squares or dominoes becomes no two colored expanded rectangles overlapping. We just want to find the maximum possible value of $2A+B$, where we place $A$ 2x3 rectangles and $B$ 2x2 squares onto a 30x30 torus without any rectangle overlapping another. We clearly have $6A+4B\leq 900$, so $2A+B=\frac{6A+4B}{3}-\frac{B}{3}\leq\frac{6A+4B}{3}=300$. This is achievable by coloring all squares with $2\nmid i,3\nmid j$. Can someone check the above? This feels too simple for an Iran final round #3
08.09.2016 10:02
such that any colored square has at most $k$ neighbors is it mean??
02.10.2020 10:18
ABCDE wrote: We clearly have $6A+4B\leq 900$ I think this part is wrong. Can have squares from outside of the table Or am I wrong? (I've an example with 310 instead of 300)