For two permutations and of an integer is said to be a common element of and if
Find the last three digits of the smallest positive integer with the following property:
Details and assumptions
As an explicit example, the permutations and of share two common elements: and ( denotes the number of permutation ).
You might use the fact that is a prime.
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Throughout this solution, unless otherwise specified, a permutation will refer to a permutation of { 1 , 2 , ⋯ , 2 0 1 1 } .
Let A be the largest set of permutations any two of which share one common element at most. Also, let B be the largest set of permutations of { 1 , 2 , ⋯ , 2 0 1 1 } any two of which share at least two common elements.
Claim 1: For any pairwise distinct permutations P , Q , R , S where P , R ∈ A and Q , S ∈ B , P ⊙ R = Q ⊙ S (where ⊙ denotes the composition of two permutations).
Proof: It suffices to show that there exists an x such that P ⊙ R ( x ) = Q ⊙ S ( x ) . Note that P and Q share more common elements than R and S , so there must exist an x such that P ( x ) = Q ( x ) and R ( x ) = S ( x ) . For this selection of x , we have P ⊙ R ( x ) = Q ⊙ S ( x ) , as desired. ■
Claim 2: ∣ A ∣ × ∣ B ∣ ≤ 2 0 1 1 !
Proof: Our objective is to establish an injection between ∣ A × B ∣ and the set of permutations. For any two permutations P , Q where P ∈ A and Q ∈ B , P ⊙ Q also forms a permutation. Our first claim shows that distinct choices of ( P , Q ) correspond to distinct permutations. Hence, ∣ A × B ∣ ≤ 2 0 1 1 ! ⟹ ∣ A ∣ × ∣ B ∣ ≤ 2 0 1 1 ! . ■
Claim 3: ∣ B ∣ ≥ ( 2 0 1 1 − 2 ) !
Proof: Consider the set of permutations P satisfying P ( 1 ) = 1 , P ( 2 ) = 2 . Once two elements are fixed, there are ( 2 0 1 1 − 2 ) ! possibilities remaining for P , any two of which share two common elements. ■
Claim 4: ∣ A ∣ ≥ 2 0 1 1 ⋅ 2 0 1 0
Proof: For all i , j , define the set σ i , j = { i x + j ( m o d 2 0 1 1 ) } x = 1 2 0 1 1 (where X ( m o d n ) denotes the remainder when X is divided by n ).
First, we shall show that whenever 2 0 1 1 ∤ i , σ i , j forms a permutation of { 1 , 2 , ⋯ , 2 0 1 1 } . Since all 2 0 1 1 elements in the set σ i , j are between 1 and 2 0 1 1 inclusive, it suffices to show that all these elements are distinct. Suppose, on the contrary, we have i x + j ≡ i y + j ( m o d 2 0 1 1 ) for some 1 ≤ x < y ≤ 2 0 1 1 . This implies 2 0 1 1 ∣ i ( x − y ) . However, since 2 0 1 1 ∤ i , g cd ( 2 0 1 1 , x ) = 1 ⟹ 2 0 1 1 ∣ x − y . Note that ∣ x − y ∣ ≤ 2 0 1 0 , so we must have x = y .
Now, we shall show that for any a , b , c , d ∈ [ 1 , 2 0 1 1 ] ( 2 0 1 1 ∤ a , c ) where it is not the case that a = c and b = d , σ a , c and σ b , d can share at most one common element.
First, suppose a = c . If there exists a common element x , a x + b ≡ c x + d ( m o d 2 0 1 1 ) ⟹ b ≡ d ( m o d 2 0 1 1 ) ⟹ b = d since b , d both lie between 1 and 2 0 1 1 so ∣ b − d ∣ ≤ 2 0 1 0 . This is a contradiction, so there are no common elements in this case.
Now, suppose a = c . Suppose there exists a common element X . We have a x + b ≡ b x + d ( m o d 2 0 1 1 ) ⟹ ( a − c ) x ≡ ( d − b ) ( m o d 2 0 1 1 ) ⟹ x ≡ ( d − b ) I ( m o d 2 0 1 1 ) , where I denotes the multiplicative inverse of a − c ( m o d 2 0 1 1 ) (which exists because 2 0 1 1 ∤ a − c ). Thus, the residue of X ( m o d 2 0 1 1 ) is uniquely determined, which uniquely determines X since X lies between 1 and 2 0 1 1 .
Now, as i varies from 1 to 2 0 1 0 and j varies from 1 to 2 0 1 1 , we get 2 0 1 1 ⋅ 2 0 1 0 such permutations, no two of which share more than one common element by our above argument. ■
Combining claims 2, 3, 4 and noting that 2 0 1 1 ⋅ 2 0 1 0 × ( 2 0 1 1 − 2 ) ! = 2 0 1 1 ! , we deduce that ∣ A ∣ = 2 0 0 9 ! and ∣ B ∣ = 2 0 1 1 ⋅ 2 0 1 0 . Our desired answer is simply N = ∣ B ∣ + 1 = 2 0 1 1 2 − 2 0 1 1 + 1 , whose last three digits are 1 1 2 − 1 1 + 1 = 1 1 1 .