色分け
強リンクとは何ですか?
強リンク(共役ペア)とは、ある数字がハウス内のちょうど2つのセルに候補として現れるときに成立する。一方のセルにその数字が入る必要があり、他方のセルには入らない。この2値関係が、すべてのカラーリングの基盤となる。
シンプルカラー: 単一数字の色分け
1つの数字ごとに処理します。BFSを使用して共役ペアを通じて交互に色を割り当てます。1つの色グループは完全に真であり、もう1つの色グループは完全に偽です。レベル5(難易度:難しい)。
カラートラップとカラーワップ
カラートラップ:色のついていないセルが両方の色を見ている場合、その数字は含まれない。 カラーラップ:同じ色の2つのセルが同じハウスを共有していると矛盾が生じる。その色全体は偽であり、もう一方の色は真であると確認される。
3D メデューサカラーリング:複数桁の色分け
二値のセルリンクを用いて複数の数字にわたって色分けを拡張します。二値のセルの2つの候補が逆の色になります。これにより、三つの次元の影響の網が生じます。レベル12(極端)。
メデューサ除去ルール
ルール1:色ラップ(シンプルカラーと同じですが、複数桁の範囲)。 ルール2:色トラップ(シンプルカラーと同じですが、複数桁の範囲)。 ルール3:同じセル、同じ色 — 1つのセルに同じ色の2つの数字がある場合、その色はすべての場所で誤りです。 ルール4:2色が1つのセルに — 両方の色を持つセルは、色のついていない候補をすべて除外します。
シンプルカラー 対 メデューサカラーリング
シンプルカラー: 1つの数字、速い、レベル5。メデューサ: 複数の数字、より強力、レベル12。メデューサはシンプルカラーを上回るが、手動で適用するのははるかに難しい。まずシンプルカラーを学ぼう。
色分けがテクニックの階層にどう適合するか
カラーリングは、グリッド全体にわたる論理的推論の構築のアイデアを導入します。シンプルカラーはXチェーンに関連しています。メデューサカラーリングはAICに関連しています。カラーリングを学ぶことで、すべてのチェーンベースの推論に対応できるようになります。
要約
シンプルカラー (レベル5) は、単一の数字に対して共役ペアを用い、色の罠と色の巻き戻しのルールを適用します。3Dメデューサ (レベル12) は、二値セルを介して複数の数字に拡張され、同じセル 同じ色、およびセル に2色のルールを追加します。