Fie A = {1, 2, ..., n} si B = {n + 1, n + 2, ..., 2n}.

Putem descrie ecare secventa de aprindere sau stingere a becurilor ca un sir de lungime k : (a1 , a2 , ..., ak ), unde ai A B inseamna ca la pasul i a fost actionat asupra becului ai , pentru i = 1, 2, ..., k . Fie Ns multimea tuturor sirurilor care contin de un numar impar de ori pe ecare numar din A si de un numar par de ori pe ecare numar din B . Similar, e Ms multimea tuturor sirurilor care nu contin numere din B si de un numar impar de ori pe cele din A. Denim functia : f : Ns Ms astfel f (a1 , a2 , ..., ak ) = (b1 , b2 , ..., bk ) unde : bi = ai daca ai A , altminteri bi = ai n Evident N = |Ns | si M = |Ms | Vrem sa aratam ca ecare element din Ms este imaginea a exact 2kn elemente din Ns , ceea ce inseamna |N | = 2kn |M | si asta rezolva problema. Fie y Ms arbitrar, xat, si e li numarul de aparitii ale lui i in y pentru i = 1, 2, ..., n. Evident li este impar. Consideram preimaginea lui y , deci: Xy = {x|f (x) = y } Fiecare x Xy contine numarul i si numarul n + i (unde 1 i n) exact pe pozitiile pe care i se aa in y (pozitii xe, y ind xat). Evident i apare de un numar impar de ori iar n + i de un numar par de ori. Deoarece numarul de pozitii unde putem avea prezent pe n + j este par (becurile de la n + 1 incolo i i i trebuind sa e stinse) atunci trebuie sa calculam l0 + l2 + l4 + ... = 2li 1 . Practic am numarat numarul de situatii in care avem prezent numarul n + j de 0, 2, 4, ... ori pe cele li pozitii xe (si tinem cont de faptul ca li este impar, deci conditiile se mentin, adica pentru i ramane un numar impar de pozitii) Combinand pentru i = 1, 2, ..., n avem 2l1 1 2l2 1 ...2ln 1 = 2l1 +l2 ++ln n = deoarece l1 + l2 + + ln = k . Deci |Xy | = 2kn = N/M .

k n