Given is an board, with an integer written in each grid. For each move, I can choose any grid, and add to all numbers in its row and column. Find the largest , such that for any initial choice of integers, I can make a finite number of moves so that there are at least even numbers on the board.
Solution
Given an board, with an integer written in each grid, we aim to find the largest such that for any initial choice of integers, it is possible to make a finite number of moves so that there are at least even numbers on the board. Each move consists of choosing any grid and adding 1 to all numbers in its row and column.
The answer is:
We will consider everything modulo 2.
### Case 1: is odd
Firstly, we show that if is odd, then . Let and be the sums of numbers in the rows and columns, respectively. Notice that in each operation, all of these variables change from 0 to 1 or vice versa. Therefore, if the initial configuration is:
then we have . After one operation, this vector becomes , and after another operation. Hence, there are at least odd numbers every time.
### Case 2: is even
We will show that the claimed value of is attainable.
Claim: It is possible to change the parity of one cell and fix all other numbers on the board.
Proof: By symmetry, assume this cell is the top left corner. Notice that by applying the operation to any cells, none of which lie in the same row or column, the parity of these cells is changed while all other numbers on the board are fixed. Call this operation . Denote the cell in the -th row and -th column by . Now, apply operation to each of the following -tuples:
Then all the cells in the first column and first row except the bottom left corner are changed while the other cells are fixed. Apply the given operation to the bottom left corner, and we are done.
Now, suppose is odd. Apply the algorithm for even numbers to the bottom right sub-board. If the first column and first row contain fewer than odd numbers, then we are done. Otherwise, apply an operation to the top left corner, and we are done.
The answer is: .