Экстремалды 6×6 нонограммалар — 36 ұяшықты тордағы тізбекті гипотезалар

Экстремалды 6×6 нонограммалар Expert деңгейіндегі басқатырғыштарда гипотеза жасап, тексеру тәсілін еркін меңгерген және бұл әдісті шешу барысында қайта-қайта, бірінен кейін бірін қолдануды қажет ететін құрылымдарға дайын ойыншыларға арналған. Бұл Picross және Griddler басқатырғыштары соншалықты тығыз байланысқан шектеулер желісін құрайды, бір ғана гипотеза циклі бір-екі ұяшықты растайды — ал сол растаулар бірден келесі гипотеза цикліне жол ашады, арада стандартты қорытынды жасауға мүмкіндік болмайды.

Экстремалды 6×6 шешудің құрылымы

Кәдімгі Extreme 6×6 шешімі төменгі қиындық деңгейлерінен айқын ерекшеленетін үлгімен жүреді:

1-кезең — Нөлдік нәтиже беретін стандартты өту: Барлық он екі жолды қабаттасу талдауы және орналастыруларды санау арқылы толық қарап шығу бірде-бір ұяшықты растамайды. Тор толық бастапқы күйге келтірілген, бірақ стандартты әдістермен әлі шешілмеген.

2-кезең — Алғашқы гипотеза циклі: Ең көп шектеуі бар ұяшықты таңдаңыз. Оны толтырылған деп ұйғарыңыз. Екіден беске дейінгі қиылысатын жолдар арқылы салдарын қадағалаңыз. Қайшылыққа келіңіз (немесе екіжақты тексеру арқылы растаңыз). Ұяшықтың күйін растаңыз.

3-кезең — Таралу, содан кейін тағы бір тұйық: Расталған ұяшық қиылысатын жолдарда бір-екі стандартты қорытынды жасауға мүмкіндік береді — бірақ содан кейін стандартты әдістер тағы да тоқтайды. Тағы бір гипотеза циклі қажет болады.

4-кезең — Қайталау: Бұл үлгі жеткілікті ұяшық расталғанға дейін үштен алтыға дейін қайталанады, содан кейін қалған торды стандартты қорытындылау аяқтайды.

Экстремалды қиындыққа арналған жетілдірілген тәсілдер

Гипотезаларды тізбектеу: Гипотезаны алғашқы қайшылықта тоқтатудың орнына, бір циклде бірнеше растау алу үшін тізбекті ұзартыңыз. Егер A гипотезасы B ұяшығын растауға әкелсе, ал B өз кезегінде C ұяшығына әкелсе (сол бір шартты тізбек ішінде), онда бір ғана қайшылық ізінен екі растауды да ала аласыз.

Күйді белгілеу жазбасы: Экстремалды басқатырғыштарда ағымдағы гипотеза тізбегінің аралық қорытындыларын жазып отыру — міндетті емес, бірақ іс жүзінде қажет. Әр қадамды былай белгілеңіз: «Егер A=толтырылған болса, онда 3-жолдағы 1-блок 2–3 орындарында болуы тиіс, сондықтан 2-бағандағы 3-ұяшық бос болуы керек». Жүйелі жазба терең тізбектерде жолдан жаңылып қалмауға көмектеседі.

Орналастыру жиындарын қысқарту: Әр гипотеза циклін бастамас бұрын, жаңадан расталған ұяшықтармен барлық орналастыру жиындарын жаңартыңыз. Расталған бос ұяшық бұрын мүмкін көрінген бір-екі орналастыру тобын жиі жояды да, гипотеза іздеу кеңістігін едәуір тарылтады.

Келесі не бар

→ 6×6 Evil — 36 ұяшықты тордағы гипотеза тізбегінің ең терең деңгейі

→ 15×15 Extreme — 225 ұяшық бойына тізбекті гипотеза тәсілдерін қолданыңыз

→ 20×20 Extreme — әр расталған ұяшық 400 ұяшықты торға әсер ететін деңгей

6×6 Нонограмма шешуші — Extreme деңгейінде пайдалы оқу құралы; гипотеза жолыңызды шешушімен салыстырып, тиімділік жөнінде түсінік алыңыз.