Играта на лъжеца е игра между двама играчи AA и BB. Правилата зависят от две фиксирани положителни цели числа kk и nn, известни и на двамата играчи. В началото AA избира цели числа xx и NN с 1xN1\le x\le N. Играчът AA пази xx в тайна и казва истинно числото NN на играча BB. След това BB се опитва да получи информация за xx, като задава въпроси от следния вид: във всеки въпрос BB задава произволно множество SS от положителни цели числа (възможно е то вече да е било задавано) и пита дали xSx\in S. Играчът BB може да зададе колкото въпроси желае. След всеки въпрос AA трябва веднага да отговори с да или не, но има право да лъже колкото пъти пожелае; единственото ограничение е, че сред всеки k+1k+1 последователни отговора поне един трябва да бъде верен. След като зададе въпросите си, BB трябва да посочи множество XX от най-много nn положителни цели числа. Ако xXx\in X, тогава BB печели; иначе губи. Докажете, че: (a) ако n2kn\ge2^k, то BB може да си гарантира победа; (b) за всички достатъчно големи kk съществува цяло число n(1.99)kn\ge(1.99)^k, за което BB не може да си гарантира победа.
📣НОВО: Добавени задачи от Международната олимпиада по математика 2000-2024
Още задачи при скрол