Тешки 12×12 нонограми — набројување на распоредите на средна скала

Тешките 12×12 нонограми се местото каде што решавањето нонограми на средна скала го добива својот целосен систематски израз. Овие загатки од типот јапонски крстозбор бараат целосно набројување на распоредите низ сите 24 линии — експлицитно наведување на секој валиден распоред за секоја ограничена линија и користење на вкрстени потврди на полињата за да се елиминираат распоредите сè додека не остане една единствена валидна конфигурација. Со 144 полиња, овој процес е подолг отколку кај 10×10, но создава подолги и подраматични каскадни синџири, па пробивите што ја карактеризираат тешкотијата Hard се чувствуваат уште поисплатливи.

Тешки 12×12: ефектите на размерот врз стандардните техники

Четирите дополнителни линии во споредба со 10×10 Hard го менуваат искуството на решавање на конкретни начини:

Поголеми множества на распоред за секоја линија: Линија од 12 полиња со навестување „4 4“ има повеќе валидни распореди од еквивалентната 10×10 конфигурација. Повеќе распореди значат дека се потребни повеќе кругови на елиминација пред линијата да се реши — но и дека секое потврдено поле од перпендикуларна линија елиминира повеќе распореди во еден чекор.

Повеќе меѓулиниски интеракции: 24 линии создаваат 144 точки на пресек наспроти 100 кај 10×10. Секое потврдено поле сега учествува во повеќе меѓулиниски односи, а каскадните синџири се протегаат низ повеќе линии пред да се исцрпат. Пробив во една област од мрежата кај Тешки 12×12 може да се прошири низ петнаесет или повеќе линии — подраматичен и повидлив ефект отколку кај помалите мрежи.

Продолжена фаза на доцен пробив: Карактеристичниот доцен пробив кај Hard — кога една вкрстена референца решава голем кластер од претходно двосмислени полиња — е уште поизразен кај 12×12. Не е невообичаено каскадата на пробивот да реши триесет или повеќе полиња во еден помин, практично завршувајќи ја загатката по долг период на постепен напредок.

Работен тек за решавање на Тешки 12×12

Целосна иницијализација: Набројте ги сите валидни распореди за сите 24 линии пред да направите какви било ознаки. Оваа почетна инвестиција дава целосна слика за ограничувањата и спречува прерано фокусирање на линии што изгледаат ветувачки, но всушност имаат ограничен потенцијал за каскада.

Кругови на пропагација на потврдени полиња: Обработувајте ги линиите по редослед на бројот на распореди: прво линиите со најмалку валидни распореди. Потврдените полиња од решените линии веднаш се применуваат на множествата распореди на пресечните линии. Линиите што паѓаат на еден распоред се решаваат веднаш, а нивните потврди се пропагираат понатаму.

Целно таргетирање на парови ограничувања: Идентификувајте парови пресечни линии каде што и двете имаат точно два валидни распоредa и распоредите се разликуваат на нивната точка на пресек. Овие парови ограничувања се меѓусебни елиминирачи: ако распоредот 1 на линија A бара полето X да биде пополнето, а единствениот валиден распоред на линија B бара полето X да биде празно, тогаш распоредот 1 на линија A се елиминира — со што линија A веднаш се решава. Скенирањето за парови ограничувања е најбрзиот пат до каскадата на пробивот кај тешкотијата Hard.

Следни предизвици

→ 12×12 Expert — кога елиминацијата ќе го достигне својот лимит низ 144 полиња

→ 12×12 Extreme — одржливи циклуси на хипотези на средна скала

→ 15×15 Hard — набројување низ 225 полиња и 30 линии

12×12 Nonogram Solver може да го идентификува конкретниот пар ограничувања што ја активира вашата каскада на пробив.