Analysis of zz-www.sudokuwiki.org-0312-base.sdk
Contents
Sudoku from http://www.sudokuwiki.org/Print_Weekly_Sudoku.asp?unsolvable=312
level: deep
position: 98.76....7.....9...54......6..3..2...4.....5.8.5..1......69...3....3.7.......8.1. initial
Autosolve
position: 98.76....7.....9...54......6..3..2...4...6.5.8.5..1......69...3...13.7.......8.1. autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000008
List of important HDP chains detected for F4,F7: 7..:
* PRF # F4: 7 # D2: 2,8 => SOL * STA # F4: 7 + D2: 2,8 * CNT 1 HDP CHAINS / 6 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
This sudoku is deep. Here is some information that may be helpful on how to proceed.
Positions
| 98.76....7.....9...54......6..3..2...4.....5.8.5..1......69...3....3.7.......8.1. | initial |
| 98.76....7.....9...54......6..3..2...4...6.5.8.5..1......69...3...13.7.......8.1. | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) E2,E3: 1.. / E2 = 1 => 1 pairs (_) / E3 = 1 => 1 pairs (_) E4,F4: 5.. / E4 = 5 => 1 pairs (_) / F4 = 5 => 4 pairs (_) D2,D9: 5.. / D2 = 5 => 1 pairs (_) / D9 = 5 => 2 pairs (_) B2,C2: 6.. / B2 = 6 => 1 pairs (_) / C2 = 6 => 0 pairs (_) H3,I3: 7.. / H3 = 7 => 0 pairs (_) / I3 = 7 => 0 pairs (_) F7,E9: 7.. / F7 = 7 => 1 pairs (_) / E9 = 7 => 19 pairs (_) F4,F7: 7.. / F4 = 7 => 19 pairs (_) / F7 = 7 => 1 pairs (_) C7,C8: 8.. / C7 = 8 => 2 pairs (_) / C8 = 8 => 0 pairs (_) D3,F3: 9.. / D3 = 9 => 14 pairs (_) / F3 = 9 => 1 pairs (_) F3,F4: 9.. / F3 = 9 => 1 pairs (_) / F4 = 9 => 14 pairs (_) * DURATION: 0:00:06.795344 START: 17:39:57.006647 END: 17:40:03.801991 2019-04-28 * CP COUNT: (10) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) F4,F7: 7.. / F4 = 7 ==> 0 pairs (*) / F7 = 7 => 0 pairs (X) * DURATION: 0:00:11.527166 START: 17:40:03.802742 END: 17:40:15.329908 2019-04-28 * REASONING F4,F7: 7.. * PRF # F4: 7 # D2: 2,8 => SOL * STA # F4: 7 + D2: 2,8 * CNT 1 HDP CHAINS / 6 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
Header Info
http://www.sudokuwiki.org/Print_Weekly_Sudoku.asp?unsolvable=312
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for F4,F7: 7..:
* INC # F4: 7 # B2: 1,2 => UNS * INC # F4: 7 # C2: 1,2 => UNS * INC # F4: 7 # I1: 1,2 => UNS * INC # F4: 7 # I1: 4,5 => UNS * PRF # F4: 7 # D2: 2,8 => SOL * STA # F4: 7 + D2: 2,8 * CNT 5 HDP CHAINS / 6 HYP OPENED