Hoe win je Mijnenveger: 1-2-1 patronen en logische deductie

Hoe te winnen met Mijnenveger: borddeductie, patroonformaties en kansberekeningen

Beginnende spelers zien Mijnenveger als een gedachteloos kansspel. Ze klikken willekeurig op grijze vakjes, leggen een paar getallen bloot, raken geblokkeerd zodra het veld zich sluit en blazen een mijn op met een blinde gok. Vervolgens geven ze het toeval de schuld van hun verlies.

Mijnenveger is een gesloten systeem van discrete wiskunde, booleaanse algebra en deterministische ruimtelijke deductie. Elke getallenaanwijzing op het bord stelt een exacte eis: het precieze aantal mijnen dat verborgen ligt in de acht aangrenzende vakjes rondom dat cijfer. Ervaren spelers gokken niet, tenzij het bord uitmondt in een onvermijdelijke 50/50-patstelling. Ze voeren directe reducties uit, herkennen vaste geometrische patronen, benutten snelle akkoorden en bewaken het globale aantal resterende mijnen.

Je kunt deze logische regels direct uittesten door Retro Mijnenveger op Unicorn Games in je browser te spelen.

Oorsprong, speelveldafmetingen en rekenkundige complexiteit

De wortels van Mijnenveger gaan terug naar vroege mainframe-spellen uit de jaren zestig en zeventig, waaronder Cube van Jerimac Ratliff. In 1989 schreven Robert Donner en Curt Johnson het spel voor het Microsoft Windows Entertainment Pack, waarna Microsoft het in 1992 standaard meeleverde met Windows 3.1. Het oorspronkelijke doel was praktisch: kantoorpersoneel leren omgaan met de computermuis, vooral rechtsklikken om vlaggen te plaatsen en dubbelklikken om veilige vakjes te openen.

In het jaar 2000 bewees wiskundige Richard Kaye formeel dat het bepalen of een gegeven Mijnenveger-toestand een consistente mijnenverdeling toestaat, NP-volledig is. Praktisch gezien betekent dit dat geen enkel algoritme elk willekeurig veld in polynomiale tijd kan oplossen. Er zullen situaties ontstaan waarin logische zekerheid wiskundig onhaalbaar is. Je doel is om elke vermijdbare fout uit te bannen, zodat gedwongen gissingen je enige faalpunt blijven.

Het officiële competitieve spel hanteert drie vaste moeilijkheidsgraden:

Elke extra mijn per oppervlakte-eenheid schroeft de logische eisen op. Een Expert-veld dwingt je om vierhonderdtachtig afzonderlijke vakjes foutloos te besturen onder een mijnendichtheid van ruim twintig procent.

De basisrekenkunde van getallenaanwijzingen

Elk geopend vakje toont een geheel getal tussen 1 en 8, of opent als een leeg wit vlak. Een leeg vakje betekent nul mijnen in alle acht aangrenzende vakjes. Dit activeert een automatische kettingreactie die alle aaneengesloten lege vakjes opent tot aan genummerde randen.

De wiskundige kernrelatie is een stelsel van lineaire vergelijkingen:

$$\sum_{k \in \text{Buren}(i, j)} M_k = C(i, j)$$

Hierbij staat $M_k \in \{0, 1\}$ voor de aanwezigheid van een mijn in ongeopend buurvakje $k$, en $C(i, j)$ is het zichtbare cijfer op vakje $(i, j)$.

Wanneer het aantal ongeopende buurvakjes exact gelijk is aan het getal op de aanwijzing, bevat elk van die ongeopende vakjes een mijn. Als een 1 slechts één ongeopend vakje raakt, ligt daar geheid een mijn. Plaats er direct een vlag op.

Wanneer het aantal bevestigde vlaggen rondom een getal gelijk is aan de waarde van dat getal, zijn alle overige ongeopende vakjes die eraan grenzen veilig. Open ze meteen.

Echt meesterschap begint wanneer je opmerkt dat twee aangrenzende cijfers ongeopende vakjes met elkaar delen. Die overlap heft onbekenden op en levert onmiddellijke zekerheden op.

Belangrijke wandpatronen: geometrie van directe deductie

Ervaren mijnenvegers inspecteren vakjes nooit een voor een op zichzelf staand. Ze herkennen direct hele clusters dankzij geometrische patronen.

Het 1-2-1-patroon langs een rechte wand

De 1-2-1-reeks langs een rechte wand van ongeopende vakjes is de beroemdste formatie van het spel.

Stel je drie opeenvolgende cijfers voor met de waarden 1, 2 en 1 langs een rechte horizontale wand van ongeopende vakjes:

| Ongeopend A | Ongeopend B | Ongeopend C |

|:---:|:---:|:---:|

| 1 | 2 | 1 |

Dit is het exacte wiskundige bewijs:

1. De linker 1 raakt vakje A en vakje B. Precies een van deze twee vakjes bevat een mijn.

2. De rechter 1 raakt vakje B en vakje C. Precies een van deze twee vakjes bevat een mijn.

3. De middelste 2 raakt vakje A, vakje B en vakje C. Deze vereist precies twee mijnen onder deze drie vakjes.

