Evil 20×20ノノグラム — 上級規模での入れ子仮説ロジック

Evil 20×20ノノグラムは、上級の大規模グリッドで遊べる中でも最も難度の高い 日本語クロスワード と グリドラー の形式です。これらのパズルでは、40本のラインと400マスからなるグリッド全体で 入れ子の仮説ツリー が必要になります。一次仮説は12〜18手に及び、一次の連鎖が曖昧な状態に達するとその中に二次仮説が導入されます。さらに、精密な二段階の記録を使って整合性を保たなければなりません。この規模の制約ネットワークでは、1つのミスが、誤った推論の連鎖を不可逆的に崩壊させる可能性があります。Evil 20×20を解き切ることは、ノノグラム解答者にとって到達しうる最も大きな成果のひとつです。

Evil 20×20：難度が積み重なる挑戦

Evil 20×20は、Extremeの大規模管理の負荷と、小さいサイズのEvilに求められる深い連鎖処理を組み合わせたもので、同時に3つの難しさが重なります。

拡張された記録要件: 一次連鎖は12〜18手、入れ子の二次仮説は5〜8手、さらに40本のラインをまたぐサイクル間の配置継承があるため、記録作業は分析作業に匹敵する複雑さになります。包括的な記録システムは推奨どころか、Evil 20×20を誤りなく解くための前提条件です。

深い入れ子の条件世界: 一次連鎖の12手目で二次仮説を導入すると、その仮説は、400マスのグリッド上で12段階の論理手順によって形作られた条件世界の中で機能します。その条件世界では、元のグリッドでは未確定だった60マス以上が確定していることもあります。二次仮説は、この大きく変化した状態の中で成立しなければならず、解答者は400マスの条件付きグリッドを正確に把握しながら、そこを二次連鎖で追跡する必要があります。

回復不能なEvilサイクル: Evil 20×20は、仮説サイクルで確定するマスが最小限に抑えられ、その後は通常の推論が再び完全に尽きるように設計されています。Extremeでは、サイクルによって大きな波状の確定が起こり、残る曖昧さが大きく減りますが、Evilでは次のサイクルが必要になるまでに1〜3マスしか確定しないよう作られています。そのため、総サイクル数が最大化され、最も深い仮説作業を長時間維持する必要があります。

Evil 20×20の解法プロトコル

セッション構成: Evil 20×20は、3〜4時間の集中した分析セッションとして、または明確に記録された中断点を挟んだ2回の2時間セッションとして計画してください。中断点では、現在のグリッド状態、すべての配置数、進行中の仮説連鎖の状態を完全に記録します。途中まで追跡した仮説連鎖を完全な記録なしで再開すると、ほぼ確実に最初からやり直しになります。

二段階の記録構成: 仮説作業を始める前に、独立した2つの記録ストリームを用意します。ストリームL1には、現在の一次仮説セル、仮定の方向、そして各レベル1の推論を、行番号・セル位置・確定状態とともに番号順で記録します。ストリームL2には、二次仮説セル、仮定の方向、各レベル2の推論を独立して記録します。どちらのストリームでも、各レベルで矛盾または確定が起きたときの連鎖解決方向を記録しなければなりません。

条件世界の状態管理: 一次連鎖のN手目で二次仮説を導入する場合、解答者は、N個の確定マスとその波及によって元のグリッドと異なる条件世界の中で作業しています。二次仮説を導入する前に、その条件世界の現在状態を明確に要約してください。特に、一次連鎖の推論によって配置集合が変更された行を把握することが重要です。この要約が、条件世界内での二次仮説の選択と波及追跡を導きます。

巻き戻しの精度: どのレベルの仮説でも否定された場合、巻き戻しは完全かつ正確でなければなりません。レベル2の巻き戻しでは、レベル2の結果を使ってレベル1を進める前に、レベル2の推論を逆順ですべて戻します。レベル1の巻き戻しでは、確定したレベル1のセル状態を記録する前に、レベル1の推論（およびその中に含まれるすべてのレベル2の推論）を逆順ですべて戻します。20×20規模で巻き戻しが不完全だと、400マスのグリッドが非常に検出しにくく修正も困難な形で破損します。

分析的成果としてのEvil 20×20

支援なしでEvil 20×20を解き切れる解答者は、世界でもごく少数です。このパズルには技術力だけでなく、3〜4時間にわたって厳密な記録、正確な条件世界管理、そして仮説連鎖の精密な追跡を維持する持久力が求められます。その認知的達成は、プロレベルのロジックパズル大会課題を解き切ることに匹敵します。

Evil 20×20を習得した解答者は、Evil 25×25 と Evil 30×30 が、このプラットフォームで最も難しいパズルであり、625マスと900マスに拡張された同じ入れ子仮説フレームワークを使っていることに気づきます。技法は同じで、違うのは規模とセッション時間だけです。

解答者向けリファレンス

Evil 20×20では、20×20ノノグラムソルバー はセッション後の比較基準として最も役立ちます。仮説サイクルまたは完全解答の試行を終えたあと、ソルバーを実行し、次の5点を比較してください。(1) 仮説セルの選択、(2) 矛盾が出るまでの一次連鎖の長さ、(3) 二次仮説が必要だったかどうかと、その手順、(4) 二次連鎖の長さ、(5) 解決後の波及効果。これら5つの比較により、どの上級技法の要素をさらに伸ばすべきかを最も的確に把握できます。