Funcția Grandi

Voi încerca să explic totul pe scurt.

1. În ceea ce privește echivalența lui nimu, cum să ne imaginăm toate acestea, etc.

Ce este? Acesta este un grafic acyclic complet orientat. În general, teoria lui Grandi analizează NUMAI grafice aciclice, astfel încât ciclismul este imposibil ca atare. Cum poate fi aranjată de el cu o întoarcere și de ce este echivalentă cu nima obișnuită. Îmi imaginez asta după cum urmează. Avem mai multe grafice aciclice complete și unele tranziții între ele care nu creează cicluri. Asta este, de fiecare vârf, toate tranzițiile necesare și alte tranziții, nu numai în sus, ci undeva în lateral. De ce este echivalent cu cel obișnuit? Da, pentru că dacă ne aflăm într-o poziție câștigătoare, pur și simplu nu avem nevoie de această mișcare în partea laterală și dacă în poziția de pierdere nu va da nimic, deoarece din aceasta vom fi transferati in aceeasi pozitie ca si ea. Nu vom putea face acest lucru infinit de mult, deoarece nu există cicluri. Chiar și pentru cei care doresc să vină aici, se poate adăuga cuvântul de inducție.







2. Cu ocazia unde a venit mexul.

Care este jocul? Jocul este un vertex, iar multe jocuri se potrivesc descendenților săi. (Care, de fapt, este același cu graficul aciclic). Din nou amintindu-ne că există o inducție și că vârful fără tranziții este destul de auto-0, putem înlocui toți descendenții cu niște nimeni. Și acum ce am făcut? Acesta este el cu o mărime de întoarcere mex! De ce? Pentru că există tranziții la nișe mai mici și la unele mai mari și nu există nici o buclă. Dar întoarcerea este echivalentă cu nimu obișnuit de aceeași mărime. Asta este, jocul original este echivalent cu acest mex'y.







3. Despre motivul pentru care toate acestea sunt necesare.

Funcția Grundy - un număr de caracterizare complet jocul aciclic, în ceea ce privește câștigarea / pierderea. Asta este, vom înlocui structura destul de complex - aciclic grafic simplu - numărul. Acest lucru este deja încurajator. Și ce altceva ne dă asta? Fără funcția Grundy pentru a analiza mai multe jocuri independente la o dată, sau jocul se împarte în independent, ar trebui să construiască un nou grafic care combină două jocuri într-unul, și va fi produs de numărul de noduri numărul de noduri din graficul inițial - și acest lucru nu este suficient.

4. Despre originea ceartei.

Se afirmă că funcția grandi a sumei a două jocuri independente va fi un cvorum pentru funcțiile lor grandi. Acest lucru este destul de bine dovedit în Max pentru nimeni, și orice joc așa cum este scris mai sus este echivalent cu nima. Rămâne de învățat ce. Faptul că acest lucru se va întâlni poate fi arătat pentru două jocuri (care în virtutea asociativității ksor este suficientă) prin inducție. Va arăta așa. Să desenăm o farfurie. în celula (i, j) scrie i ^ j. Să demonstrăm că numărul din fiecare celulă este un mexican de tot ceea ce este scris sub el și în stânga acestuia. Acest lucru este dovedit prin inducție. Doar pentru tranziția nu trebuie să faceți +1, ci să dublați pătratul. Apoi, pentru stânga inferioară, totul este evident, pentru stânga superioară și pentru dreapta jos - avem toate numerele de la 0 la 2 k - 1 în partea inferioară din stânga și ceea ce este necesar în același. Și pentru că numărul din dreapta sus și din stânga sus sunt prea mari, iar el însuși coincide cu cel din stânga jos. Această probă este mai bine de tras. Și asta e tot.

P.S. pe scurt, nu a funcționat.







Articole similare

Trimiteți-le prietenilor: