Analysis of xx-ph-00036064-12_05-base.sdk
Contents
Original Sudoku
level: deep
position: 9..8..7...8..6..5.........44..7....8.6..3......3..2...1.....4....2..5.3....1....9 initial
Autosolve
position: 9..8..7...8..6..5.........44..7..3.8.6..3......3..2...1.....4....2..5.3....1....9 autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000006
List of important HDP chains detected for B4,H4: 2..:
* DIS # H4: 2 # I1: 1,6 => CTR => I1: 2,3 * DIS # H4: 2 + I1: 2,3 # H3: 1,6 => CTR => H3: 8,9 * DIS # H4: 2 + I1: 2,3 + H3: 8,9 # G3: 2,8,9 => CTR => G3: 1,6 * PRF # H4: 2 + I1: 2,3 + H3: 8,9 + G3: 1,6 # A3: 3,7 => SOL * STA # H4: 2 + I1: 2,3 + H3: 8,9 + G3: 1,6 + A3: 3,7 * CNT 4 HDP CHAINS / 13 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
| 9..8..7...8..6..5.........44..7....8.6..3......3..2...1.....4....2..5.3....1....9 | initial |
| 9..8..7...8..6..5.........44..7..3.8.6..3......3..2...1.....4....2..5.3....1....9 | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) G8,I8: 1.. / G8 = 1 => 2 pairs (_) / I8 = 1 => 2 pairs (_) B4,A5: 2.. / B4 = 2 => 0 pairs (_) / A5 = 2 => 4 pairs (_) B4,H4: 2.. / B4 = 2 => 0 pairs (_) / H4 = 2 => 4 pairs (_) I1,I2: 3.. / I1 = 3 => 2 pairs (_) / I2 = 3 => 1 pairs (_) H5,H6: 4.. / H5 = 4 => 1 pairs (_) / H6 = 4 => 0 pairs (_) I7,G9: 5.. / I7 = 5 => 0 pairs (_) / G9 = 5 => 0 pairs (_) F4,D6: 6.. / F4 = 6 => 0 pairs (_) / D6 = 6 => 3 pairs (_) F4,H4: 6.. / F4 = 6 => 0 pairs (_) / H4 = 6 => 3 pairs (_) G3,H3: 8.. / G3 = 8 => 1 pairs (_) / H3 = 8 => 0 pairs (_) F5,E6: 8.. / F5 = 8 => 1 pairs (_) / E6 = 8 => 1 pairs (_) A6,E6: 8.. / A6 = 8 => 1 pairs (_) / E6 = 8 => 1 pairs (_) * DURATION: 0:00:06.026522 START: 01:19:38.050176 END: 01:19:44.076698 2020-12-17 * CP COUNT: (11) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) B4,H4: 2.. / B4 = 2 => 0 pairs (X) / H4 = 2 ==> 0 pairs (*) * DURATION: 0:00:13.492771 START: 01:19:44.077192 END: 01:19:57.569963 2020-12-17 * REASONING B4,H4: 2.. * DIS # H4: 2 # I1: 1,6 => CTR => I1: 2,3 * DIS # H4: 2 + I1: 2,3 # H3: 1,6 => CTR => H3: 8,9 * DIS # H4: 2 + I1: 2,3 + H3: 8,9 # G3: 2,8,9 => CTR => G3: 1,6 * PRF # H4: 2 + I1: 2,3 + H3: 8,9 + G3: 1,6 # A3: 3,7 => SOL * STA # H4: 2 + I1: 2,3 + H3: 8,9 + G3: 1,6 + A3: 3,7 * CNT 4 HDP CHAINS / 13 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
Header Info
36064;12_05;GP;21;11.30;1.20;1.20
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for B4,H4: 2..:
* INC # H4: 2 # A3: 3,7 => UNS * INC # H4: 2 # B3: 3,7 => UNS * INC # H4: 2 # F2: 3,7 => UNS * INC # H4: 2 # F2: 1,4,9 => UNS * INC # H4: 2 # A9: 3,7 => UNS * INC # H4: 2 # A9: 5,6,8 => UNS * DIS # H4: 2 # I1: 1,6 => CTR => I1: 2,3 * INC # H4: 2 + I1: 2,3 # G3: 1,6 => UNS * DIS # H4: 2 + I1: 2,3 # H3: 1,6 => CTR => H3: 8,9 * INC # H4: 2 + I1: 2,3 + H3: 8,9 # G3: 1,6 => UNS * DIS # H4: 2 + I1: 2,3 + H3: 8,9 # G3: 2,8,9 => CTR => G3: 1,6 * PRF # H4: 2 + I1: 2,3 + H3: 8,9 + G3: 1,6 # A3: 3,7 => SOL * STA # H4: 2 + I1: 2,3 + H3: 8,9 + G3: 1,6 + A3: 3,7 * CNT 12 HDP CHAINS / 13 HYP OPENED