彩色
彩色
関連テクニック
強リンクとは何か?
強リンク(共役ペア)は、ある数字がハウス内のちょうど2つのセルに候補として現れるときに存在する。一方がその数字を持ち、他方は持てない。この二値関係がすべての彩色の基盤である。
シンプルカラー:単一数字の彩色
一度に1つの数字を扱う。BFSを使って共役ペアを通じて交互に色を割り当てる。一方の色グループは完全に真、他方は完全に偽。レベル5(難しい)。
カラートラップとカラーラップ
カラートラップ:両方の色を見る未彩色のセルはその数字を含むことができない。カラーラップ:同じハウスを共有する同じ色の2つのセルは矛盾である。その色全体が偽となり、もう一方の色が真と確定する。
3Dメデューサカラーリング:複数数字の彩色
二値のセルリンクを使って複数の数字にわたって彩色を拡張する。二値のセルの2つの候補は反対の色になる。これにより含意の三次元の網が生まれる。レベル12(極限)。
メデューサの除外ルール
ルール1:カラーラップ(シンプルカラーと同じだが、複数数字の範囲)。ルール2:カラートラップ(シンプルカラーと同じだが、複数数字の範囲)。ルール3:同じセル、同じ色--1つのセル内で色が一致する2つの数字は、その色がどこでも偽であることを意味する。ルール4:セル内の2つの色--両方の色を持つセルは、すべての未彩色の候補を除外する。
シンプルカラー対メデューサカラーリング
シンプルカラー:1つの数字、より速い、レベル5。メデューサ:複数の数字、より強力、レベル12。メデューサはシンプルカラーを包含するが、手動で適用するのははるかに難しい。まずシンプルカラーを学ぼう。
彩色がテクニック階層にどう当てはまるか
彩色はグリッド全体にわたる論証を構築するという考えを導入する。シンプルカラーはX-チェーンに関連する。メデューサカラーリングはAICに関連する。彩色を学ぶことは、すべてのチェーンに基づく推論の準備となる。
概要
シンプルカラー(レベル5)は単一数字に対して共役ペアを使い、カラートラップとカラーラップのルールを備える。3Dメデューサ(レベル12)は二値セルを通じて複数の数字にわたり、同じセル同じ色とセル内の2つの色のルールを追加する。
関連テクニック