Спраг-Грунди теоремасы - Sprague–Grundy theorem - Wikipedia

Жылы комбинаторлық ойындар теориясы, Спраг-Грунди теоремасы деп айтады әрбір бейтарап ойын астында қалыпты ойын конвенциясы бір үйінді ойынына тең ним, немесе нимнің шексіз жалпылауына дейін. Сондықтан оны а ретінде ұсынуға болады натурал сан, оның эквивалентті ойынындағы үйінді мөлшері реттік сан шексіз жалпылауда немесе балама ретінде а жіңішке, алгебралық жүйедегі бір үйінді ойынның мәні, оның қосылу операциясы бірнеше үйінділерді біріктіріп, нимдегі жалғыз эквивалентті үйінді құрайды.

The Grundy мәні немесе ним-мән кез-келген бейтарап ойынның теңдесі жоқ теңдесі жоқ ойындары. Позициялары натурал сандармен индекстелген ойын жағдайында (мысалы, үйінді өлшемдерімен индекстелетін), ойынның кезектес позицияларына арналған жіңішке реті деп аталады ним-реттілік ойын.

Спраг-Грунди теоремасы және оның дәлелі теорияның негізгі нәтижелерін өз бетінше ашады R. P. Sprague (1935)[1] және Грунди П. (1939).[2]

Анықтамалар

Спраг-Грунди теоремасының мақсаттары үшін а ойын екі ойыншы дәйекті ойын туралы тамаша ақпарат қанағаттанарлық аяқталу шарты (барлық ойындар аяқталады: шексіз ойын сызықтары жоқ) және қалыпты ойын жағдайы (қозғала алмайтын ойыншы ұтылады).

Ойынның кез келген нүктесінде ойыншыға тиесілі позиция жиынтығы қозғалады оларды жасауға рұқсат етілген. Мысал ретінде біз нөлдік ойын екі ойыншының ойыны, онда екі ойыншының да заңды қадамдары болмайды. Екі ойыншыға қатысты (Алиса үшін) және (Боб үшін), біз олардың позицияларын белгілейтін едік , өйткені әр ойыншы жасай алатын жүрістер жиынтығы бос.

Ан бейтарап ойын бұл ойынның кез-келген нүктесінде әр ойыншыға дәл сондай жүрістер жиынтығына рұқсат етілетін ойын. Қалыпты ойын ним - бейтарап ойынның мысалы. Нимде бір немесе бірнеше үйінділер бар, ал екі ойыншы (біз оларды Алис және Боб деп атаймыз) кезекпен үйінді таңдап, одан 1 немесе одан да көп заттарды алып тастаймыз. Соңғы нысанды соңғы үйіндіден шығаратын ойыншы жеңімпаз болады. Ойын бейтарап өйткені үйінді өлшемдерінің кез-келген конфигурациясы үшін Алиса өз кезегінде жасай алатын қимылдар Бобтың кезегі болған жағдайда жасауға тура келетін қадамдармен бірдей болады. Керісінше, сияқты ойын дойбы бейтарап емес, өйткені Алиса қызыл ойнайды, ал Боб қара ойнайды деп ойладым, егер тақтадағы кесектердің кез-келген орналасуы үшін, егер Алис кезегі келсе, оған тек қызыл бөліктерді жылжытуға рұқсат етіледі, ал егер Боб кезек болса, оған тек қара кесектерді жылжытуға рұқсат етіледі.

Бейтарап ойынның кез-келген конфигурациясын бір позиция түрінде жазуға болатындығын ескеріңіз, себебі кезек кімге келсе де, қозғалыстар бірдей болады. Мысалы, позициясы нөлдік ойын жай жазуға болады , өйткені егер Алиске кезек келсе, онда ол ешқандай қозғалыс жасай алмайды, ал егер Боб кезек келсе, онда ол да жасай алмайды, бұл келесі ойыншыны қалдыратын позициямен байланысты болуы мүмкін.

Бұл позицияларды рекурсивті түрде анықтауға мүмкіндік береді. Мысалы, Алис пен Боб ойнаған келесі Ним ойынын қарастырайық.

