數獨問題 - 數獨

.------------------.---------------------.------------------.
| 1359 6 157 | 479 157 145 | 148 2 1358 |
| 4 135 8 | 267 12567 1256 | 16 1357 9 |
| 159 2 157 | 4679 8 3 | 146 1457 156 |
:------------------+---------------------+------------------:
| 1268 14 126 | 5 9 12468 | 7 1348 12368 |
| 1268 7 9 | 23468 1236 12468 | 5 1348 12368 |
| 12568 145 3 | 2468 126 7 | 9 148 1268 |
:------------------+---------------------+------------------:
| 2356 35 256 | 1 4 2568 | 28 9 7 |
| 7 9 1256 | 268 256 2568 | 3 158 4 |
| 1235 8 4 | 237 2357 9 | 12 6 125 |
'------------------'---------------------'------------------'

(R1C2代表第一列第二行 / R3C45代表第三列第四行&第五行)

START

R5C45 = 3 / R5C89 != 3



.------------------.---------------------.------------------.
| 1359 6 157 | 479 157 145 | 148 2 1358 |
| 4 135 8 | 267 12567 1256 | 16 1357 9 |
| 159 2 157 | 4679 8 3 | 146 1457 156 |
:------------------+---------------------+------------------:
| 1268 14 126 | 5 9 12468 | 7 1348 12368 |
| 1268 7 9 | 23468 1236 12468 | 5 148 1268 |
| 12568 145 3 | 2468 126 7 | 9 148 1268 |
:------------------+---------------------+------------------:
| 2356 35 256 | 1 4 2568 | 28 9 7 |
| 7 9 1256 | 268 256 2568 | 3 158 4 |
| 1235 8 4 | 237 2357 9 | 12 6 125 |
'------------------'---------------------'------------------'

R456C8 = 4 / R456C9 = 2 / R456C9 = 6

R3C8 != 4 / R9C9 != 2 / R3C9 != 6





.------------------.---------------------.------------------.
| 1359 6 157 | 479 157 145 | 148 2 1358 |
| 4 135 8 | 267 12567 1256 | 16 1357 9 |
| 159 2 157 | 4679 8 3 | 146 157 15 |
:------------------+---------------------+------------------:
| 1268 14 126 | 5 9 12468 | 7 1348 12368 |
| 1268 7 9 | 23468 1236 12468 | 5 148 1268 |
| 12568 145 3 | 2468 126 7 | 9 148 1268 |
:------------------+---------------------+------------------:
| 2356 35 256 | 1 4 2568 | 28 9 7 |
| 7 9 1256 | 268 256 2568 | 3 158 4 |
| 1235 8 4 | 237 2357 9 | 12 6 15 |
'------------------'---------------------'------------------'

R39C9 = 15

R1456C9 != 1 / R1C9 != 5





.------------------.---------------------.-----------------.
| 1359 6 157 | 479 157 145 | 148 2 38 |
| 4 135 8 | 267 12567 1256 | 16 1357 9 |
| 159 2 157 | 4679 8 3 | 146 157 15 |
:------------------+---------------------+-----------------:
| 1268 14 126 | 5 9 12468 | 7 1348 2368 |
| 1268 7 9 | 23468 1236 12468 | 5 148 268 |
| 12568 145 3 | 2468 126 7 | 9 148 268 |
:------------------+---------------------+-----------------:
| 2356 35 256 | 1 4 2568 | 28 9 7 |
| 7 9 1256 | 268 256 2568 | 3 158 4 |
| 1235 8 4 | 237 2357 9 | 12 6 15 |
'------------------'---------------------'-----------------'

R456C8 = 1

R238C8 != 1

R8C3 = 1



.-----------------.---------------------.-----------------.
| 1359 6 57 | 479 157 145 | 148 2 38 |
| 4 135 8 | 267 12567 1256 | 16 357 9 |
| 159 2 57 | 4679 8 3 | 146 57 15 |
:-----------------+---------------------+-----------------:
| 1268 14 26 | 5 9 12468 | 7 1348 2368 |
| 1268 7 9 | 23468 1236 12468 | 5 148 268 |
| 12568 145 3 | 2468 126 7 | 9 148 268 |
:-----------------+---------------------+-----------------:
| 2356 35 256 | 1 4 2568 | 28 9 7 |
| 7 9 1 | 268 256 2568 | 3 58 4 |
| 235 8 4 | 237 2357 9 | 12 6 15 |
'-----------------'---------------------'-----------------'

R13C3 = 57

R13C1 R2C2 R8C3 != 5





.----------------.---------------------.-----------------.
| 139 6 57 | 479 157 145 | 148 2 38 |
| 4 13 8 | 267 12567 1256 | 16 357 9 |
| 19 2 57 | 4679 8 3 | 146 57 15 |
:----------------+---------------------+-----------------:
| 1268 14 26 | 5 9 12468 | 7 1348 2368 |
| 1268 7 9 | 23468 1236 12468 | 5 148 268 |
| 12568 145 3 | 2468 126 7 | 9 148 268 |
:----------------+---------------------+-----------------:
| 2356 35 26 | 1 4 2568 | 28 9 7 |
| 7 9 1 | 268 256 2568 | 3 58 4 |
| 235 8 4 | 237 2357 9 | 12 6 15 |
'----------------'---------------------'-----------------'

R7C13 = 6 / R8C456 = 2 / R9C45 = 3

R7C6 != 6 / R7C6 R9C45 != 2 / R9C1 != 3

R3C38 = 57

R3C4 != 7 R3C9 != 5 FINISH


--