9
$\begingroup$

In an array of dots, how many can be colored red without forming a red rectangle? We use rectangular arrays of dots, and consider only those rectangles with horizontal and vertical sides. A dot-rectangle is called “red” if its four corners are red. (Other dots can be of any color.)For whole numbers $m, n,$ define $R(m, n)$ to be the largest number of dots in an $m ×n$ array that can be colored red without making a red rectangle. Can you evaluate (with proof) $R(3, 4), R(3, 5), . . . ?$ How about $R(4, 4)$? Eventually, find a general formula for $R(m,n)$ and provide a rigorous proof.

So I think that this is needed to be solved by Ramsey theory and induction but I am having a hard time to find a place to start. I tried a few cases but I am extremely unconfident if those countings are right. Currently I am stuck here and any help will be appreciated( e.g. how to check if I put the maximum red dots in).

About the comment of results, I get 7 for $R(3, 4)$. My reasoning is basically to fill out 3 spots of a rectangle and left the one blank, while trying to cram those spots together as tight as possible.

  • 1
    The problem is not asking for a general result. Symmetry considerations together with addition and multiplication rules should suffice for these small cases. You said you tried some cases. Did you try R(3,4)? Why not show your results (with reasoning).2017-02-28
  • 1
    Also, what makes you think the problem has anything to do with Ramsey Theory? I'm not saying it doesn't, just that I don't see the connection. Is this problem from a book? If so, which book, which chapter?2017-02-28
  • 0
    Um it is an assignment that my teacher. He is currently teaching about ramsey's theory and I think this is related to it. Also the concept of Ramsey's theory seems evident here( getting maximum stuff put in)?2017-02-28
  • 0
    Ok, seems reasonable. I take back my doubt concerning the connection.2017-02-28
  • 0
    R(3,4) = 7 is correct.2017-02-28
  • 0
    I get $R(m,n)=m+n$ But I dont have the prove...2017-02-28
  • 0
    I actually kind of get a horrible fake induction but dont think that counts as a legit prove .should I post it?2017-02-28
  • 0
    Sure, post it, at least you'll get some feedback (from someone) although I'm calling it a night soon.2017-02-28
  • 0
    Some values: http://oeis.org/A0725672017-02-28

3 Answers 3

2

An approximate solution (for at least part of the domain of $n$) for $R(n,n)$ is:

If $n$ is even then a solution of the form: $n + (n/2-m)(n/2+m)$ (where $0\le mA07267. For values of $n: 2\le n \le 8$, then $m=0$ works best. For $n = 10$, then $m=1$, and for $n=12$, then $m=2$.

If $n$ is odd then $n+((n+1)/2+m)(n/2-m)$ is also "close". For values of $n: 1\le n \le 9$, then $m=0$ works best. For $n = 11$, then $n=1$ and for $n=13$ then $m=2$.

As $n$ increases, increasing $m$ yields a better estimate. However I don't have enough data points to determine what relationship between $n$ and $m$ works best.

  • 0
    Hi, how did you come up with the equations for the solutions?2017-03-28
  • 0
    Something like: 1) arrange dots in the first several columns so no overlap row-wise, so for $n=3$, two dots in first column, one in second; for $n=4$ that meant 2 in each of first 2. For 5 thru 8, the pattern continues using two columns. At 9 and more it worked better to distribute the first set of dots over more columns (4, 5, 6, 6, 7 for 9-13) again w/o row-wise overlap. 2) Use the remaining columns to distribute the remaining dots. For 3-8, this was 2 in each col, and for 9 and above it approximately $n/2$ dots in each of $n/2$ cols. As n increased tho, the total was too big, hence $m$.2017-03-28
8

Partial solution . . .

I'll do the case $R(3,n)$.

Claim: $R(3,n) = 3 + n$, for all $n \ge 3$.

For simplicity of discussion, instead of cells with either red dots or "other" dots, we'll just use cells either containing a dot, or else empty.

First we show $R(3,n) \le 3 + n$, for all $n \ge 3$.

First, consider the case $n = 3$.

Suppose $R(3,3) > 6$.

