Grundy funkció
Megpróbálom röviden elmagyarázni.
1. Ami ekvivalencia nimu jelenlegi összes jelenlegi, stb
Mi ez? Ez egy teljes irányított aciklikus gráf. Általában elméletben Grande úgy csak aciklikus grafikonok, így a hurok nem lehet, mint olyat. Amint lehet elrendezni, hogy visszatérjen, és miért ez egyenértékű egy hagyományos nimu. Gondolom ez. Mi több teljes körmentes gráf, és néhány átmenetek között, hogy ne lógjon. Azaz, minden csúcs az összes szükséges átalakításokat le, és még néhány átmenetek, de nem felel meg, de valahol bok.Pochemu így egyenértékű a normális? Mert ha mi vagyunk a nyerő pozícióba - haladunk ezen az oldalon egyszerűen nem szükséges, de ha a elveszítheti elveszíted - nem fog működni, mert ebből mi kerül át ugyanabban a helyzetben, mint volt. Ehhez a végtelenségig, akkor nem fog működni, mert nincsenek ciklusok. Még azok számára, akik szeretnék, hogy adjunk egy szót itt lehet indukció.
2. Tekintettel a honnan jött mex.
Mi a játék? A játék néhány csúcs, és a különböző játékok megfelelő leszármazottai. (Mi valóban ugyanaz, mint egy körmentes gráf). Ismét eszébe jutott, hogy van indukció, és a felső nélkül átmenet elég neki a 0, akkor cserélje ki az összes gyerek néhány Nima. És most mi van? Ez az a méret a visszatérő mex! Miért? Mert vannak átmenetek minden kisebb Nyima és néhány nagy, nem hurkok. De ez egyenértékű a visszatérés a normális nimu azonos méretű. Ez megegyezik az eredeti játékot, hogy mex'u.
3. Tekintettel mindez miért van szükség.
Grundy funkció - számos teljesen jellemző gyűrűs játék szempontjából győztes / vesztes. Ez azt jelenti, hogy cserélje ki a meglehetősen bonyolult szerkezet - körmentes gráf egyszerű - számot. Már tetszik. És ez az, amit adunk. Anélkül, Grundy funkció elemezni több független játékot egyszerre, vagy a játék osztja független, volna, hogy egy új grafikon, amely egyesíti a két játék egyben, és ez lesz a termék a csomópontok száma a csúcsok számát az eredeti gráf - és ez nem elég.
4. Tekintettel a hol az CRRF.
Azt állítják, hogy a Grundy függvényében az összeg két független játékok EMR őket Grande funkciókat. Elég jól bevált a Max nimov és minden játék, mint meg van írva a fenti egyenértékű nimu. Továbbra is, hogy megtudja, mit. Akkor lehetséges lenne, hogy bemutassák a CRRF két játékot (ami alapján asszociatív Ksor elég) indukcióval. Ez a következőképpen néz ki. Döntetlen lemez. A sejt (i, j) írunk i ^ j. Bebizonyítjuk, hogy a szám minden cellában - Mex minden van írva alatta és hagyta. Ezt bizonyítja indukció. Csak ne tegye az átmenetet, és dupla a téren. Ezután a bal alsó negyede nyilvánvalóan a bal felső és a jobb alsó - megvan a számokat 0-2 k - 1 a bal alsó negyedben, és mit kell az azonos. És a jobb felső sarokban a jobb alsó és bal felső túl nagy, és ő egybeesik a bal alsó sarokban. Ez bizonyíték, hogy dolgozzon jobban. És tulajdonképpen mindent.
Ui röviden sikerült.