A Family of Sets

Let { A i } i = 1 m \{A_i\}_{i = 1}^m and { B i } i = 1 m \{B_i\}_{i = 1}^m be two families of sets such that

  1. A i = 30 |A_i| = 30 and B i = 70 |B_i| = 70 for all 1 i m 1 \leq i \leq m
  2. A i B i = A_i \cap B_i = \emptyset for all 1 i m 1 \leq i \leq m
  3. A i B j A_i \cap B_j \neq \emptyset for all 1 i , j m 1 \leq i, j \leq m , i j i \neq j .

If M M is the maximum value of m m , find the exponent of 5 5 in the prime factorization of M M .


The answer is 1.

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.

1 solution

Alan Yan
Jan 6, 2018

We will solve the more general problem:

Proposition If A i = a |A_i| = a and B i = b |B_i| = b for all 1 i m 1 \leq i \leq m , then m ( a + b a ) . m \leq \binom{a+b}{a}. Let S S be the union of all A i A_i and B i B_i . Consider a random permutation π \pi of S S . Let X i X_i be the event that all of the elements of A i A_i appear before B i B_i in π \pi . Observe that Prob [ X i ] = a ! b ! ( a + b ) ! = 1 ( a + b a ) . \text{Prob}[X_i] = \frac{a! b!}{(a+b)!} = \frac{1}{\binom{a+b}{a}} . Furthermore, for i j i \neq j , X i X_i and X j X_j are disjoint events because if A i A_i appears before B i B_i , then A j A_j does not appear completely before B j B_j since one element of A j A_j appears in B i B_i and one element of B j B_j appears in A i A_i . Hence, i = 1 m Prob [ X i ] 1 m ( a + b a ) \sum_{i = 1}^m \text{Prob}[X_i] \leq 1 \implies m \leq \binom{a+b}{a} as claimed.

To prove that this inequality is sharp, let U U be a set of a + b a+b elements, and define { A i } \{A_i\} to be the set of all a a -element subsets of U U and B i = A i B_i = \overline{A_i} .

Now, to solve the problem, we just need to find the exponent of 5 5 in ( 100 30 ) \binom{100}{30} . But this is just 1 \boxed{1} .

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. ;)

James Wilson - 3 years, 5 months ago

Log in to reply

Oh I didn't notice that! Thanks, I have corrected it :)

Alan Yan - 3 years, 5 months ago

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."

James Wilson - 3 years, 5 months ago

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."

James Wilson - 3 years, 5 months ago

Log in to reply

@James Wilson or "give the largest natural number n n such that 5 n 5^n divides M."

James Wilson - 3 years, 5 months ago

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 .

Jon Haussmann - 3 years, 4 months ago

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 .

Patrick Corn - 3 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...