Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2022 / Problems / Day 2, P8

IMC 2022 · Day 2 · P8

very hard

Let n,k3n, k \ge 3 be integers, and let SS be a circle. Let nn blue points and kk red points be chosen uniformly and independently at random on the circle SS. Denote by FF the intersection of the convex hull of the red points and the convex hull of the blue points. Let mm be the number of vertices of the convex polygon FF (in particular, m=0m = 0 when FF is empty). Find the expected value of mm.

(proposed by Fedor Petrov, St. Petersburg)

Solution 1 of 3 (official)

Hint:

We prove that E(m)=2knn+k12k!n!(k+n1)!.\mathsf{E}(m) = \frac{2kn}{n + k - 1} - 2 \frac{k! \, n!}{(k + n - 1)!}. Let A1,,AnA_1, \dots, A_n be blue points. Fix i{1,,n}i \in \{1, \dots, n\}. Enumerate our n+kn + k points starting from a blue point AiA_i counterclockwise as Ai,X1,i,X2,i,,X(n+k1),iA_i, X_{1,i}, X_{2,i}, \dots, X_{(n+k-1),i}. Denote the minimal index jj for which the point Xj,iX_{j,i} is blue as m(i)m(i). So, AiXm(i),iA_i X_{m(i),i} is a side of the convex hull of blue points. Denote by bib_i the following random variable: bi={1,if the chord AiXm(i),i contains a side of F0,otherwise.b_i = \begin{cases} 1, & \text{if the chord } A_i X_{m(i),i} \text{ contains a side of } F \\ 0, & \text{otherwise.} \end{cases} Define analogously kk random variables r1,,rkr_1, \dots, r_k for the red points. Clearly, m=b1++bn+r1++rk.()\tag{$\heartsuit$} m = b_1 + \dots + b_n + r_1 + \dots + r_k. We proceed with computing the expectation of each bib_i and rjr_j. Note that bi=0b_i = 0 if and only if all red points lie on the side of the line AiXm(i),iA_i X_{m(i),i}. This happens either if m(i)=1m(i) = 1, i.e., the point Xi,1X_{i,1} is blue (which happens with probability n1k+n1\frac{n-1}{k+n-1}), or if i=k+1i = k + 1, points X1,i,,Xk,iX_{1,i}, \dots, X_{k,i} are red, and points Xk+1,i,,Xk+n1,iX_{k+1,i}, \dots, X_{k+n-1,i} are blue (which happens with probability 1/(k+n1k)1 / \binom{k+n-1}{k}, since all subsets of size kk of {1,2,,n+k1}\{1, 2, \dots, n+k-1\} have equal probabilities to correspond to the indices of red points between X1,i,,Xn+k1,iX_{1,i}, \dots, X_{n+k-1,i}). Thus the expectation of bib_i equals 1n1k+n11/(k+n1k)=kn+k1k!(n1)!(k+n1)!1 - \frac{n-1}{k+n-1} - 1 / \binom{k+n-1}{k} = \frac{k}{n+k-1} - \frac{k! (n-1)!}{(k+n-1)!}. Analogously, the expectation of rjr_j equals nn+k1n!(k1)!(k+n1)!\frac{n}{n+k-1} - \frac{n! (k-1)!}{(k+n-1)!}. It remains to use ()(\heartsuit) and linearity of expectation.

Solution 2 of 3 (official)

Let C1,,Cn+kC_1, \dots, C_{n+k} be the colours of the points, scanned counterclockwise from a fixed point on the circle. We consider the sequence as cyclic (so Cn+kC_{n+k} is also adjacent to C1C_1). There are two cases: Either (i) all red points appear contiguously, followed by all blue points contiguously, or (ii) the red and blue points alternate at least twice. It can be seen that in the second case, mm is exactly equal to the number of colour changes in the CiC_i sequence: For example, if CiC_i is red and Ci+1C_{i+1} is blue, then the intersection of the red chord from CiC_i to the next red point with the blue chord from Ci+1C_{i+1} to the previous blue point is a vertex of FF, and every vertex is of this form. Case (i) is exceptional, as we have two colour changes, but m=0m = 0, so it is 2 less than the number of changes in that case.

Now observe that the distribution of CiC_i is purely combinatorial: Each of the (n+kn,k)\binom{n+k}{n,k} distributions of colours is equally likely (for example, because we can generate the distribution by first choosing all n+kn + k points on the circle, and then assigning colours uniformly). In particular the probability that CiCi+1C_i C_{i+1} is a colour change is exactly 2nk(n+k)(n+k1)\frac{2nk}{(n+k)(n+k-1)}, and by lineraity of expectation, the total expected number of color changes (including i=n+ki = n+k) is n+kn + k times this, i.e. 2nkn+k1\frac{2nk}{n+k-1}.

To get the expected value of mm, we must subtract from the above 2 times the probability of case (i). Exactly n+kn + k of the (n+kn,k)\binom{n+k}{n,k} distributions belong to case (i), so we must subtract 2(n+k)(n+kn,k)1=2n!k!(n+k1)!2 (n+k) \binom{n+k}{n,k}^{-1} = 2 \frac{n! k!}{(n+k-1)!}, as claimed.

Solution 3 of 3 (official)

Let A1,,AnA_1, \dots, A_n be the blue points and B1,,BkB_1, \dots, B_k be the red points. For every pair of blue points AiA_i, AjA_j, 1i<jn1 \leqslant i < j \leqslant n, we evaluate the probability pp that AiAjA_i A_j contains a side of FF (it obviously does not depend on the choice of ii and jj). By qq denote the analogous probability for the red points. Then by linearity of expectation we have Em=(n2)p+(k2)q\mathsf{E} m = \binom{n}{2} p + \binom{k}{2} q.

We proceed with finding pp. Without loss of generality i=1i = 1, j=2j = 2. Let the length of the circle be 1, and the length of arc A1A2A_1 A_2 (counterclockwise from A1A_1 to A2A_2) be xx. Then xx is uniformly distributed on [0,1][0, 1]. Then A1A2A_1 A_2 contains a side of FF if

(i) all blue points are on the same side of A1A2A_1 A_2, but

(ii) the red points are not on the same side of A1A2A_1 A_2.

The probability of (i) is xn2+(1x)n2x^{n-2} + (1-x)^{n-2}. The probability of (ii) is 1(xk+(1x)nk)1 - (x^k + (1-x)^{n-k}).

Thus, using Beta function value B(a,b)=01xa1(1x)b1dx=B(a,b)=(a1)!(b1)!(a+b1)!B(a, b) = \int_0^1 x^{a-1} (1-x)^{b-1}\,dx = B(a, b)

= \frac{(a-1)!(b-1)!}{(a+b-1)!} for positive integers a,ba, b p=01(xn2+(1x)n2)(1(xk+(1x)nk))dx=2n12n+k12B(n1,k+1)=2n12n+k12(n2)!k!(n+k1)!.\begin{align*} p &= \int_0^1 (x^{n-2} + (1-x)^{n-2}) (1 - (x^k + (1-x)^{n-k}))\,dx = \frac{2}{n-1} - \frac{2}{n+k-1} - 2 B(n-1, k+1) \\ &= \frac{2}{n-1} - \frac{2}{n+k-1} - 2 \frac{(n-2)! \, k!}{(n+k-1)!}. \end{align*} Next, (n2)p=nn(n1)n+k1n!k!(n+k1)!=nkn+k1n!k!(n+k1)!,\binom{n}{2} p = n - \frac{n(n-1)}{n+k-1} - \frac{n! \, k!}{(n+k-1)!} = \frac{nk}{n+k-1} - \frac{n! \, k!}{(n+k-1)!}, and by symmetry (k2)q\binom{k}{2} q takes the same value (that is in agreement with the observation that red and blue sides of FF alternate).

How the field did

contestants scored
589
average (of 10)
1.25
solved (≥ 80%)
7.8%
near-0 (≤ 10%)
79.8%
discrimination
0.46

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2019 · Day 2 · P10killeravg 0.6/10 · solved 2% · near-0 89% · disc 0.36
IMC 2024 · Day 1 · P5killeravg 0.1/10 · solved 1% · near-0 97% · disc 0.25
IMC 2002 · Day 2 · P10very hardavg 2.0/10 · solved 7% · near-0 66% · disc 0.59
IMC 2015 · Day 1 · P5very hardavg 1.1/10 · solved 9% · near-0 82% · disc 0.49