基礎研究（数独のセオリー）
セオリー５ メンバー確定orリスト絞り込み法
これはブロックや列などのメンバーを確定して、そこからメンバーをリストから外して絞り込む方法です。
ですから、リスト絞り込み法の一種ですが、他と組み合わせていてメンバーを絞り込んでいますからセオリー３より高度です。
例１
| 6 | ||||||||
| 1 | 7 | |||||||
| 2 | 4 | 5 | ||||||
| 8 | ||||||||
| 3 | ||||||||
列シングル排除によって
| 6 | ||||||||
| 1 | 7 | |||||||
| 2 | 4 | 5 | ||||||
| 8 | ||||||||
| 3 | ||||||||
セル
のメンバーが３，６であることがわかります。
すると
| 1 | 7 | |
| 2 | 4 | 5 |
| 8 |
１，３，７，２，４，５，６，８がブロック構成メンバーであることがわかり、
赤いセル
には９が入ることが決定します。
これがメンバー確定によるリスト絞り込み決定法です。
例２
| 4 | 3 | 9 | 1 | 8 | 7 | |||
| 8 | 1 | 2 | 4 | 5 | ||||
| 1 | 8 | 7 |
| 2 | 4 | 5 |
の一番下の行のメンバーは１，２，３，４，５，６，７，８，９
から１，８，７，２，４，５を除外した
３，６，９です。すると６について行排除を行って
| 4 | 3 | 9 | 1 | 8 | 7 | |||
| 8 | 1 | 2 | 4 | 5 | ||||
赤のセルには６しか入らないことがわかります。
例３
| 4 | 8 | 9 | 2 | 5 | 7 | |||
| 6 | 1 | |||||||
| 4 | 8 | 1 | ||||||
これは例2を高度化したもの。
| 4 | 8 | 9 | 2 | 5 | 7 | |||
| 6 | 1 | |||||||
| 4 | 8 | 1 |
行排除によって、４，８，１が
の住人であることがわかります。
すると
| 2 | 5 | 7 |
のブロック構成メンバーは２，５，７，４，８，１
であることがわかり、このブロックの一番下の行の住人が
３，６，９であることが確定します。
３について行排除を行い
| 4 | 8 | 9 | 2 | 5 | 7 | |||
| 6 | 1 | |||||||
| 4 | 8 | 1 |
赤いセルの３が決定します。
例4
| 1 | 3 | 6 | 2 | 5 | 4 | |||
| 1 | 3 | 2 | 4 | 5 | ||||
まず、１，３，６について行排除が行われ
| 1 | 3 | 6 | 2 | 5 | 4 | |||
| 1 | 3 | 2 | 4 | 5 | ||||
の住人は１，３，６であることがわかり、
６についての行排除から
| 1 | 3 | 6 | 2 | 5 | 4 | |||
| 1 | 3 | 2 | 4 | 5 | ||||
６が赤いセルの住人であることが決定します。
