Nonogrames Extrems 12×12 — Lògica d’hipòtesis sostinguda sobre 144 caselles

Els nonogrames extrems 12×12 són el punt en què la hipòtesi i la verificació es converteixen en el mode de resolució dominant durant tot el trencaclosques. Mentre que un 12×12 Expert normalment requereix un o dos cicles d’hipòtesi abans que l’enumeració estàndard completi la graella, les configuracions Extremes estan dissenyades perquè els cicles d’hipòtesi siguin necessaris durant tota la resolució: de quatre a nou cicles consecutius, cadascun separat per una recuperació mínima de deducció estàndard. La xarxa de 24 línies d’un 12×12 fa que, quan un cicle desencadena una cascada, l’abast sigui considerable: habitualment s’actualitzen de tres a cinc línies abans que la cascada s’esgoti, cosa que produeix un rendiment per cicle molt més gran que en el mateix nivell amb graelles més petites.

L’estructura de resolució del 12×12 Extrem

L’arc de resolució d’un 12×12 Extrem segueix un patró constant:

Fase estàndard prolongada: L’enumeració completa de disposicions i la comprovació en diversos passos resolen de 60 a 80 caselles abans que la deducció estàndard s’esgoti. Aquesta fase estàndard és més llarga que en un 10×10 Extrem, cosa que reflecteix el major potencial inicial de solapament de la graella més gran.

Primer cicle d’hipòtesi: Es tria una casella amb alt potencial de cascada. La hipòtesi recorre de tres a sis línies abans de generar una contradicció o una confirmació bidireccional. La cascada resultant confirma de cinc a quinze caselles.

Breu fase de recuperació: L’enumeració estàndard es reprèn i confirma de tres a vuit caselles addicionals abans d’esgotar-se de nou.

Cicles repetits: El patró d’hipòtesi-cascada-recuperació es repeteix de quatre a vuit vegades més. La graella convergeix progressivament, i cada cicle opera sobre un estat de restriccions menys ambigu que l’anterior.

Resolució final: La cascada de l’últim cicle d’hipòtesi, combinada amb una passada final d’enumeració estàndard, completa la graella.

Tècniques avançades per al 12×12 Extrem

Instantànies de l’estat de disposicions: Després de cada cicle d’hipòtesi, fes una instantània mental (o escrita) dels recomptes de disposicions actualitzats de totes les 24 línies. Aquesta instantània serveix com a punt de referència per triar la hipòtesi del cicle següent: les línies que han baixat a dues disposicions des de l’última instantània passen a ser els nous objectius prioritaris.

Seguiment de cascades entre quadrants: Una graella de 12×12 té quatre quadrants naturals (superior esquerre, superior dret, inferior esquerre i inferior dret). En dificultat Extrem, les cascades d’hipòtesi sovint comencen en un quadrant i es propaguen a través dels límits entre quadrants mitjançant les línies compartides de files i columnes. Fer el seguiment del quadrant fins on ha arribat una cascada ajuda a preveure quines línies es veuran afectades a continuació i permet actualitzar de manera proactiva les disposicions abans que hi arribi la cascada.

Selecció d’hipòtesis centrada en l’eficiència: En dificultat Extrem, el nombre total de cicles d’hipòtesi és una mètrica clau d’eficiència. Triar de manera constant caselles amb alt potencial de cascada redueix el nombre de cicles. Un solucionador que seleccioni l’objectiu d’hipòtesi òptim a cada cicle completarà un 12×12 Extrem en quatre o sis cicles; en canvi, un solucionador que triï objectius subòptims pot necessitar de vuit a dotze cicles per al mateix trencaclosques, duplicant el temps de resolució.

Continua el repte

→ 12×12 Evil — màxima profunditat amb arbres d’hipòtesis aniuats

→ 15×15 Extrem — lògica extrema a través de 30 línies i 225 caselles

→ 20×20 Extrem — on les cascades es propaguen a través d’una xarxa de 400 caselles i 40 línies

El Solucionador de Nonogrames 12×12 pot comparar la seqüència de cicles d’hipòtesi amb el camí òptim i identificar punts d’entrada més eficients.