4. Als vakje B een mijn zou bevatten, zou het de linker 1 en de rechter 1 tegelijkertijd tevredenstellen. Dat zou dwingen dat vakjes A en C veilig moesten zijn. Maar als A en C veilig waren, raakte de middelste 2 slechts één mijn (vakje B). Dat schendt de eis van twee mijnen.

5. Daarom kan vakje B onder geen beding een mijn bevatten. Vakje B is absoluut veilig.

6. Om aan de middelste 2 te voldoen, moeten zowel vakje A als vakje C noodzakelijk mijnen bevatten.

Vaste regel: Bij elke vlakke 1-2-1-formatie liggen voor de enen altijd mijnen. Het vakje recht voor de middelste 2 is altijd veilig. Klik het middelste vakje zonder enige twijfel aan.

Het 1-2-2-1-patroon langs een rechte wand

Wanneer je vier opeenvolgende vakjes ziet met 1, 2, 2, 1 langs een ongeopende wand:

| Ongeopend A | Ongeopend B | Ongeopend C | Ongeopend D |

|:---:|:---:|:---:|:---:|

| 1 | 2 | 2 | 1 |

1. De buitenste linker 1 bepaalt dat de mijn in vakje A of vakje B ligt.

2. De buitenste rechter 1 bepaalt dat de mijn in vakje C of vakje D ligt.

3. De linker 2 vereist twee mijnen verdeeld over A, B en C. Omdat de linker 1 vakjes A en B beperkt tot één mijn, moet vakje C een mijn zijn.

4. De rechter 2 vereist twee mijnen verdeeld over B, C en D. Omdat de rechter 1 vakjes C en D beperkt tot één mijn, moet vakje B een mijn zijn.

5. Nu vakje B bevestigd is als mijn, is de linker 1 voldaan. Vakje A is veilig.

6. Nu vakje C bevestigd is als mijn, is de rechter 1 voldaan. Vakje D is veilig.

Vaste regel: In een 1-2-2-1-wandformatie liggen voor de twee tweeën altijd mijnen. De vakjes voor de buitenste enen zijn altijd veilig.

Het 1-1-patroon (effectieve reducties)

Een 1-1-formatie ontstaat wanneer twee enen naast elkaar aan een wand staan, maar een ervan ook aan open ruimte grenst of al deels opgelost is.

| Open | Ongeopend A | Ongeopend B | Ongeopend C |

|:---:|:---:|:---:|:---:|

| Veilig | 1 | 1 | ... |

Als de linker 1 uitsluitend vakje A en B raakt, weet je dat een van die twee een mijn is. De rechter 1 raakt vakje A, B en C. Omdat de linker 1 garandeert dat de mijn in het paar {A, B} zit, wordt aan de eis van de rechter 1 voldaan door datzelfde paar. Vakje C kan geen mijn bevatten. Vakje C is veilig om te openen.

Trek bekende vlaggen altijd af van buurcijfers. Een 3 die al twee geplaatste vlaggen raakt, fungeert als een 1 voor alle resterende ongeopende buren. Herleid elk getal altijd naar zijn effectieve restwaarde.

Hoekreducties en randlogica

Hoeken en randen beperken het aantal buren rondom een vakje aanzienlijk:

Benut deze vormbeperkingen om vastgelopen posities te kraken:

De val van de 1 in een binnenhoek

Wanneer een 1 in een binnenhoek staat en precies twee diagonale ongeopende vakjes raakt:

| Muur | Ongeopend A | Ongeopend B |

|:---:|:---:|:---:|

| Muur | 1 | Muur |

De mijn bevindt zich noodzakelijk in vakje A of vakje B. Als een ander getal buiten die hoek zowel vakje A als vakje B raakt, is het quotum van dat buitencijfer door dat paar gedekt. Elk ander vakje dat aan dat buitencijfer grenst, is zonder uitzondering veilig.

De uitstekende 2 (de T-splitsing)

Wanneer een 2 naar voren steekt in onontgonnen gebied en drie ongeopende vakjes raakt in T-vorm, bekijk dan de aangrenzende enen. Deelt een buur-1 twee van die drie vakjes, dan bevat het derde eenzame vakje aan de 2 gegarandeerd een mijn. Plaats er een vlag op en trek deze af van de 2, waardoor deze verandert in een eenvoudige 1.

Akkoorden en de snelheidsmetriek 3BV

Snelheid bij Mijnenveger ontstaat niet door wild met de muis te schudden. Het ontstaat door minder te klikken.

Hoe akkoorden werken

Het akkoord (chording) is een ingebouwde functie in klassieke Mijnenveger-programma's. Zodra je het juiste aantal vlaggen rondom een zichtbaar getal hebt geplaatst, opent een gelijktijdige klik met beide muisknoppen (of een klik op het muiswiel) direct alle resterende ongevlagde buurvakjes.

Vergelijk de handmatige methode met het akkoord:

Op een Expert-veld van 480 vakjes verlaagt het gebruik van akkoorden het benodigde aantal klikken met veertig tot vijftig procent.

