MathLabs

Problem 2

Let n≥3n\ge3 and consider a set EE of 2n−12n-1 distinct points on a circle. Exactly kk points are black. Call the coloring good if some pair of black points has an arc whose interior contains exactly nn points of EE. Find the least kk for which every coloring of kk points is good.
Step 2 of 4: Determine the cycle decomposition
gcd⁡(n−2,2n−1)=gcd⁡(n−2,3)\gcd(n-2,2n-1)=\gcd(n-2,3)
Detailed analysis

The graph is generated by repeatedly adding n-2 modulo m, so it is a union of cycles. Since gcd⁡(n−2,2n−1)=gcd⁡(n−2,3)\gcd(n-2,2n-1)=\gcd(n-2,3), it is one cycle of length 2n−12n-1 when n≢2(mod3)n\not\equiv2\pmod3. When n≡2(mod3)n\equiv2\pmod3, it is three cycles, each of length (2n−1)/3(2n-1)/3.