ユニークでない地雷除去ソリューション?

正方形が鉱山であるかどうかを論理的に判断することは不可能な立場に遭遇したようです。私が行った研究から、
a)ユニークなソリューションと
b)推測せずにこの解決策を決定する方法
 このゲームの中心的なルールです。

Here is a screenshot of the final position: enter image description here

右下の4つの正方形は、鉱山と2つの正方形のパターンを必要とし、2つは正方形の対角線を形成しない。基本的なロジックは、それがそれを解決する唯一の方法であることを示しています。正方形の一番上のセクションでは、ちょうど1つの鉱山が埋まっていなければならないので、3つの正方形の規則は壊れません。あなたが2つを記入すると、3つの正方形の規則が破られます。同様に、要求された量の鉱山を埋めるためには、底部の少なくとも1つを埋める必要があります。 2つの鉱山は次の理由で互いに隣接することはできません。

ケース1)両方が正方形の左の列にあります。
        次に、2つの正方形のルールが壊れています(多すぎる鉱山)

ケース2)どちらも正方形の右の列にあります。
        2つの広場の規則は再び壊れています(鉱山が少なすぎます)

問題は、これが一意でない解決策であると言って正しいかどうかです。

1

2 答え

ここに矛盾はありません。掃海艇の基本ルールには、鉱山があると記載されており、任意の四角に隣接する鉱山の数が示されています。一意性または論理的控除の保証は必要ありません。

これらの規則のバリエーションは、実装の選択肢のみです。

実装によっては、論理的にユニークな解決策が保証されるものもありますが、マイクロソフトのMinesweeperの実装はそうではありません。これは、Minesweeperのルールに反するものではありません。空のスペースを自動的にクリアするなど、開発者が決定したものです。尤度に基づいて推測された推測をすることは頻繁に可能ですが、ロジックだけで解決策につながるという保証はなく、しばしばそうではありません。

状況によっては、50/50のように分割される場合もあります。

7
追加された

Minesweeperとよく似たパズルをコンピュータゲームと派生したMinesweeper 鉛筆のタイプ。他の人が答えているように、前者は独自の解決法を保証するものではありません。後者は、いくつかの地雷探査の手がかりが与えられているグリッドから始まり、すべての地雷の位置は一義的に推測することができます。

2
追加された