Discrete Structure

Pigeonhole Principle

The Pigeonhole Principle is a really simple concept that discovered in the 1800s,by Peter Gustav Lejeune Dirichlet was the youngest member of the Prussian Academy of Sciences, he worked at number theory and analysis .He also came up with a simple little thing that he called The Dirichlet Drawer Principle (or Shoe Box Principle), but that we now call The Pigeonhole Principle.

1st principle of Pigeonhole

ds pic 1.PNG.1

• Imagine 9 pigeonholes and 10 pigeons. A storm comes along, and all of the pigeons take shelter inside the pigeonholes.

• They could be arranged any number of ways. For instance, all 10 pigeons could be inside one hole, and the rest of the holes could be empty.

• What we know for sure, no matter what, is that there is at least one hole that contains more than one pigeon.

The principle works no matter what the particular number of pigeons and pigeonholes. As long as there are (N - 1) number of pigeonholes, and (N) number of pigeons, we know there will always be at least two pigeons in one hole.

3rd principle of Pigeonhole

pic 3.PNG.1

ds 3.1.PNG

ds 3.2.PNG

2nd principle of Pigeonhole

ds pic 2.PNG.1

If f is a function from a finite set X to a finite set Y and |X| > |Y|, then f(x1)= f(x2) for some x1,x2 ∈ X,  x1≠ x2

The 2nd form can be reduced to the 1st form by letting X be the set of pigeons and Y be the set of pigeonholes.

 Assign pigeon x to pigeonhole f(x)

Let= {1,2,3,4,5,6}. Show that if we choose any four distinct members of A, then for at least one pair of these four integers their sum is 7. • Notice that {1,6}, {2,5} and {3,4} are the only pairs of distinct integers such that their sum is 7. • Let= ,,, be any subset of four distinct elements of A. • Let= { 1,6 , 2,5 , 3,4 }, a set of 3 distinct elements and a part of A. = 1,6 ,= 2,5 ,= {3,4}

DS 2.1.jpg

Page

Back To Home Page

Discrere Structure Page : 1 , 2 ;
French Page : 1 , 2 
Programming Technique 1 Page : 1 , 2 , 3 , 4 ;
Technology and Information System Page : 1 , 2 , 3 , 4 , 5 , 6 , 7 ;
Digital Logic Page : 1 , 2 , 3 , 4 ;