Мысалы Nim ойыны

Үйінді өлшемдері АВС қозғалысы 1 2 2 Алиса А-дан 1 алады 0 2 2 Боб В-дан 1 алады 0 1 2 Алиса С-ден 1 алады 1 1 Боб 1-ден В алады 0 0 1 Алиса С-ден 1 алады 0 0 0 Боб бар ешқандай қозғалыс жоқ, сондықтан Алиса жеңеді
  • Ойынның 6-қадамында (барлық үйінділер бос болған кезде) позиция болады , өйткені Бобта жарамды қадамдар жоқ. Біз бұл позицияны атаймыз .
  • 5-қадамда Алисада дәл бір нұсқа бар еді: үйіндіден бір объектіні алып тастап, Бобты ешқандай қозғалыссыз қалдырды. Одан бері қозғалу Бобты орнында қалдырады , ол позиция жазылған . Біз бұл позицияны атаймыз .
  • 4-қадамда Бобтың екі нұсқасы болды: біреуін В-ден немесе біреуін С-дан алып тастаңыз, бірақ Бобтың нысанды алып тастағаны маңызды емес екеніне назар аударыңыз: Қалай болғанда да, Элиске дәл бір объект қалады дәл бір үйінді. Сонымен, біздің рекурсивті анықтаманы қолданып, Бобта тек бір ғана қозғалыс бар: . Осылайша, Бобтың ұстанымы .
  • 3-қадамда Элиске 3 нұсқа болды: екеуін С-ден, біреуін С-ден немесе В-дан алып тастау. С-дан екеуін алып тастау Бобты қалдырып кетеді. . С-дан біреуін алып тастағанда, Бобта әрқайсысы бір өлшемдегі екі қада қалады, яғни орналасуы , 4-қадамда сипатталғандай, бірақ 1-ді В-дан алып тастағанда, Боб бір үйіндіде екі затпен қалады. Оның жылжулар сол кезде болады және , сондықтан ол қозғалу позицияға әкеледі . Біз бұл позицияны атаймыз . Алистің позициясы - бұл оның барлық қимылдарының жиынтығы: .
  • Сол рекурсивті логикаға сүйене отырып, 2-қадамда Бобтың позициясы .
  • Ақырында, 1-қадамда Элис позициясы

.

Нимберс

Арнайы атаулар , , және біздің мысалдағы ойынға сілтеме жасалады жіңішке. Жалпы, епті дәл бар жерде ним ойынындағы позицияға сәйкес келеді нысандар дәл бір үйіндіде. Формальды түрде инбертивті түрде анықталады: болып табылады , , және бәріне , .

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

Ойындарды біріктіру

Екі ойын біріктірілуі мүмкін қосу Мысалы, үйінділермен тағы бір ним ойынын қарастырайық , , және .

2-мысал

Үйінді өлшемдері A 'B' C'1 қозғалады 1 1 Алиса A'0-ден 1 алады 1 1 Боб B'0-ден біреуін алады 0 1 Алиса C'0-ден біреуін алады 0 0 Бобта ешқандай қозғалыс болмайды, сондықтан Алиса жеңеді.

Біз оны өзімізбен біріктіре аламыз бірінші мысал алты үйіндіден құрама ойын алу үшін: , , , , , және :

Аралас ойын

Үйінді мөлшері ABCA 'B' C '1 2 2 1 1 1 Алиса A-дан 1-ді алады 0 2 2 1 1 1 Боб A' дан 1-ді алады 0 2 2 0 1 1 Алиса B 'ден 1-ді алады 0 2 2 0 0 1 Боб C-ден 1 алады 1 0 2 2 0 0 0 Алиса B-ден 2 алады 0 0 2 0 0 0 Боб 2-ден алады 0 0 0 0 0 0 0 Алиса ешқандай қозғалмайды, сондықтан Боб жеңеді.

Екі ойынның аражігін ажырату үшін бірінші ойын мысалы, біз оның бастапқы күйін белгілейміз және оны көк түске бояңыз:

Үшін екінші мысал ойын, біз бастапқы позицияны белгілейміз және оны қызыл түске боя:

