ターボットフィッシュ
ターボットフィッシュは、短い単一数字チェーンに対する廃止された総称です。その形状は現在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
これらのセルを確認してください。
ステップ 2
ハイライトされた候補は開いた X-Chain (A6=G6)-(H5=H3)-(E3=E8)-(F7=A7) を形成します。各等号は強リンク (XOR)、各ダッシュは弱推論 (NAND) です。端点定理が A6=2 OR A7=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-ストリングカイトは行と列ノードをブロックを通じて結びます。両方とも同じ消去ルールを適用します。