Com resoldre Sudoku sense endevinar
Endevinar se sent productiu perquè posa un número al tauler, però substitueix un trencaclosques per dues branques incertes. Un sudoku sonor es pot plantejar com una cadena de deduccions verificables: cada col·locació o eliminació de candidat segueix de la fila, columna, quadre o d'un patró reconegut. Resoldre sense endevinar no vol dir que tots els moviments siguin evidents. Vol dir que separeu les possibilitats dels compromisos, manteniu els candidats precisos i canvieu les tècniques quan l'escaneig actual deixi de produir informació.
Un candidat és una possibilitat. Un dígit col·locat és una conclusió. No confongueu mai els dos.
Què compta com a endevinar?
Endevinar significa comprometre's amb un dígit sense una prova lògica, sovint amb el pla de desfer-lo si apareix una contradicció. Les notes dels candidats no són conjectures: registren tots els valors que encara permeten les restriccions conegudes. Les eliminacions avançades tampoc són conjectures quan el seu patró és vàlid. Per exemple, un X-Wing pot no dir-vos on va un dígit, però demostra on no pot anar aquest dígit. La prova pràctica és senzilla: abans de canviar la graella, pots enunciar una regla que es mantingui certa en totes les possibles finalitzacions?
Un flux de treball repetible sense endevinar
- Busca ubicacions directes. Comenceu amb Naked Singles i Hidden Singles en files, columnes i caixes plenes. Torneu a comprovar les unitats tocades per cada nova ubicació.
- Construeix llistes de candidats honestes. Quan l'escaneig directe s'atura, tingueu en compte els dígits que permeten les tres restriccions. Traieu les notes obsoletes immediatament després de cada col·locació.
- Cerca en un ordre de tècnica fixa. Proveu les parelles, els candidats bloquejats, els triples i els patrons de peix només després d'esgotar les deduccions més fàcils. Un ordre estable us impedeix caçar aleatòriament tota la graella.
- Requereix una prova verbal. Indica la font i la conseqüència: "5 està bloquejat a la fila 2 dins d'aquest quadre, de manera que 5 no pot aparèixer en cap altre lloc de la fila 2". Si la frase és vaga, no esborreu el candidat.
- Restableix la vista quan estigui enganxat. Verifiqueu les notes, canvieu el dígit candidat o la unitat que esteu escanejant i reviseu els solters. No transformis la frustració en una col·locació sense suport.
Exemple treballat: substitució d'una conjectura bidireccional per lògica
Suposem que r6c4 conté candidats {3,8}. Escollir-ne 3 seria una conjectura perquè tots dos valors segueixen obeint les regles immediates de fila, columna i quadre. En lloc de ramificar, inspeccioneu on es produeixen 3 i 8 a les unitats relacionades i cerqueu un patró que elimineu un candidat.
- No col·loqueu cap dels dos candidats. Deixa {3,8} com a nota. L'absència d'un duplicat immediat no és una prova que una branca sigui correcta; les contradiccions poden aparèixer molts moviments més tard.
- Inspeccioneu les posicions de la caixa. Si cada 3 del quadre es troba a la fila 6, el quadre apunta a la fila 6. Traieu-ne 3 de les altres cel·les de la fila 6 fora del quadre mitjançant Candidats bloquejats.
- Propaga l'eliminació. Suposem que r6c9 canvia de {3,5} a {5}. Col·loqueu 5 i, a continuació, actualitzeu la fila 6, la columna 9 i el seu quadre. Aquest dígit nou pot eliminar 8 d'un parell de r6c4.
- Tornar només quan estigui justificat. Si la lògica posterior elimina 8 de r6c4, col·loqueu 3 i anoteu el motiu. El mateix valor final és ara una conclusió en lloc d'una branca que heu provat primer.
Hàbits que dissimulen endevinar
Anotar un dígit plausible "obvi"
Un valor pot ajustar-se a la fila, columna i quadre actuals encara que sigui incorrecte. "Sembla correcte" no és una regla; identificar l'únic, subconjunt o patró que l'obliga.
Utilitzant contradiccions sense rastrejar branques
Les branques de prova poden arribar a ser llargues i propenses a errors. Si esteu aprenent la resolució lògica, eviteu-les perquè la tècnica que està ensenyant el trencaclosques es mantingui visible.
Confiar en candidats obsolets
Un patró avançat vàlid creat a partir de notes obsoletes no és vàlid. Torneu a comprovar les cel·les candidates amb els dígits col·locats abans de fer una eliminació d'alt impacte.
Llista de control de pràctica sense endevinar
- Abans de cada col·locació, indica si es tracta d'un single nu, d'un single ocult o de la conseqüència d'una eliminació específica.
- Utilitzeu notes per a possibilitats no resoltes i reserveu dígits grans per als valors provats per la lògica.
- Quan estigui enganxat durant dos minuts, auditeu una fila, una columna i un quadre en lloc de provar un candidat.
- Després d'utilitzar Desfés, cerqueu el pas exacte no compatible i restaureu la lògica candidata en lloc de provar l'altra branca.
La cura per endevinar no és més precaució al voltant d'una cèl·lula; és un procés millor per a tota la junta. Utilitzeu una exploració fixa, mantingueu els candidats, demaneu un motiu i reinicieu el vostre punt de vista quan s'aturi el progrés. Comenceu amb trencaclosques clàssics mitjans o durs on les tècniques necessàries siguin prou visibles per practicar-les, però prou variades per fer que el bucle sense endevinar sigui significatiu.
Resol sense endevinar les PMF
Es poden resoldre tots els sudokus vàlids sense endevinar-los?
Un trencaclosques ben construït pretén tenir una solució, però els mètodes lògics necessaris poden superar el conjunt d'eines actual d'un solucionador humà. A la pràctica, els nivells de dificultat publicats tenen com a objectiu coincidir amb un conjunt conegut de tècniques.
Utilitzar una pista és el mateix que endevinar?
No. Una pista útil identifica un moviment amb suport lògic. Tracta-ho com una instrucció: anomena la tècnica, verifica per què funciona i cerca el mateix patró més endavant en la resolució.
Es permeten les notes del candidat en la resolució lògica?
Sí. Els candidats són una representació de les possibilitats restants. La clau és introduir-los i eliminar-los segons les restriccions en lloc d'utilitzar-los com a respostes finals provisionals.
Què he de fer si cap tècnica coneguda funciona?
Primeres notes d'auditoria i torna a escanejar per a solters. A continuació, compareu la dificultat del trencaclosques amb el vostre conjunt de tècniques. Estudiar el següent mètode és més valuós que fer un compromís inexplicable.
El retrocés compta com un algorisme de resolució vàlid?
Sí per a la verificació de programari i solució. Aquesta guia se centra en la resolució lògica humana, on l'objectiu és explicar cada deducció i aprendre l'estructura del trencaclosques.
