Дадено е множеството [tex]M[/tex], което се състои от [tex]n[/tex] елемента. [tex]k[/tex] е фиксирано естествено число.
Двама човека, [tex]A[/tex] и [tex]B[/tex], играят на следната игра. На всеки ход [tex]A[/tex] разделя, както пожелае, [tex]M[/tex] на две части, а [tex]B[/tex] избира една от тези части. Няма ограничение в броя на ходовете. [tex]A[/tex] печели, ако успее да накара [tex]B[/tex] в [tex]k[/tex] последователни негови избора да избере множества с непразно сечение.
Да се докаже, че [tex]A[/tex] има печеливша стратегия при:
а) [tex]n=2^k[/tex]
b) [tex]n=2^{k-1} + 1[/tex]
П.П. Под "разделя [tex]M[/tex] на две части" се разбира две непресичащи се части с обединение [tex]M[/tex]. Задачата е давана на някакво състезание в латинска америка и има и друга история, но затова по-късно.

Меню