ターボットフィッシュ

ターボットフィッシュは、短い単一数字チェーンに対する廃止された総称です。その形状は現在Xチェーンとして分類されます — 2リンク形はSkyscraper、2-String Kite、2ノードXチェーンとして現れ、長いものは3ノードまたは4+ノードXチェーンとして現れます。この構造は開いた単一数字AICです。最初の端点が偽なら、チェーンは遠い端点を真に強制するため、少なくとも一方の端点が真です — 両方の場合もあります — そして両方の端点を見る候補からその数字を削除できます。

ターボットフィッシュとは?

ターボットフィッシュは、2つの行ノードまたは2つの列ノードのいずれかを持つ2ノードXチェーンです — スカイスクレイパーまたは2-ストリングカイト。同じ定理が、これらの名前付き領域シグネチャの下で両方をカバーします。

現在の分類:2リンクの形は スカイスクレイパー、2ストリングカイト、空の長方形、2ノードXチェーン として扱われ、より長い同一数字の鎖は Xチェーン のページで解説されています。

解説付きの実例

旧称ターボット・フィッシュを現代の2ノードXチェーンのシグネチャ (A=B)-(C=D) として解説する実例。

ステップ 1

これらのセルを確認してください。

ターボットフィッシュの実例ステップ1を示す数独盤面。関連する候補とマスがハイライトされている。

ステップ 2

ハイライトされた候補は開いた X-Chain (A6=G6)-(H5=H3)-(E3=E8)-(F7=A7) を形成します。各等号は強リンク (XOR)、各ダッシュは弱推論 (NAND) です。端点定理が A6=2 OR A7=2 を証明します。

ターボットフィッシュの実例ステップ2を示す数独盤面。関連する候補とマスがハイライトされている。

ステップ 3

これらはタイプ1同一数字の削除です: A1 と A2 は両方の端点 A6=2 と A7=2 を見ており、チェーンは 2 について A6=2 または A7=2 を証明します。

ターボットフィッシュの推論後の数独盤面。正当化された配置または消去がハイライトされている。

現代の証明は2ノードXチェーン (A=B)-(C=D) です。2つの強リンク(XOR)と1つの弱推論(NAND)が A OR D を証明し、共通ピアの消去を正当化します(タイプ1の同一数字消去)。ターボット・フィッシュは旧称の総称としてのみ残っています。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。

見つけ方

ある数字について、平行領域シグネチャまたは行+列シグネチャを持つ2つの強推論ノードを見つけます。各ケースで弱い接続を確認し、両方の端点を見る候補からのみその数字を取り除きます。

論理

2ノードXチェーンは、少なくとも1つの端点がその数字を含み、両方の可能性もあることを証明します。スカイスクレイパーは平行な行または列ノードを使用し、2-ストリングカイトは行と列ノードをブロックを通じて結びます。両方とも同じ消去ルールを適用します。