Pigeonhole Principle and Boolean Matrices

  • Thread starter Thread starter annpaulveal
  • Start date Start date
  • Tags Tags
    Matrices Principle
Click For Summary
The discussion revolves around proving that in an 8x8 Boolean matrix with a total sum of 51, there exists at least one row and one column whose combined total exceeds 13. The initial approach involves using the pigeonhole principle, suggesting that if each selected row and column combination had a maximum sum of 12, the overall sum would only reach 48, contradicting the given total of 51. Concerns are raised about the overlapping entry when counting the totals of the selected row and column, leading to the need for a different approach. Suggestions include analyzing the distribution of entries in rows and columns to demonstrate that at least some must exceed the threshold. The discussion highlights the complexity of counting overlaps and emphasizes the necessity of a clear method to resolve the problem.
annpaulveal
Messages
15
Reaction score
0

Homework Statement



Let A be an 8x8 Boolean matrix. If the sum of A = 51, prove there is a row and a column such that when the total of the entries in the row and column are added, their sum is greater than 13.

The Attempt at a Solution



I considered a selection of one row and one column, which contains 16 boxes. Given the size of the matrix, there are 4 such selections of unique boxes, or 4 pigeonholes. If the sum of each such pigeonhole was <= 12, the sum of A would be 48 at a maximum. Therefore, the sum of at least one such pigeonhole must be greater than 13 to reach the sum of 51.

However, I'm not sure if my solution is sufficient to account for the single overlapping box between a row and a column at every selection of one row and one column. Also, the fact that there are 64 unique boxes and therefore 4 unique selections of 16 does not account for the fact that the problem is specifically asking for rows and columns, which intersect in the way I just described.
 
Last edited:
Physics news on Phys.org
Given the size of the matrix
You did not give it, but I guess that it is 8x8.
However, I'm not sure if my solution is sufficient to account for the single overlapping box between a row and a column at every selection of one row and one column.
I think you cannot fix that problem in your approach, so a different approach is needed.

Can you show that there is at least one row with 7 entries? What would happen if all rows had at most 6 entries?
Can you do the same with columns? How many columns have to have 7 entries?
 
Would a better solution be to say that the sum of 51 in a 64-square Boolean matrix implies there are are 13 0s to be placed, and they can't be placed in such a way that each row/column combination adds up to 13 or less?
 
annpaulveal said:
Would a better solution be to say that the sum of 51 in a 64-square Boolean matrix implies there are are 13 0s to be placed, and they can't be placed in such a way that each row/column combination adds up to 13 or less?

I don't think that makes it any easier. Just think through mfb's hint.
 
annpaulveal said:
when the total of the entries in the row and column are added, their sum is greater than 13.
If I read that strictly, an entry that is in both that row and that column should only be counted once. OTOH, I don't think the result is true in that case.
 
haruspex said:
If I read that strictly, an entry that is in both that row and that column should only be counted once. OTOH, I don't think the result is true in that case.
Hmm...
Code:
0	0	1	1	1	1	1	1
1	0	1	1	1	1	1	1
1	1	0	0	1	1	1	1
1	1	1	0	1	1	1	1
1	1	1	1	0	0	1	1
1	1	1	1	1	0	1	1
1	1	1	1	1	1	0	0
0	1	1	1	1	1	1	0

On the other hand, if that entry is counted twice, where is the point in this matrix?
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
Replies
2
Views
2K
  • · Replies 32 ·
2
Replies
32
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
7K
  • · Replies 9 ·
Replies
9
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
7
Views
27K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
8K