Ontdek hoe AI-solitaire-solvers zetten beoordelen, uitkomsten voorspellen en winnende strategieën verbeteren.
Een AI-solitaire oplosser is een programma dat een solitaire spel als invoer neemt en probeert een winnende zetreeks te vinden — of, als die niet bestaat, bevestigt dat het spel intrinsiek niet te winnen is. De term "AI" wordt hier breed gebruikt: in de praktijk zijn de meest effectieve oplosser klassieke zoekalgoritmen met heuristieken en pruning-technieken die onwaarschijnlijke paden vroegtijdig elimineren. Dit verschil is belangrijk omdat AI vaak leren impliceert, terwijl deze systemen op exp
Een AI solitaire oplosser is een computerprogramma dat een solitaire deal als invoer neemt en probeert een winnende zetvolgorde te vinden — of, als die er niet is, te bevestigen dat de deal intrinsiek onwinnbaar is. De term "AI" wordt hier breed gebruikt: in de praktijk zijn de meest effectieve solitaire oplossers geen neurale netwerken of machine-learning systemen in de moderne zin, maar eerder klassieke zoekalgoritmen die zijn verbeterd met domeinspecifieke heuristieken en snoeistrategieën die onbelovende zetvolgordes vroegtijdig elimineren.
De kernoperatie van elke solitaire oplosser is hetzelfde: het vertegenwoordigt het bord als een staat (de huidige rangschikking van alle kaarten), genereert alle legale zetten vanuit die staat (de opvolgende staten), evalueert welke opvolgers het meest veelbelovend zijn (met behulp van een heuristische functie of uitputtende enumeratie), en verkent opvolgers in prioriteitsvolgorde totdat ofwel een winnende staat is bereikt (alle kaarten op de fundamenten) of alle staten zijn bevestigd als verliezend (dode eindes zonder legale zetten). De verschillen tussen oplosserarchitecturen liggen in hoe ze prioriteit geven aan welke opvolgers te verkennen, hoe ze dode-einde takken detecteren en snoeien, en hoe ze omgaan met de verborgen informatie in varianten zoals Klondike, waar omgekeerde kaarten een probleem van onvolledige informatie creëren dat uitputtende enumeratie niet volledig kan oplossen.
Begrijpen hoe AI-oplossers werken is strategisch waardevol, niet omdat spelers ze in real-time kunnen implementeren — dat kunnen ze niet — maar omdat de architectuur van de oplosser onthult waarom bepaalde menselijke strategische gewoonten correct zijn: de gedwongen scanvolgorde benadert de heuristische prioriteitsfunctie van de oplosser; ongedaan maken-gebaseerde hypothesetests benaderen het backtrackingmechanisme van de oplosser; cirkelafhankelijkheidscontrole benadert de dode-einde detectie van de oplosser. Elke menselijke gewoonte is een verkleinde, in real-time uitvoerbare versie van een oplossercomponent, en het begrijpen van de oplossercomponent verklaart waarom de gewoonte werkt en wanneer de benadering faalt.
Vanuit het perspectief van een AI-oplosser is solitaire een gericht graafzoekprobleem. Elke knoop in de graaf is een unieke bordpositie — een specifieke rangschikking van alle kaarten over tableau, voorraad, afval, fundamenten en vrije cellen (in varianten die deze hebben). Elke gerichte rand van knoop A naar knoop B vertegenwoordigt een legale zet die positie A in positie B transformeert. De taak van de oplosser is om een pad door deze graaf te vinden van de initiële knoop (de geschudde startpositie) naar een willekeurige winnende knoop (een positie waar alle kaarten op de fundamenten in de juiste volgorde zijn), of te bevestigen dat er geen dergelijk pad bestaat.
De grootte van deze graaf varieert enorm per variant en bepaalt hoe uitdagend het zoekprobleem van de oplosser is. Voor FreeCell is de graaf voor een enkele deal geschat op miljarden unieke knopen in het slechtste geval — maar in de praktijk worden de meeste winnende paden binnen enkele seconden gevonden door efficiënte oplosser omdat de heuristische functie de graaf agressief kan snoeien tot de paar honderd of duizend knopen die op of nabij een winnend pad liggen. Voor Klondike is de graaf kleiner per deal, maar de verborgen informatie creëert een meta-graaf: de oplosser moet niet één graaf maar de set van alle grafen die consistent zijn met de mogelijke verborgen kaartarrangementen verwerken, wat de zoekcomplexiteit vermenigvuldigt. Voor Forty Thieves creëert de 80-kaarten twee-deck toestandsruimte met beperkte bouwregels een graaf die zowel groot is in knoop aantal als in de proportie van knopen die dode eindes zijn — wat de reden is dat Forty Thieves zo'n hoge onwinnbare rate heeft en waarom de analyse van zijn deals door oplosser computationeel duur is in vergelijking met andere varianten.
Component 1: Toestandrepresentatie. Elke solver moet een compacte, ondubbelzinnige representatie van elke bordpositie definiëren die alle informatie vastlegt die relevant is voor toekomstige zetgeneratie. Een typische FreeCell-toestandrepresentatie encodeert de kaarten in elk van de acht kolomposities, elk van de vier vrije cellen en elk van de vier fundamenttoppen — ongeveer 60 waarden die de positie volledig specificeren. Een Klondike-toestandrepresentatie moet ook de volgorde van de voorraad- en afvalstapel coderen en de arrangementen van de omgekeerde kaarten, wat informatie toevoegt die al dan niet volledig bekend is, afhankelijk van hoeveel omgekeerde kaarten zijn onthuld. De toestandrepresentatie bepaalt hoe efficiënt de solver bezochte posities kan opslaan (om te voorkomen dat al eerder geziene toestanden opnieuw worden verkend) en hoe snel het opvolgende toestanden kan genereren vanuit een gegeven positie.
Component 2: Zetgeneratie. Vanuit elke toestand genereert de solver alle legale opvolgende toestanden — alle posities die bereikbaar zijn vanuit de huidige toestand door precies één legale zet. De kwaliteit van de zetgeneratie beïnvloedt de efficiëntie van de solver direct: een solver die alle legale zetten genereert, inclusief zetten die aantoonbaar suboptimaal zijn (zoals het verplaatsen van een kaart naar een vrije cel en deze vervolgens onmiddellijk terug te verplaatsen), verspilt tijd aan het verkennen van gedomineerde takken. Hoogwaardige solvers implementeren regels voor het snoeien van zetgeneratie die gedomineerde zetten elimineren voordat ze worden verkend — bijvoorbeeld, nooit een kaart van een vrije cel naar een kolom verplaatsen als dezelfde kaart daar rechtstreeks zonder de vrije cel had kunnen worden verplaatst, of nooit een kaart op het fundament plaatsen als dit zou voorkomen dat een lager gerangschikte kaart van dezelfde kleur later op het fundament kan worden geplaatst. Deze snoeiregels zijn precies de strategische principes die deskundige menselijke spelers toepassen — het zijn heuristieken die de solver implementeert als beperkingen voor zetgeneratie in plaats van als expliciete strategiekeuzes.
Component 3: Heuristische evaluatie. De heuristische functie van de solver kent een prioriteitsscore toe aan elke gegenereerde opvolgende toestand, die bepaalt welke toestanden als eerste worden verkend. Een goede heuristiek voor solitaire kent hoge scores toe aan posities met meer fundamentkaarten, minder omgekeerde tableaukaarten, meer lege kolommen of vrije cellen, en een hogere mate van kleurconsolidatie in de tableauvolgordes. De heuristiek is de benadering van de solver van de kwaliteit van de positie — en het is direct analoog aan de positiebeoordeling van de menselijke speler. De specifieke kenmerken die hoogwaardige solitaire heuristieken het zwaarst wegen — fundamentvoortgang, vermindering van omgekeerde kaarten, behoud van lege kolommen — zijn precies de kenmerken die de prioriteitskaders van de strategiecluster (gedwongen scanvolgorde, discipline van lege kolommen, fundamentbalans) menselijke spelers vertellen om prioriteit aan te geven. De heuristiek is niet willekeurig: deze is empirisch gekalibreerd door de solver op miljoenen deals te draaien en te meten welke kenmerkgewichten de hoogste proportie van winnende paden opleveren die binnen het rekenbudget zijn gevonden.
Component 4: Doodlopende detectie en snoeien. Het meest computationeel dure deel van het oplossen van een onwinnelijke deal is bevestigen dat deze onwinnelijk is — wat vereist dat wordt aangetoond dat elk mogelijk pad vanuit de startpositie leidt naar een doodlopende weg. Efficiënte solvers implementeren heuristieken voor doodlopende detectie die structurele blokkadepatronen (circulaire afhankelijkheden, configuraties van sleutelkaarten) vroeg in de zoektocht identificeren en hele subbomen van de zetgraf snoeien in plaats van ze uitputtend te verkennen. De controle op circulaire afhankelijkheid — blokkeert een paar kaarten elkaars beweging zonder externe oplossing beschikbaar? — is het krachtigste hulpmiddel voor doodlopende detectie van de solver en hetgene dat het meest direct overeenkomt met de menselijke diagnostische gewoonte die in de gids voor onwinnelijke deals wordt beschreven. Solvers implementeren deze controle automatisch op elke toestand die ze bezoeken; menselijke spelers implementeren het handmatig als de eerste stap van de drie-patroon structurele diagnose voordat ze opgeven.
De snoeiregels voor zetgeneratie zijn de strategische principes. Elke snoeiregel die een hoogwaardige solver toepast tijdens de zetgeneratie komt overeen met een strategisch principe dat deskundige menselijke spelers toepassen tijdens de zetselectie. De regel "verplaats nooit een kaart naar een vrije cel als deze rechtstreeks op een kolom kan worden geplaatst" komt overeen met het principe van vrije celrationering. De regel "plaats nooit een kaart op het fundament als dit een bouwbasis-gat creëert dat een lager gerangschikte kaart van dezelfde kleur blokkeert" komt overeen met het principe van fundamentbalans. De regel "geef altijd de voorkeur aan het onthullen van een omgekeerde kaart boven het bouwen van een reeks van gelijke onmiddellijke waarde" komt overeen met het principe van eerst onthullen. Begrijpen dat deze principes snoeiregels van de solver zijn — regels die gedomineerde zetreeksen uit de zoekruimte elimineren — verklaart waarom ze werken: het zijn geen willekeurige conventies maar wiskundig gerechtvaardigde eliminaties van zettypes die een lagere verwachte waarde hebben dan hun alternatieven over de volledige dealverdeling.
De heuristische functie legt uit wat te maximaliseren. De heuristische functie van een solitaire solver is een lineaire combinatie van bordkenmerken, gewogen naar hun empirische bijdrage aan de winstkans: fundamentvoortgang (hoogste gewicht), vermindering van omgekeerde kaarten (hoog gewicht), aantal lege kolommen (gemiddeld hoog gewicht), bezetting van vrije cellen (gemiddeld negatief gewicht). Deze gewichtsstructuur is de objectieve functie die de correcte solitaire strategie maximaliseert — en het verklaart direct waarom de prioriteitsvolgorde van de gedwongen scanvolgorde correct is. Fundamentbewegingen scoren het hoogst op de heuristiek omdat ze de winstvoorwaarde direct en onomkeerbaar bevorderen. Onthullingsbewegingen scoren tweede omdat ze het aantal omgekeerde kaarten verminderen, de op één na hoogste gewogen functie. Pure tableau-bouwscoren scoren derde omdat ze de organisatie van de reeks verhogen zonder de top twee functies van de heuristiek direct te bevorderen. Voorraadtrekken scoren het laagst omdat ze eindige voorraadmiddelen verbruiken zonder enige heuristische functie direct te bevorderen — ze zijn noodzakelijk, maar hun heuristische kosten (verminderde voorraadcapaciteit) overschrijden hun heuristische voordelen (positievoortgang) in de meeste toestanden waarin tableaubewegingen beschikbaar zijn.
Het backtrackingmechanisme legt het juiste gebruik van ongedaan maken uit. Een solver gebruikt backtracking om alternatieve paden te verkennen wanneer een veelbelovend pad een doodlopende weg bereikt — het keert terug naar het laatste vertakkingspunt en probeert de opvolger met de hoogste heuristiek in plaats van de tak die is mislukt. Menselijke spelers die de ongedaan maken-functie in online solitaire gebruiken, voeren dezelfde operatie uit: wanneer een zetreeks leidt tot een schijnbare doodlopende weg, is het ongedaan maken terug naar het laatste betekenisvolle vertakkingspunt en het proberen van een alternatief pad precies de backtrackingstap. Het belangrijkste verschil is dat solvers systematisch terugtracken — ze onthouden alle onverkende takken op elk vertakkingspunt en verkennen ze in prioriteitsvolgorde — terwijl menselijke spelers selectief terugtracken, gebruikmakend van patroonherkenning om te identificeren welke takken het waard zijn om te proberen in plaats van alle opties uitputtend op te sommen. Het ontwikkelen van betere patroonherkenning voor welke alternatieve takken het waard zijn om te testen na een doodlopende weg is de belangrijkste manier waarop menselijk spel op basis van ongedaan maken verbetert naar prestaties op het niveau van de solver.
De prestaties van de solver op specifieke varianten onthullen welke menselijke vaardigheden het belangrijkst zijn. Solvers lossen FreeCell-deals het snelst op (milliseconden), Klondike-deals langzamer (seconden tot minuten voor moeilijke posities), en Forty Thieves-deals het langzaamst voor bevestiging van onwinnelijkheid (minuten tot uren in extreme gevallen). Deze prestatiegradiënt weerspiegelt dezelfde moeilijkheidsdimensies die menselijke spelers ervaren: de volledige informatie van FreeCell maakt de zoektocht beheersbaar en maakt de strategische weg berekenbaar; de verborgen informatie van Klondike breidt de zoekruimte uit en maakt de juiste strategie schatbaar in plaats van berekenbaar; de beperkte bouwregels en grote toestandsruimte van Forty Thieves maken de zoektocht van de solver duur en maken het diagnostische proces van de menselijke speler langzamer en minder betrouwbaar. De menselijke vaardigheid die het belangrijkst is in elke variant is de vaardigheid die de architectuur van de solver het meest expliciet implementeert: volledige toestandsevaluatie in FreeCell, schatting van voorwaardelijke waarschijnlijkheid in Klondike, efficiënte doodlopende detectie in Forty Thieves.
Geloven dat het winnende pad van een oplosser de optimale menselijke strategie is. Een AI-oplosser vindt één winnend pad — typisch het pad dat de heuristische functie evalueert als het meest veelbelovend vanuit de startpositie. Dit pad is winnend, maar het is niet noodzakelijkerwijs het meest efficiënte pad, het gemakkelijkste pad voor een mens om te volgen, of het pad dat het beste de strategische gewoonten ontwikkelt die overdraagbaar zijn naar toekomstige spellen. Oplosserpaden bevatten vaak zetten die er verschillende stappen voor tegenstrijdig uitzien voordat hun voordeel duidelijk wordt — zetten die tijdelijk de bezetting van vrije cellen verhogen, tijdelijk het aantal fundamenten verlagen, of tijdelijk nuttige sequenties vernietigen — omdat de oplosser ver genoeg vooruit kan kijken om deze regressieve zetten te waarderen op basis van hun verbetering van de eindpositie. Menselijke spelers die proberen de paden van de oplosser te volgen zonder te begrijpen waarom elke zet wordt gedaan, vinden de paden vaak onbegrijpelijk en verliezen het vertrouwen in hun eigen oordeel wanneer hun intuïtie niet overeenkomt met de zet van de oplosser. Het juiste gebruik van oplosseranalyse is niet om het specifieke pad te volgen, maar om te begrijpen welke structurele kenmerken van de positie de zet van de oplosser aanvalt — en om de vaardigheden voor positie-evaluatie te ontwikkelen die die doelen in realtime spel identificeerbaar maken.
Aannemen dat een oplosser die geen oplossing vindt bevestigt dat de deal niet te winnen is. Niet alle solitaire-oplossers zijn compleet — sommige gebruiken tijdslimieten of limieten voor het aantal knooppunten die de zoektocht beëindigen voordat alle mogelijke paden zijn uitgeput. Een oplosser die beëindigt zonder een oplossing te vinden, kan een winnend pad hebben gevonden als er meer rekentijd was gegeven; het heeft niet bevestigd dat er geen winnend pad bestaat, tenzij het alle paden uitputtend heeft verkend en geen heeft gevonden. Alleen een oplosser met een volledigheidsgarantie — een die alle bereikbare toestanden verkent en ofwel een winnend pad of een bevestigde uitputting van alle paden teruggeeft — kan definitief bevestigen dat het niet te winnen is. Voor praktische doeleinden zijn de onwinnbare deals van FreeCell (en de onwinnbare dealpercentages in andere varianten) in de statistiekencluster vastgesteld door complete oplosser met uitputtingsgaranties. Speler-toegankelijke oplosser online missen vaak deze garantie en hun negatieve resultaten moeten worden behandeld als "geen pad gevonden binnen het zoekbudget" in plaats van "geen pad bestaat."
De winpercentages van oplosser behandelen als haalbare menselijke doelen. Zoals behandeld in de FreeCell-statistiekengids, benaderen de winpercentages van oplosser de winnbaarheidvloer — de proportie van deals die intrinsiek te winnen zijn door elke legale sequentie. Menselijke spelers met een expertstrategie behalen 80–90% van FreeCell's ~99,975% winnbaarheid plafond, 35–45% van Klondike's ~79–91% plafond, en 20–30% van Forty Thieves' ~40–60% plafond. De kloof tussen het plafond van de oplosser en de prestaties van menselijke experts is niet primair een kennis kloof — expertspelers kennen de juiste principes — maar een rekencapaciteitskloof: oplosser kunnen miljoenen posities per seconde verkennen terwijl mensen misschien vijf tot tien per minuut kunnen evalueren. Deze kloof correct begrijpen betekent niet wanhopen dat menselijk spel niet kan tippen aan de prestaties van de oplosser, noch de analyse van de oplosser als irrelevant voor praktisch spel afdoen. De juiste relatie: oplosseranalyse stelt vast wat haalbaar is op de winnbare dealpopulatie, en de ontwikkeling van menselijke strategieën heeft als doel om zoveel mogelijk van de kloof tussen mens en oplosser te dichten door betere heuristieken, betere doodlopende detectie en beter terugspoelen — allemaal vaardigheden die in deze strategiecluster worden beschreven. Voor de kans op sleutelkaarten, zie onze gids voor sleutelkaartkans; voor de statistische basis, zie onze FreeCell-statistiekengids.
Scorpion Solitaire illustreert de uitdaging van verborgen informatie die de oplosseranalyse van Klondike-familiespellen duur maakt: drie gesloten kolommen aan het begin, gecombineerd met Spider-achtige vereisten voor dezelfde kleur, creëren een zoekruimte waarin de oplosser moet vertakken over mogelijke toewijzingen van gesloten kaarten terwijl ook de vereisten voor kleurconsolidatie worden beheerd. Een Scorpion-speler die de gewoonte ontwikkelt om mogelijke verborgen kaartarrangementen mentaal op te sommen voordat elke onthullingszet, voert een vereenvoudigde versie uit van de probabilistische vertakking die Klondike-familie oplosser implementeren. Forty Thieves biedt de scherpste demonstratie van de waarde van doodlopende detectie: gezien het onwinnbare percentage van 40–60%, vermindert een efficiënte doodlopende detector die cirkelvormige afhankelijkheden en patronen van voorraaduitputting vroeg in de zoektocht correct identificeert, dramatisch de berekeningen die verspild worden aan onwinnbare deals — wat direct overeenkomt met de menselijke gewoonte om de drie-patroon diagnostiek toe te passen voordat er uitgebreide analysetijd wordt geïnvesteerd in vastgelopen posities.
Wat is de beste menselijke strategie afgeleid van hoe AI-oplossers werken? Vier door de oplosser afgeleide menselijke gewoonten zorgen voor de grootste verbeteringen in de winstpercentages. De gedwongen scanvolgorde (Fundering → Ontdekken → Pure opbouw → Lege kolom → Voorraad) implementeert de heuristische prioriteitsvolgorde van de oplosser. Ongedaan maken-gebaseerde hypothesetests implementeren het backtrackingmechanisme van de oplosser. Circulaire afhankelijkheidscontrole implementeert de dode-einde-detectie van de oplosser. En tegenintuïtieve padacceptatie — bereid zijn om zetten te doen die op korte termijn slechter lijken — implementeert de bereidheid van de oplosser om laag-immediate-heuristische zetten te verkennen die leiden tot hoge-eind-heuristische posities. Samen vangen deze vier gewoonten de essentiële architectuur van een hoogwaardige solitaire-oplosser in een vorm die menselijke spelers in real-time kunnen uitvoeren, zonder de miljoenen knooppunten per seconde berekening die de oplosser van de menselijke prestatie onderscheidt.
Welke solitaire game is het gemakkelijkst voor een AI-oplosser om te analyseren? FreeCell is consistent het gemakkelijkst voor alle oplosserarchitecturen omdat de complete informatie, bijna 100% winbaarheid en voldoende stagingbronnen samenkomen om een zoekprobleem te produceren waarbij: de staat op elk knooppunt volledig is gespecificeerd (geen verborgen informatie takken); bijna alle deals meerdere winnende paden hebben (de kans op het uitputten van de zoektocht zonder er een te vinden, verlagen); en de regels voor het snoeien van zetten zeer effectief zijn (beperkingen op de rotatie van vrije cellen elimineren snel grote fracties van de zetgrafiek). Oplossers vinden routinematig FreeCell-oplossingen binnen milliseconden tot seconden. Aan de moeilijke kant is Forty Thieves het moeilijkst voor de bevestiging van onwinnbare deals — de grote toestandsruimte en de beperkte opbouwregels maken de uitputtende padenumeratie die nodig is om onwinnbaarheid te bevestigen computationeel duur. De verborgen informatie van Klondike maakt het het moeilijkst voor exacte winbaarheidanalyse, hoewel individuele pogingen om deals op te lossen sneller zijn dan de uitputting van Forty Thieves.
Kan elke solitaire game worden opgelost door een AI-oplosser met voldoende rekenkracht? Voor varianten met complete informatie (FreeCell, Yukon, Scorpion zodra alle omgekeerde kaarten zijn onthuld), lost voldoende rekenkracht elke specifieke deal op door middel van uitputtende zoektocht — de zoekgrafiek is eindig en volledig telbaar. Voor varianten met verborgen informatie (Klondike, Spider voordat alle deals worden geactiveerd), is de zoekgrafiek exponentieel groter vanwege de takken van verborgen kaarten, en "voldoende rekenkracht" is een moeilijker drempel om te definiëren: onbeperkte kracht lost alle gevallen op, maar de praktische drempel voor volledige analyse van alle mogelijke Klondike-deals ligt ver boven de huidige hardware en vertegenwoordigt een open probleem in zowel de theoretische informatica als de praktische oplossertechniek. Het juiste begrip is dat de capaciteit van AI-oplossers een spectrum is — van bijna onmiddellijk voor gemakkelijke FreeCell-deals tot computationeel onoplosbaar voor volledige Klondike-analyse — en menselijke strategische verbetering is gericht op het verkleinen van de kloof tussen menselijke en oplosserprestaties aan het tractabele einde van dat spectrum.
Antwoord: Gebruik prioriteiten, undo en blokkadeherkenning.
Antwoord: FreeCell door volledige informatie.
Antwoord: Nee, verborgen informatie maakt dat onmogelijk.