Nonogrames 12×12 difícils — enumeració d’arranjaments a escala intermèdia

Els nonogrames 12×12 difícils són el punt en què la resolució de nonogrames a escala intermèdia arriba a la seva expressió sistemàtica completa. Aquests trencaclosques d’encreuat japonès exigeixen una enumeració completa d’arranjaments a les 24 línies: cal llistar explícitament tots els arranjaments vàlids de cada línia restringida i usar les confirmacions creuades de les caselles per eliminar arranjaments fins que només en quedi una configuració vàlida. Amb 144 caselles, aquest procés és més extens que en un 10×10, però també genera cadenes en cascada més llargues i espectaculars, de manera que els avenços que caracteritzen la dificultat Difícil resulten proporcionalment més satisfactoris.

12×12 difícil: efectes de l’escala en les tècniques estàndard

Les quatre línies addicionals respecte del 10×10 difícil canvien l’experiència de resolució de manera concreta:

Conjunts d’arranjaments més grans per línia: una línia de 12 caselles amb la pista "4 4" té més arranjaments vàlids que la configuració equivalent de 10 caselles. Més arranjaments vol dir que calen més rondes d’eliminació abans que una línia es resolgui, però també que cada casella confirmada d’una línia perpendicular elimina més arranjaments d’un sol cop.

Més interaccions entre línies: 24 línies creen 144 punts d’intersecció, en lloc de 100 en un 10×10. Cada casella confirmada participa ara en més relacions entre línies, i les cadenes en cascada s’estenen per més línies abans d’esgotar-se. Un avenç en una zona del tauler en un 12×12 difícil pot propagar-se per quinze línies o més, amb un efecte més espectacular i visible que en taulers més petits.

Fase final d’avenç més llarga: l’avenç final característic de la dificultat Difícil —quan una sola confirmació creuada resol un gran grup de caselles abans ambigües— és encara més marcat en un 12×12. No és estrany que la cascada de l’avenç resolgui trenta caselles o més en una sola passada, completant pràcticament el trencaclosques després d’un llarg període de progrés incremental.

Flux de resolució del 12×12 difícil

Inicialització completa: enumera tots els arranjaments vàlids de les 24 línies abans de fer cap marca. Aquesta inversió inicial ofereix una visió completa del panorama de restriccions i evita centrar-se massa aviat en línies que semblen prometedores però que en realitat tenen poc potencial de cascada.

Rondes de propagació de caselles confirmades: processa les línies segons el nombre d’arranjaments, començant per les que tenen menys arranjaments vàlids. Les caselles confirmades de les línies resoltes s’apliquen immediatament als conjunts d’arranjaments de les línies que hi intersecten. Les línies que baixen a un sol arranjament es resolen al moment i les seves confirmacions es propaguen.

Selecció de parelles de restriccions: identifica parelles de línies que s’intersequen i que tenen exactament dos arranjaments vàlids cadascuna, amb diferències en el punt d’intersecció. Aquestes parelles de restriccions s’eliminen mútuament: si l’arranjament 1 de la línia A requereix que la casella X estigui plena, i l’únic arranjament vàlid de la línia B té la casella X buida, aleshores s’elimina l’arranjament 1 de la línia A i la línia A es resol immediatament. Buscar parelles de restriccions és la via més ràpida cap a la cascada d’avenç en la dificultat Difícil.

Reptes següents

→ Expert 12×12 — quan l’eliminació arriba al seu límit en 144 caselles

→ Extrem 12×12 — cicles sostinguts d’hipòtesis a escala intermèdia

→ Difícil 15×15 — enumeració en 225 caselles i 30 línies

El resolutor de nonogrames 12×12 pot identificar la parella de restriccions concreta que desencadena la teva cascada d’avenç.