De 3BV-metriek (Bechtel's Board Benchmark Value)

In wedstrijden worden prestaties afgemeten aan de 3BV-waarde, bedacht door Stephan Bechtel. 3BV geeft het minimum aantal linksklikken aan dat nodig is om een bord op te lossen zonder ooit vlaggen te plaatsen.

Elke openingskaskade telt als 1 3BV. Elk afzonderlijk vakje dat los moet worden aangeklikt, voegt 1 3BV toe. De totale 3BV-waarde van een Expert-veld ligt meestal tussen 90 en 140.

Topspelers meten hun tempo in 3BV per seconde (3BV/s). De beste mijnenvegers halen waarden tussen 3.5 en 5.0 3BV/s. Om die snelheid te bereiken, mag je geen klikken verspillen aan overbodige vlaggen op open terrein. Je plaatst vlaggen uitsluitend wanneer ze een lonend akkoord opleveren.

Spelen met vlaggen vs. zonder vlaggen (NF)

Er zijn twee stromingen:

1. Stijl met vlaggen: Spelers markeren mijnen om akkoorden uit te voeren. Dit vergt meer klikken in totaal, maar verlaagt de mentale druk door voltooide zones visueel af te bakenen.

2. Stijl zonder vlaggen (NF of Non-Flagging): Spelers gebruiken nooit de rechtermuisknop. Ze laten mijnen openstaan en klikken uitsluitend veilige vakjes aan met links. Dit minimaliseert handelingen en schrapt de vlagpauze, maar vergt een feilloos visueel geheugen.

Voor de hoogste winstkansen hanteer je een hybride aanpak. Zet vlaggen op krappe fronten voor snelle akkoorden. Laat geïsoleerde mijnen in rustige hoeken zonder vlag staan.

Kansberekening: omgaan met onvermijdelijke gissingen

Hoe scherp je deductie ook is, sommige velden laten zich niet puur logisch ontwarren. Je zult situaties tegenkomen waarin twee ongeopende vakjes aan een 1 grenzen zonder enige verdere informatie. Dit is de bekende 50/50-val.

Tijdswaarde en vroegtijdige keuzes

Zodra je een onontkoombare 50/50-muntworp herkent, stel deze dan niet uit. Kies direct.

Beginners schuiven 50/50-situaties doorgaans voor zich uit tot het einde van het spel. Ze besteden vier minuten aan het minutieus oplossen van een enorm Expert-veld, om vervolgens bij de allerlaatste klik op een mijn te sterven. Dat betekent vier minuten verspilde concentratie.

Kom je in de twintigste seconde een pure 50/50 tegen, waag dan meteen de gok:

Bescherm altijd de waarde van je tijd. Een onvermijdelijke gok wordt niet veiliger door te wachten tot het eind.

Globale dichtheid vs. lokale waarschijnlijkheid

Wanneer je gedwongen moet gokken buiten een duidelijke 50/50 om, vergelijk dan lokale kansen met de globale mijnenteller.

Bekijk de teller linksboven. Deel de resterende mijnen door het totale aantal ongeopende vakjes dat nog over is op het bord:

$$P_{\text{globaal}} = \frac{\text{Resterende mijnen}}{\text{Resterende ongeopende vakjes}}$$

Op een Expert-veld ligt de globale dichtheid bij de start rond 20.6%.

Bekijk nu je lokale mogelijkheden:

In dit geval is klikken op het blinde hoekvakje meer dan twee keer zo veilig als blind gokken aan het lokale 50%-front. Reken de verhoudingen door voordat je klikt.

Het vijfstappenplan voor Expert-velden

Om op 30x16-Expertvelden een winstpercentage van boven de veertig procent vast te houden, doorloop je elk potje in vijf ordelijke stappen:

1. Openingscascade ontgrendelen: Klik in je eerste zet in het centrale kwadrant. Moderne spelversies zorgen ervoor dat de eerste klik nooit op een mijn valt en een lege opening veroorzaakt. Levert de eerste klik slechts één getal op zonder opening, klik dan op een buurvakje in het midden tot er een breed veld opent.

2. Randen afwerken: Werk de omtrek van de open ruimte af. Los alle eenvoudige gevallen op van 1-aan-1-vakjes, hoekmijnen en directe reducties. Plaats vlaggen en gebruik akkoorden voor veilige terreinwinst.

3. Patronen herkennen: Stokt de simpele deductie, onderzoek de randen dan op 1-2-1- en 1-2-2-1-formaties. Gebruik overlappingen om getallenreeksen te vereenvoudigen.

4. Mijnentelling controleren: Werp tegen het einde een blik op de teller. Staat de teller op 2 mijnen en heb je twee losse zones die elk minstens één mijn vereisen, dan is elk ander ongeopend vakje op het hele bord gegarandeerd veilig. Open ze allemaal.

5. Geforceerde keuzes afhandelen: Loopt de logica vast, wijs dan pure 50/50-posities aan en beslis direct. Is er geen 50/50, bereken dan het vakje met het laagste risico via buurgetallen of de totale dichtheid, klik erop en ga bij overleving weer over op gewone deductie.