基礎研究（数独の原理）
原理1 相補確定の原理
| ○ | ||||||||
| 3 | ||||||||
| 1 | ||||||||
| 9 | 4 | 8 | ||||||
| 5 | ||||||||
| ○ | ||||||||
| 2 | ||||||||
２と３の排除から
| ○ | ||||||||
| 3 | ||||||||
| 1 | ||||||||
| 9 | 4 | 8 | ||||||
| 5 | ||||||||
| ○ | ||||||||
| 2 | ||||||||
この場合、薄茶色のセルは２または３に確定します。２つのセルに対して、２つの数字のみがリストされる場合、
１セル対１数字となるからです。これを相補確定の原理と名付けます。
３つのセルに対して、３つのみが候補であるときにも数字が確定します。
一般にｎ個のセルに、ｎ個のみの数字がリストされるとき、そのｎ個のセルのメンバーが確定します。
これを１：１対応の原理と名付けます。
相補確定の原理は、１：１対応の原理に含まれます。
つまり、
相補確定の原理⊂１：１対応の原理
です。
