Let { A i } i = 1 m and { B i } i = 1 m be two families of sets such that
If M is the maximum value of m , find the exponent of 5 in the prime factorization of M .
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.
This problem is awesome! And your solution is amazing! However, you'll want to change the wording because a power of 5 is the number itself. In other words, the first power of 5 is 5; the second power of 5 is 25. What you mean to ask for is the exponent, not the power. ;)
Log in to reply
Oh I didn't notice that! Thanks, I have corrected it :)
Log in to reply
You're welcome. Though I'd say something more like "in the prime factorization of M, give the exponent of the power of 5."
Log in to reply
@James Wilson – or "give the exponent of the largest power of 5 that is a factor of M." or "give the exponent of the largest power of 5 that divides M."
Log in to reply
@James Wilson – or "give the largest natural number n such that 5 n divides M."
I just want to point out that this is a classic result due to Bollobas. I found a reference in this paper, on page 3: http://www.cs.tau.ac.il/~nogaa/PDFS/set3.pdf .
As I suspect the other solvers did, I found the maximal example without having any clue how to prove it was maximal. This argument is very pretty, and Jon's reference points out that a similar argument proves Sperner's lemma. Cf. this problem and this wiki .
Problem Loading...
Note Loading...
Set Loading...
We will solve the more general problem:
Proposition If ∣ A i ∣ = a and ∣ B i ∣ = b for all 1 ≤ i ≤ m , then m ≤ ( a a + b ) . Let S be the union of all A i and B i . Consider a random permutation π of S . Let X i be the event that all of the elements of A i appear before B i in π . Observe that Prob [ X i ] = ( a + b ) ! a ! b ! = ( a a + b ) 1 . Furthermore, for i = j , X i and X j are disjoint events because if A i appears before B i , then A j does not appear completely before B j since one element of A j appears in B i and one element of B j appears in A i . Hence, i = 1 ∑ m Prob [ X i ] ≤ 1 ⟹ m ≤ ( a a + b ) as claimed.
To prove that this inequality is sharp, let U be a set of a + b elements, and define { A i } to be the set of all a -element subsets of U and B i = A i .
Now, to solve the problem, we just need to find the exponent of 5 in ( 3 0 1 0 0 ) . But this is just 1 .