.

Бастапқы жағдайын есептеу үшін аралас ойын, есіңізде болсын, ойыншы бірінші ойында қозғалыс жасай алады, екінші ойынды қозғамай қалдырады немесе екінші ойында қозғалыс жасай алады, бірінші ойынды қозғамай қалдырады. Сонымен, ойынның бастапқы ұстанымы:

Орындарды қосудың нақты формуласы: , бұл қосудың коммутативті және ассоциативті екенін білдіреді.

Эквиваленттілік

Бейтарап ойындардағы позициялар екіге бөлінеді нәтиже сабақтары: немесе келесі ойыншы (кезегі кім) жеңеді (an - позиция) немесе алдыңғы ойыншы жеңеді (а - позиция). Мәселен, мысалы, Бұл -қызмет, ал болып табылады -қызмет.

Екі позиция және болып табылады балама егер, қандай позицияға қарамастан оларға қосылады, олар әрдайым бір нәтиже класында болады. Ресми түрде, егер және егер болса , сияқты нәтижелер класында .

Біздің мысалдарымызды пайдалану үшін екеуінде де назар аударыңыз бірінші және екінші жоғарыдағы ойындар, біз әр кезекте Элис Бобты а-ға мәжбүрлейтін қадамға ие болатындығын көрсете аламыз -қызмет. Осылайша, екеуі де және болып табылады -қызметтер. (Біріктірілген ойында, Боб ойыншысы - позициялар. Шынында, Бұл - позиция, оны Лемма 2-де көретініміздей білдіреді .)

Бірінші лемма

Негізгі теореманы дәлелдеуге арналған аралық қадам ретінде біз мұны әр позиция үшін көрсетеміз және әрқайсысы -қызмет , баламалылық ұстайды. Эквиваленттіліктің жоғарыда келтірілген анықтамасы бойынша мұны көрсетуге болады және барлығы үшін нәтижелер класын бөлісу .

Айталық Бұл -қызмет. Сонда алдыңғы ойыншының жеңіске жету стратегиясы бар : кіруге жауап беру олардың жеңіске жету стратегиясына сәйкес (арқасында пайда болады болу -позиция), және кіруге жауап беріңіз олардың жеңіске жету стратегиясына сәйкес (осыған ұқсас себеп бар). Сонымен болуы керек -қызмет.

Екінші жағынан, егер болып табылады - позиция, содан кейін сонымен қатар - позиция, өйткені келесі ойыншының жеңу стратегиясы бар: a таңдаңыз - позиция нұсқалары, және біз алдыңғы абзацтан қорытынды жасаймыз бұл позицияға әлі -қызмет. Осылайша, бұл жағдайда, болуы керек - позиция, дәл осылай .

Бұл тек екі жағдай болғандықтан, лемма сақталады.

Екінші лемма

Келесі қадам ретінде біз мұны көрсетеміз егер және егер болса Бұл -қызмет.

Алға қарай, осылай делік . Эквиваленттік анықтамасын қолдану , біз мұны табамыз (бұл тең арқылы коммутативтілік қосу) сияқты нәтижелер класында болады . Бірақ болуы керек -қызмет: бір данасында жасалған әрбір қимыл үшін , алдыңғы ойыншы екінші көшірмесінде бірдей қимылмен жауап бере алады, сондықтан әрдайым соңғы жүрісті жасайды.

Бастап, кері бағытта Бұл - гипотеза бойынша позиция, бұл бірінші леммадан туындайды, , сол . Сол сияқты, бері сонымен қатар -позиция, ол формадағы бірінші леммадан шығады бұл . Авторы ассоциативтілік және коммутативтілік, бұл нәтижелердің оң жақтары тең. Сонымен қатар, болып табылады эквиваленттік қатынас өйткені теңдік - бұл нәтиже кластарындағы эквиваленттік қатынас. Арқылы өтімділік туралы , деп қорытынды жасауға болады .

Дәлел

