Кіріспе

Математикалық ойын
Қалам мен қағаз ойыны

Доминирование (сонымен қатар Stop Gate немесе Crosscram деп аталады) – граф қағаздың кез келген шаршылар жинағында ойналатын математикалық ойын. Мысалы, оны 6×6 шаршыда, тіктөртбұрышта, толыққанды ретсіз полиоминода немесе кез келген осындай компоненттердің комбинациясында ойнауға болады. Екі ойыншыда домино тастары бар, оларды кезекпен торға қойып, шаршыларды жабады. Бір ойыншы тастарды тік қояды, ал екіншісі көлденең қояды. (Дәстүрлі түрде, бұл ойыншылар "Сол" және "Оң" деп аталады, немесе "V" және "H". Бұл мақалада екі аталым да қолданылады.) Комбинаторлық ойын теориясындағы көптеген ойындар сияқты, қозғала алмай қалған бірінші ойыншы жеңіледі. Доминирование – ойыншылар әртүрлі тастарды қолданатын партиялық ойын, ал ойынның бейтарап нұсқасы – Cram.

Бір қорап

Бос ойыннан басқа, онда тор жоқ, ең қарапайым ойын – бір ғана қоспада. Осы ойында ешбір ойыншы қимылдай алмайды. Екінші ойыншының жеңісімен аяқталытындықтан, бұл нөлдік ойын болып саналады.

Көлденең қатарлар

Бұл ойын 2х1 тор. Сол жақ жеңсе, оң санмен, ал оң жақ жеңсе, теріс санмен белгілеу туралы конвенция бар. Бұл жағдайда сол жақта қозғалыс жоқ, ал оң жақ доминоны ойнатып, бүкіл торды жауып, ештеңе қалдырмайды, бұл анық нөлдік ойын. Осылайша, сюрреалистік сан жазуында бұл ойын {|0|} = −1 болады. Бұл түсінікті, себебі бұл тор оң жаққа 1 қадамдық артықшылық береді. Бұл ойын да {|0|} = −1, өйткені жалғыз қысым ойнауға болмайды. Бұл тор таңдаудың алғашқы жағдайы. Оң жақ сол жақтағы екі қысымды ойнап, −1 қалдыра алады. Оң жақтағы екі қысым да −1 қалдырады. Ол сондай-ақ ортаңғы екі қысымды ойнап, екі жалғыз қысымды қалдыра алады. Бұл опция 0+0 = 0 қалдырады. Осылайша, бұл ойынды {|0,−1|} деп көрсетуге болады. Бұл −2. Егер бұл ойын басқа ойындармен бірге ойналса, оң жаққа екі қосымша қозғалыс беріледі.

Тік қатарлар

Тік бағандар да осылай бағаланады. Егер 2n немесе 2n+1 қышқыл болса, онда ол -n ретінде саналады. Мұндай мөлшердегі баған +n ретінде саналады.

Жоғары деңгейдегі ойын

Математикалық ғылымдар ғылыми-зерттеу институты доминанттық турнир өткізді, жеңімпазға 500 доллар сыйлық тағайындалды. Бұл ойын 8х8 тақтада ойналды. Финалда Дэвид Вулфты жеңген математик Дэн Калистрайт жеңіске жетті. Турнир туралы толық мәлімет Ричард Дж. Новаковскидің "Кездейсоқсыз ойындар" (85-бет) кітабында келтірілген.

Жеңіс стратегиясы

Доминанттық ойынындағы мәселе – үлкен тақталар, әсіресе шаршы тақталар үшін жеңіс стратегиясын есептеу. 2000 жылы Деннис Брюкер, Джос Уайтервик және Жап ван ден Херик 8x8 тақта үшін шешімді есептеп, жариялады. Олардың бағдарламасын жақсартқаннан кейін 9x9 тақтасы да көп ұзамай шешілді. 2002 жылы Нейтан Буллок «Доминанттық» тақырыбындағы диссертациясының бір бөлігі ретінде 10x10 тақтасын шешті. 2016 жылы Джос Уайтервик 11x11 тақтасын шешті. Доминанттық ойыны 2x2, 3x3, 4x4, 6x6, 7x7, 8x8, 9x9, 10x10 және 11x11 шаршы тақталар үшін бірінші ойыншының жеңісін, ал 1x1 және 5x5 тақталар үшін екінші ойыншының жеңісін көрсетеді. Төртбұрышты тақталар үшін тағы да белгілі мәндерді Нейтан Буллоктың сайтында табуға болады.

Қалқыңыз

Крам – Доминируштің бейтарап түрі. Ережедегі жалғыз айырмашылық – әр ойыншы доминоларын кез келген жаққа қоя алады. Бұл ережедегі шағын өзгеріс сияқты көрінеді, бірақ ол Спраг-Гранди теоремасымен талдауға болатын толығымен басқа ойынға алып келеді.