アボイダブルレクタングル 外部ALS-XZ
アボイダブルレクタングル 外部ALS-XZは、解が一意であるという条件から、複数解を生む配置を避ける候補を特定します。
この盤面での流れ
ALS-XZの制約までたどると、除外対象を真にした配置は入れ替え可能になる
7
9
8
4
2
1
8
9
3
4
2
5
7
6
7
6
8
9
8
4
2
7
6
9
3
9
1
4
6
7
2
5
8
5
8
2
9
1
6
3
8
7
4
9
2
9
2
6
8
6
9
8
3
7
まだマークはありません現在地 0 / 2