Екстремни 6×6 нонограми — синџирни хипотези во мрежа од 36 полиња

Екстремните 6×6 нонограми се наменети за решавачи што веќе се вешти во методот „хипотеза и проверка“ на Expert загатки и се подготвени за распоред каде што таа техника мора да се применува повторувано и последователно низ целото решавање. Овие загатки Picross и Griddler создаваат толку цврсто испреплетена мрежа на ограничувања што еден циклус на хипотеза потврдува едно или две полиња — а тие потврди веднаш го поставуваат следниот циклус, без простор за стандардно заклучување меѓу нив.

Структурата на решавање на екстремен 6×6

Типичното решавање на екстремен 6×6 следи образец различен од сите пониски нивоа на тежина:

Фаза 1 — Стандарден преглед без резултат: Целосен преглед на сите дванаесет линии со анализа на преклопување и набројување на можни распоредувања не потврдува ниту едно поле. Мрежата е целосно иницијализирана, но сè уште нерешена со стандардни методи.

Фаза 2 — Прв циклус на хипотеза: Изберете го полето со најмногу ограничувања. Претпоставете дека е пополнето. Следете ги последиците низ две до пет пресечни линии. Дојдете до противречност (или потврдете со двонасочно тестирање). Потврдете ја состојбата на полето.

Фаза 3 — Пропагација, па уште еден ќорсокак: Потврденото поле овозможува една или две стандардни дедукции во пресечните линии — а потоа стандардните методи повторно запираат. Потребен е уште еден циклус на хипотеза.

Фаза 4 — Повторување: Овој образец се повторува три до шест пати, сè додека не се потврдат доволно полиња за стандардната дедукција да ја доврши преостанатата мрежа.

Напредни техники за екстремна тежина

Синџирење на хипотези: Наместо да ја завршите хипотезата при првата противречност, продолжете го синџирот за да извлечете повеќе потврди во еден циклус. Ако хипотеза A води до потврдено поле B, а B води до потврдено поле C (во истиот условен синџир), можете да извлечете и двете потврди од една трага на противречност.

Запис за следење на состојбата: Кај екстремните загатки, водењето писмена евиденција за меѓузаклучоците од тековниот синџир на хипотези не е опција — тоа е практична неопходност. Забележувајте го секој чекор вака: „Ако A=пополнето, тогаш блок 1 во ред 3 мора да биде на позиции 2–3, па полето 3 во колона 2 мора да е празно.“ Систематското бележење спречува да го изгубите местото во длабоки синџири.

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

Што следува

→ 6×6 Evil — максимална длабочина на синџирот на хипотези во мрежа од 36 полиња

→ 15×15 Extreme — применете техники на синџирни хипотези низ 225 полиња

→ 20×20 Extreme — каде што секое потврдено поле се прелева низ мрежа од 400 полиња

6×6 Nonogram Solver е корисна алатка за учење на ниво Extreme — користете ја за да ја споредите вашата патека на хипотези со онаа на решавачот и да добиете увид во ефикасноста.