Sudoku Clean logo

Sudoku Clean

All Techniques

search
直接除外

直接除外

直接除外は、最も信頼できる種類の数独推論です。

ペアとサブセット

ペアとサブセット

ペアとサブセットは、最も有用な「候補排除」テクニックの一部です。

超高層ビル

超高層ビル

Skyscraper は 1 桁の <strong 候補排除</strong テクニックです。

Kite

Kite

カイトは 1 桁の <strong 候補排除</strong テクニックです。

X Wing

X Wing

X-Wing は、候補を除外するための単純な「長方形」パターンです。

Swordfish

Swordfish

メカジキは思っているよりも簡単です。

バグ+1

バグ+1

BUG+1 は <strong BUG + 1</strong の略です。

Crane

Crane

クレーンは、短い 1 桁の <strong 候補排除</strong テクニックです。

Y Wing

Y Wing

XY ウィング (Y ウィングとも呼ばれます) は、<strong 1 つのピボット</strong と <strong 2 つのウィング</strong で構成される短い <strong 候補除去</strong チェーンです。

ユニークな長方形 (UR)

ユニークな長方形 (UR)

Unique Rectangle (UR) は、<strong 単一解</strong プロパティを使用して候補を排除する (場合によっては数値を配置する) テクニックのファミリーです。

Xyz Wing

Xyz Wing

XYZ-Wing は <strong XY-Wing</strong に似ています。

W Wing

W Wing

W ウィングは、短い <strong 候補排除</strong テクニックです。

空の長方形

空の長方形

空の長方形は、1 桁の <strong 候補排除</strong テクニックです。

Sashimi Fish

Sashimi Fish

Sashimi Fish は高度な「候補除去」テクニックです。

Wxyz Wing

Wxyz Wing

これらをすでに読んでいる場合は、WXYZ-Wing がはるかに簡単に感じられるでしょう。

X Chain

X Chain

X-Chain は、<strong 1 桁の d</strong に焦点を当てたチェーン テクニックです。

XYチェーン

XYチェーン

XY チェーンは、<strong 二値セルのみ</strong (候補が 2 つだけあるセル) から構築されるチェーン手法です。

ALS-XZ

ALS-XZ

ALS-XZ は難しそうに見えますが、中心となる考え方は単純です。

ALS-XY-Wing

ALS-XY-Wing

ALS-XY-Wing は、3つの ALS を2つの RCC でつなぐテクニックです。

Sue de Coq

Sue de Coq

Sue de Coq は、もともと <strong Two-Sector Disjoint Subsets</strong と呼ばれていました。

整列ペア除外(APE)

整列ペア除外(APE)

APE(<strong Aligned Pair Exclusion</strong )は、2つの青い基準セルから候補の組合せをすべて作り、矛盾する組合せを一つずつ除外する手筋です。

Nishio

Nishio

西尾強制連鎖は、<strong 矛盾排除による証明</strong 手法です。