Solve Logic Problem Using Pigeonhole Principle

  • Thread starter Thread starter chem3
  • Start date Start date
Click For Summary
The discussion revolves around a logic problem that utilizes the pigeonhole principle to demonstrate that among n integer numbers, at least two must have a difference that is a multiple of n-1. The participant expresses difficulty in solving the problem and seeks assistance, particularly regarding the application of counting principles and modulo arithmetic. They mention the formula for choosing pairs from n elements and explore the concept of remainders when dividing by n-1. The conversation highlights the importance of understanding remainder arithmetic to find the solution. Ultimately, the problem emphasizes the relationship between differences and remainders in modular arithmetic.
chem3
Messages
6
Reaction score
0
Hello,

I have this logic problem which I know should be solved by the pigeonhole principle but I was not successful in solving it after many tries and I hope someone here would help me out.

The problem says:
n integer numbers are given. Show that there are at least two numbers among them whose difference is multiple of n-1.
 
Physics news on Phys.org
How many pairs are there? How many remainders mod n-1 are there?
 
matt grime said:
How many pairs are there? How many remainders mod n-1 are there?

That's all what the question said!
I think it may need some other logic principles used along with the pigeonhole principle to solve it?
 
Ok from counting principles: The numbers of pairs you can choose from a group of n elements (order does not matter here) is:

(n // 2) i.e. n choose 2
and that's = n!/((n-2)!2!) = ... = n(n-1)/2

I got stuck right there!
 
Last edited:
Have you met modulo, or clock, arithemetic? It is an important piece of mathematics, and one you were introduced to at the very start of your mathematics education: remainder arithmetic. Take one of those pairs. What is the remainder on division by n-1? It is one of 0,1,2,3,4,..,n-2 (e.g. after dividing by 8, you have remainder 0,1,2,3,4,5, or 7). Being divisible by n-1 means having remainder 0.

Suppose I tell you that x-y has remainder r on division by n-1, and that x-z has remainder s, what is the remainder of z-y? Hint z-y = (x-y)-(x-z).
 
The standard _A " operator" maps a Null Hypothesis Ho into a decision set { Do not reject:=1 and reject :=0}. In this sense ( HA)_A , makes no sense. Since H0, HA aren't exhaustive, can we find an alternative operator, _A' , so that ( H_A)_A' makes sense? Isn't Pearson Neyman related to this? Hope I'm making sense. Edit: I was motivated by a superficial similarity of the idea with double transposition of matrices M, with ## (M^{T})^{T}=M##, and just wanted to see if it made sense to talk...

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 29 ·
Replies
29
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K