Nonogrames malvats 25×25 — lògica d’hipòtesis anidades a escala experta

Els nonogrames malvats 25×25 són entre els trencaclosques de lògica més exigents que existeixen en qualsevol format. Aquests puzles de mots encreuats japonesos i Griddler requereixen arbres d’hipòtesis anidades en una graella de 50 línies i 625 cel·les — cadenes d’hipòtesis principals de quinze a vint passos, hipòtesis secundàries introduïdes quan les cadenes principals arriben a estats ambigus, i un sistema de documentació prou profund per mantenir la precisió en projectes de resolució que solen durar de cinc a vuit hores i s’estenen en diverses sessions. Completar un Evil 25×25 és l’assoliment definitiu de la resolució de nonogrames a nivell expert — només superat per Evil 30×30.

Evil 25×25: tres capes de dificultat que es reforcen mútuament

Evil 25×25 crea una dificultat excepcional per tres factors simultanis que s’acumulen:

Cadenes principals llargues a escala de graella: Les cadenes d’hipòtesis principals de quinze a vint passos s’han de seguir en una graella de 625 cel·les, on cada pas pot actualitzar els conjunts d’encaix en vint-i-cinc línies o més alhora. L’estat intermedi després de cada pas no és només la confirmació d’una cel·la: és una actualització de restriccions que es propaga per la xarxa de 50 línies i que pot generar noves deduccions en línies que tallen línies que tallen la cel·la original confirmada. Fer un seguiment precís d’aquests efectes de propagació de segon ordre al llarg de vint passos és el repte cognitiu central d’Evil 25×25.

Móns condicionals profundament anidats: Quan s’introdueix la hipòtesi secundària al pas dotze d’una cadena principal, aquesta hipòtesi secundària es traça dins d’un món condicional modelat per dotze deduccions prèvies en una graella de 625 cel·les. Aquest món condicional pot haver confirmat vuitanta cel·les o més en posicions que la graella original deixava completament ambigües, creant un paisatge de restriccions modificat que s’assembla només parcialment a l’estat original. Mantenir un model exacte d’aquest món condicional profundament modificat mentre s’introdueix i es traça una hipòtesi secundària és l’operació cognitiva més exigent de tota la resolució de nonogrames en línia.

Dependència total de la documentació: Evil 25×25 no es pot resoldre sense un sistema de documentació complet. La combinació del seguiment de 50 línies, la continuïtat entre sessions, la documentació de la cadena principal i la notació de la hipòtesi secundària crea una tasca de documentació que — si s’aborda sense un sistema preestablert — consumeix més temps que la feina analítica mateixa. Establir l’arquitectura de documentació abans de començar no és preparació: és un requisit previ.

Infraestructura de resolució d’Evil 25×25

Sistema de documentació de sessió: Mantén un diari de resolució amb cinc seccions dedicades: (1) instantànies de l’estat de la graella a cada pausa de sessió, incloent-hi els 625 estats de cel·la i els 50 recomptes d’encaix de línia. (2) Registre estàndard de fase — passades completades, cel·les confirmades per passada i nivell actual del llindar de marge. (3) Registre del cicle d’hipòtesis — objectiu de cada cicle, supòsit, rendiment de cascada i rendiment de recuperació. (4) Registre de cadena de nivell 1 — deduccions numerades per a la hipòtesi principal actual. (5) Registre de cadena de nivell 2 — deduccions numerades per a la hipòtesi secundària actual, amb una marca clara del pas de nivell 1 en què es va introduir el nivell 2.

Compilació de l’estat del món condicional: Abans d’introduir qualsevol hipòtesi secundària, compila un resum formal de l’estat actual del món condicional: quines cel·les han estat confirmades per la cadena principal, quins conjunts d’encaix s’han modificat i quines línies s’han reduït a dues opcions dins del món condicional. Aquesta compilació és el document de selecció de la hipòtesi secundària: identifica les cel·les amb més potencial de cascada dins del món condicional i orienta l’objectiu de la hipòtesi secundària.

Protocol de verificació del desfer: Després que qualsevol nivell d’hipòtesi quedi refutat, el desfer es verifica contra el registre de la cadena abans de restaurar cap marca. Per a desfer de nivell 2: verifica cada reversió de deducció de nivell 2 contra el registre de nivell 2 en ordre invers. Per a desfer de nivell 1: verifica cada reversió de deducció de nivell 1 (incloent-hi totes les deduccions de nivell 2 que conté) contra tots dos registres. A escala 25×25, un desfer no verificat que omet una marca intermèdia corromp la graella de 625 cel·les de maneres que poden no aparèixer fins a diversos cicles més tard, moment en què la reconstrucció és extremadament costosa.

L’assoliment d’Evil 25×25

Completar Evil 25×25 sense ajuda representa la frontera exterior del que aconsegueixen els resolutors individuals de nonogrames. La combinació de profunditat analítica, concentració sostinguda durant sessions llargues i disciplina rigorosa de documentació necessària per completar aquest format no té parangó en cap altre tipus de trencaclosques amb un sostre de dificultat comparable. Els resolutors que aconsegueixen completar Evil 25×25 de manera constant són entre els practicants de nonogrames més tècnicament avançats de qualsevol comunitat del món.

Les tècniques i la infraestructura desenvolupades per a Evil 25×25 es transfereixen directament a Evil 30×30, el repte definitiu de la plataforma. Evil 30×30 utilitza el mateix marc d’hipòtesis anidades sobre una graella de 900 cel·les i 60 línies, amb cadenes principals que s’estenen fins a vint-i-cinc passos o més. Evil 25×25 és el requisit previ essencial.

Referència per al resolutor

A Evil 25×25, el resolutor de nonogrames 25×25 és el punt de referència analític més valuós disponible. Després de cada cicle d’hipòtesis — tant si s’ha completat amb èxit com si s’ha abandonat — executa el resolutor sobre l’estat de la graella anterior al cicle. Compara sis dimensions: (1) selecció de la cel·la d’hipòtesi, (2) pas d’entrada de la cadena principal, (3) longitud de la cadena principal abans de la contradicció o l’ambigüitat, (4) punt d’introducció de la hipòtesi secundària, (5) longitud de la cadena secundària i (6) rendiment de cascada després de la resolució. Aquestes sis comparacions diagnostiquen de manera independent cada dimensió de la tècnica avançada d’hipòtesis i identifiquen les oportunitats de millora amb més impacte.