| Nim | |
| Nim: exempel på hur tändstickorna kan läggas upp. | |
| Kategori | Brädspel |
|---|---|
Nim är ett klassiskt sällskapsspel för två deltagare och samtidigt ett välkänt exempel på ett matematiskt spel inom kombinatorisk spelteori.
I spelet används exempelvis tändstickor, mynt eller små stenar som läggs i ett valfritt antal högar (eller rader) med valfritt antal föremål i varje hög. Spelarna turas om att ta bort ett eller flera föremål från en av högarna; ofta är det även tillåtet att ta bort en hel hög. I den vanligaste varianten vinner den som tar det sista föremålet, men spelet kan också spelas omvänt (misère), där den som tar det sista föremålet förlorar.
Nim är grundläggande för den så kallade Sprague–Grundy-satsen, som i normalspelsfallet säger att varje impartial-spel (”opartiskt” spel där båda spelarna har samma möjliga drag i varje läge) kan beskrivas som ekvivalent med en Nim-position.
En standardform av Nim spelas med flera högar. På varje drag måste spelaren ta bort minst ett föremål och får ta bort hur många som helst, så länge alla tas från samma hög. Den spelare som tar det sista föremålet vinner i normal spelvariant, medan spelaren som tar det sista föremålet förlorar i misère-varianten.
För Nim finns en känd vinnande strategi. Charles L. Bouton publicerade 1901 en fullständig teori för normalvarianten av spelet. Den praktiska metoden bygger på att skriva varje högstorlek i binär form och beräkna den bitvisa summan utan överföringar, vanligen kallad XOR (”exklusivt eller”). Detta värde kallas ofta nim-summan.
I normalvarianten gäller att en spelare som efter sitt drag alltid lämnar en position med nim-summa 0 (om motståndaren inte gör misstag) har en vinnande strategi; om utgångsläget redan har nim-summa 0 har den spelare som står på tur en förlorande position vid perfekt spel.
I misère-varianten av Nim sammanfaller strategin med normalvarianten fram till dess att endast en enda hög har storlek större än 1; då behöver strategin justeras (i praktiken handlar det om att lämna ett udda antal ettor åt motståndaren i slutskedet).
Varianter av Nim har spelats sedan lång tid tillbaka och spelet har i litteraturen ofta beskrivits som mycket gammalt; ursprunget är osäkert och har ibland kopplats till Kina, där liknande lekar med att plocka stenar har förekommit.
Den första fullständiga matematiska teorin för spelet i modern form publicerades av Charles L. Bouton 1901. Nim blev senare ett standardexempel i populärvetenskapliga framställningar av matematiska spel, bland annat genom Martin Gardners spalt om matematiska lekar.
Nim är ett centralt exempel i kombinatorisk spelteori. I normalspelsfallet kan Nim-lägen beskrivas med så kallade nimtal (nimbers), och Nim utgör ett grundfall i Sprague–Grundy-teorin: summan av oberoende delspel kan analyseras genom att kombinera respektive nimtal med XOR.
Nim har spelats av (och implementerats på) maskiner och datorer tidigt i datorspelshistorien. På världsutställningen i New York visade Westinghouse den elektromekaniska Nim-maskinen Nimatron.
Ferranti byggde senare Nim-datorn Nimrod som visades vid Festival of Britain 1951, där spelets tillstånd visualiserades med lampor. 1952 rapporterades även om en Nim-maskin utvecklad av ingenjörer vid W. L. Maxson Corporation, som regelbundet kunde besegra mänskliga spelare.
Nim förekommer också i kultur, bland annat som symboliskt återkommande spel i filmen I fjol i Marienbad (1961).