Біз барлық позициялардың икемберге тең екендігін дәлелдейміз құрылымдық индукция. Берілген ойынның бастапқы позициясы ептілікке пара-пар болу керек деген нақты нәтиже ойынның өзі ептілікке пара-пар екенін көрсетеді.

Бір позицияны қарастырыңыз . Индукциялық гипотеза бойынша, барлық нұсқалар шапшаңдарға тең келеді, айталық . Сондықтан рұқсат етіңіз . Біз мұны көрсетеміз , қайда болып табылады мекс (минималды алып тастау) сандардың , яғни кейбіріне тең емес ең кіші теріс емес бүтін сан .

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

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

Айталық және бос. Содан кейін нөлдік жиынтық, анық а -қызмет.

Немесе келесі ойыншы компонентте қозғалатын жағдайды қарастырайық опцияға қайда . Себебі болды минимум алынып тасталса, алдыңғы ойыншы кіре алады дейін . Алдын-ала көрсетілгендей, кез-келген позиция плюс өзі болып табылады -қызмет.

Сонымен, оның орнына келесі ойыншы компонентте қозғалады делік опцияға . Егер содан кейін алдыңғы ойыншы кіреді дейін ; әйтпесе, егер , алдыңғы ойыншы кіреді дейін ; кез келген жағдайда нәтиже позиция плюс өзі болып табылады. (Бұл мүмкін емес өйткені барлығынан ерекшеленетіні анықталды .)

Қысқаша айтқанда, бізде бар және . Транзитивтілік арқылы біз мынаны қорытындылаймыз , қалағандай.

Даму

Егер бұл объективті емес ойынның позициясы, бірегей бүтін сан осындай оның Grundy мәні немесе Grundy саны деп аталады, ал әрбір осы позицияға осы мәнді беретін функция Sprague-Grundy функциясы деп аталады. Р.Л.Спрага мен П.М.Грунди осы функцияның қандай-да бір эквиваленттілік тұжырымдамасына негізделмей дербес анықтама берді және оның келесі қасиеттерге ие екендігін көрсетті:

  • Бір өлшемді қаданың грунди мәні (яғни позиция туралы) ) болып табылады ;
  • Позиция - келесі ойыншының қозғалуы үшін шығын (яғни а -позиция) егер оның Grundy мәні нөлге тең болса ғана; және
  • Шектелген позициялар жиынтығының Грундий мәні - тең қосынды оның жиынының Грунди мәндерінің.

Осы нәтижелерден егер позиция болса, тікелей шығады Grundy мәніне ие , содан кейін сияқты Grundy мәніне ие , сондықтан кез-келген позиция үшін бірдей нәтиже класына жатады . Осылайша, Sprague мен Grundy ешқашан осы мақалада сипатталған теореманы нақты айтпағанымен, бұл олардың нәтижелерінен тікелей шығады және оларға есептеледі.[3][4]Бұл нәтижелер кейіннен өрісте дамыды комбинаторлық ойындар теориясы, атап айтқанда Ричард Гай, Элвин Берлекамп, Джон Хортон Конвей және басқалары, олар қазір Спраг-Грунди теоремасында қамтылған және оның дәлелі осы жерде сипатталған. Өріс кітаптарда көрсетілген Математикалық пьесалар үшін жеңіске жету жолдары және Сандар мен ойындар туралы.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Sprague, R. P. (1935–36). «Über matematik Kampfspiele». Tohoku Mathematical Journal. 41: 438–444.
  2. ^ Grundy, P. M. (1939). «Математика және ойындар». Эврика. 2: 6-8. Архивтелген түпнұсқа 2007-09-27. Қайта басылған, 1964, 27: 9–11.
  3. ^ Смит, Седрик А.Б. (1960), «Патрик Майкл Грунди, 1917–1959», Корольдік статистикалық қоғам журналы, А сериясы, 123 (2): 221–22
  4. ^ Шлейхер, Диерк; Столл, Майкл (2006). «Конвейдің ойындары мен нөмірлеріне кіріспе». Мәскеу математикалық журналы. 6 (2): 359–388. arXiv:математика.CO/0410026. дои:10.17323/1609-4514-2006-6-2-359-388.

Сыртқы сілтемелер