Analysis of xx-ph-00001435-355-base.sdk
Contents
Original Sudoku
level: deep
position: ...4...8.....8...6.9...31...7....5..3....1.....8.6...25....79...3.........29...4. initial
Autosolve
position: ...4...8.....8...689...31...7....5..3....1.....8.6...25....79...3.........29...4. autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000007
List of important HDP chains detected for C3,D3: 6..:
* DIS # C3: 6 # B7: 1,4 => CTR => B7: 6,8 * DIS # C3: 6 + B7: 6,8 # C8: 1,4 => CTR => C8: 7,9 * PRF # C3: 6 + B7: 6,8 + C8: 7,9 # A8: 6,7,9 => SOL * STA # C3: 6 + B7: 6,8 + C8: 7,9 + A8: 6,7,9 * CNT 3 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
| ...4...8.....8...6.9...31...7....5..3....1.....8.6...25....79...3.........29...4. | initial |
| ...4...8.....8...689...31...7....5..3....1.....8.6...25....79...3.........29...4. | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) E1,D2: 1.. / E1 = 1 => 2 pairs (_) / D2 = 1 => 0 pairs (_) A4,B5: 2.. / A4 = 2 => 1 pairs (_) / B5 = 2 => 0 pairs (_) C1,C2: 3.. / C1 = 3 => 1 pairs (_) / C2 = 3 => 0 pairs (_) G2,I3: 4.. / G2 = 4 => 3 pairs (_) / I3 = 4 => 0 pairs (_) C3,I3: 4.. / C3 = 4 => 3 pairs (_) / I3 = 4 => 0 pairs (_) F1,D3: 6.. / F1 = 6 => 4 pairs (_) / D3 = 6 => 0 pairs (_) C3,D3: 6.. / C3 = 6 => 4 pairs (_) / D3 = 6 => 0 pairs (_) B7,B9: 8.. / B7 = 8 => 2 pairs (_) / B9 = 8 => 1 pairs (_) I1,H2: 9.. / I1 = 9 => 1 pairs (_) / H2 = 9 => 2 pairs (_) A8,C8: 9.. / A8 = 9 => 1 pairs (_) / C8 = 9 => 0 pairs (_) F2,H2: 9.. / F2 = 9 => 1 pairs (_) / H2 = 9 => 2 pairs (_) * DURATION: 0:00:07.139334 START: 08:38:14.554866 END: 08:38:21.694200 2020-11-28 * CP COUNT: (11) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) C3,D3: 6.. / C3 = 6 ==> 0 pairs (*) / D3 = 6 => 0 pairs (X) * DURATION: 0:00:12.763695 START: 08:38:21.694808 END: 08:38:34.458503 2020-11-28 * REASONING C3,D3: 6.. * DIS # C3: 6 # B7: 1,4 => CTR => B7: 6,8 * DIS # C3: 6 + B7: 6,8 # C8: 1,4 => CTR => C8: 7,9 * PRF # C3: 6 + B7: 6,8 + C8: 7,9 # A8: 6,7,9 => SOL * STA # C3: 6 + B7: 6,8 + C8: 7,9 + A8: 6,7,9 * CNT 3 HDP CHAINS / 6 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
Header Info
1435;355;elev;21;11.30;1.20;1.20
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for C3,D3: 6..:
* DIS # C3: 6 # B7: 1,4 => CTR => B7: 6,8 * INC # C3: 6 + B7: 6,8 # A8: 1,4 => UNS * DIS # C3: 6 + B7: 6,8 # C8: 1,4 => CTR => C8: 7,9 * INC # C3: 6 + B7: 6,8 + C8: 7,9 # A8: 1,4 => UNS * PRF # C3: 6 + B7: 6,8 + C8: 7,9 # A8: 6,7,9 => SOL * STA # C3: 6 + B7: 6,8 + C8: 7,9 + A8: 6,7,9 * CNT 5 HDP CHAINS / 6 HYP OPENED