候補間の論理的な連鎖を追跡し、矛盾を導出して候補を除外する高度なテクニック群の総称。

チェーン (Chain) は、候補間の「もし A ならば B、B ならば C...」という論理的連鎖を追跡するテクニック群の総称である。Simple Coloring、XY-Chain、AIC (Alternating Inference Chain) などが含まれる。Extreme 難易度で必要になることがある。

基本的な考え方

ある候補が真 (その数字が入る) と仮定した場合の帰結を追跡し、矛盾が生じればその候補は偽 (入らない) と確定する。逆に、偽と仮定して矛盾が生じれば真と確定する。この背理法的推論の連鎖がチェーンテクニックの本質である。

実用性

チェーンテクニックは非常に強力だが、人間が手動で適用するのは困難である。多くのプレイヤーは X-Wing までのテクニックで十分であり、チェーンが必要なパズルは Extreme 難易度に限られる。