Thus, suppose we have a rectangle-free $3\,{\times}\,3$ matrix containing at least $7$ dots. Since we have only $3$ rows, some row must have more than two dots, hence must have $3$ dots (i.e., it's "fully filled"). If any of the other rows contains at least two dots, those two dots together with the corresponding dots in the fully filled row would yield a rectangle. Thus, the two rows other than the fully filled row must each have at most one dot. But then the total number of dots is at most $5$, contradiction.

It follows that $R(3,3) \le 6$.

Next, consider the case $n = 4$.

Suppose $R(3,4) > 7$.

Thus, suppose we have a rectangle-free $3\,{\times}\,4$ matrix containing at least $8$ dots.

Note if a matrix with dots is rectangle free, it's still rectangle free if any of the rows are permuted, or if any of the columns are permuted.

Since we have only $3$ rows, some row must have more than two dots, hence must have at least $3$ dots. By an appropriate permutation of the rows and columns, we can assume the first row has $3$ dots in its first $3$ cells (left to right). The $6$ cells below those $3$ dots can have at most one dot in each row, hence must have one dot in each row, else you can't reach $8$. But then the right-most column must have $3$ dots, which yields two rectangles, contradiction.

It follows that $R(3,4) \le 7$.

Proceed by induction on $n$ . . .

Thus, suppose $R(3,n) \le 3 + n$, for some $n \ge 4$.

Our goal is to show $R(3,n+1) \le 3 + (n + 1) = 4 + n$.

Suppose $A$ is a $3\,{\times}\,(n+1)$ rectangle-free matrix with $d$ dots.

If we delete any column from $A$, the new matrix is a $3\,{\times}\,n$ rectangle-free matrix, hence, by the inductive hypothesis, contains at most $3 + n$ dots.

There are $n + 1$ choices for the deleted column, and in each case, the new matrix contains at most $3 + n$ dots. If we count the total number of dots in all of these new matrices, the count is at most $(n + 1)(3 + n)$. But for this total, each of the dots in the original matrix $A$ is counted exactly $n$ times, hence

$$d \le \frac{(n + 1)(3 + n)}{n} = \frac{3}{n} + 4 + n < 5 + n$$

But $d < 5 + n \implies d \le 4 + n$.

It follows that $R(3,n+1) \le 4 + n$, which completes the induction.

Thus, we've shown $R(3,n) \le 3 + n$, for all $n \ge 3$.

Next we show $R(3,n) \ge 3 + n$, for all $n \ge 3$.

It suffices to construct a $3\,{\times}\,n$ matrix with $3 + n$ dots which is rectangle-free (i.e., for which no $4$ dots form a rectangle with horizontal or vertical sides).

Thus, consider the $3\,{\times}\,n$ matrix (stars represent dots)

$$ \begin{bmatrix} & *& *& *& \cdots& *\\ *& *& & & & \\ *& & *& & & \\ \end{bmatrix} $$

where the first row has dots in all but the first column, and each of the other two rows contains two dots, as shown.

It's clear that the matrix has $3 + n$ dots, and is rectangle-free.

It follows that $R(3,n) \ge 3 + n$, for all $n \ge 3$.

Combining the results, we have $R(3,n) = 3 + n$, for all $n \ge 3$, as was to be shown.

Notes:

  • Using a much simpler argument, one can show $R(2,n) = 1 + n$, for all $n \ge 2$.
  • By arguments similar to those used to determine $R(3,4)$, one can show that $R(4,4) = 9$.
  • Thus, it might seem reasonable to conjecture that $R(m,n) = (2m - 3) + n$, for all $n \ge m$.
  • Unfortunately, based on the link http://oeis.org/A072567 posted by Matthew Conroy, it's clear that the conjecture I proposed above is false. Moreover, it seems likely that no closed form expression for $R(m,n)$ is currently known.
  • 0
    Hi, I understand the explanation but how can I apply it to a general formula? My teacher today asks for a general formula and no one answers so I want to give a try.. But still can't approach2017-02-28
  • 1
    @Guy who failed everything: Is your teacher asking for a formula for the general case, $R(m,n)$? If so, that kind of suggests that your teacher _knows_ such a formula. If you find out what your teacher thinks the formula is, please post it here.2017-03-01
  • 0
    Ok. He told us that it uses sigma instead of using only m or n. I thought your solution is solid and there doesnt appear an error to me... I will try to work this out with you! Thank you for helping me!2017-03-01
5

Here are solutions with 14 and 17 dots, respectively, that are optimal for $R(4,8)$ and $R(5,8)$:

$$\begin{bmatrix} & & & & &*&*&*\\ & & &*&*& & &*\\ & &*& &*& &*& \\ *&*&*&*& &*& & \end{bmatrix} ~ \begin{bmatrix} & & & & &*&*&*\\ & & &*&*& & &*\\ &*&*& & & & &*\\ *& &*& &*& &*& \\ *&*& &*& &*& & \end{bmatrix}$$

Solutions with 12 and 16 dots, respectively, that are optimal for $R(5,5)$ and $R(6,6)$:

$$ \begin{bmatrix} & & &*&*\\ & &*& &*\\ &*& & &*\\ *& & & &*\\ *&*&*&*& \end{bmatrix} ~ \begin{bmatrix} & & & &*&*\\ & &*&*& & \\ &*& &*& &*\\ &*&*& &*& \\ *& & &*&*& \\ *& &*& & &* \end{bmatrix}$$

Solutions with 21 and 24 dots, respectively, that are optimal for $R(7,7)$ and $R(8,8)$:

$$\begin{bmatrix} & & & &*&*&*\\ & &*&*& & &*\\ &*& &*& &*& \\ &*&*& &*& & \\ *& & &*&*& & \\ *& &*& & &*& \\ *&*& & & & &* \end{bmatrix} ~ \begin{bmatrix} & & & & & &*&*\\ & & & &*&*& &*\\ & & &*& &*&*& \\ & &*& &*& &*& \\ &*& &*&*& & & \\ &*&*& & &*& & \\ *& &*&*& & & &*\\ *&*& & & & &*& \end{bmatrix}$$ Finally, a solution with 29 dots that is optimal for $R(9,9)$:

$$\begin{bmatrix} & & & & & &*&*&*\\ & & & &*&*& & &*\\ & & &*& &*& &*& \\ & &*& & &*&*& & \\ &*& & &*& & &*& \\ &*&*&*& & & & &*\\ *& & &*&*& &*& & \\ *& &*& & & & &*& \\ *&*& & & &*& & & \end{bmatrix}$$

All are computed by a program. The results for $R(n,n)$ are in agreement with A07267. (Thanks to @MatthewConroy.)