Analysis of xx-ph-00011599-kz0-base.sdk
Contents
Original Sudoku
level: hard
position: 98.7.....6...5......4..96..4....59....7.3..5....2....1.4...78.....5....3....1..2. initial
Autosolve
position: 98.7.....6...5......4..96..4....59....7.3..5....2....1.4...78.....5....3....1..2. autosolve
Pair Reduction Variants
Deep Pair Reduction
Time used: 0:00:54.491763
The following important HDP chains were detected:
* DIS # E8: 2,8 # E6: 6,7 => CTR => E6: 4,9 * DIS # E8: 2,8 + E6: 4,9 # D7: 6,9 => CTR => D7: 3 * DIS # E8: 2,8 + E6: 4,9 + D7: 3 # C7: 6,9 => CTR => C7: 1,2,5 * PRF # E8: 2,8 + E6: 4,9 + D7: 3 + C7: 1,2,5 # H7: 6,9 => SOL * STA # E8: 2,8 + E6: 4,9 + D7: 3 + C7: 1,2,5 + H7: 6,9 * CNT 4 HDP CHAINS / 93 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| 98.7.....6...5......4..96..4....59....7.3..5....2....1.4...78.....5....3....1..2. | initial |
| 98.7.....6...5......4..96..4....59....7.3..5....2....1.4...78.....5....3....1..2. | autosolve |
| 982763514673451298514829637436175982127938456895246371241397865769582143358614729 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (2) E3: 2,8 G5: 2,4 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) G1,G9: 5.. / G1 = 5 => 4 pairs (_) / G9 = 5 => 3 pairs (_) E1,F1: 6.. / E1 = 6 => 4 pairs (_) / F1 = 6 => 4 pairs (_) E4,E6: 7.. / E4 = 7 => 2 pairs (_) / E6 = 7 => 5 pairs (_) H2,I2: 9.. / H2 = 9 => 3 pairs (_) / I2 = 9 => 3 pairs (_) D5,E6: 9.. / D5 = 9 => 3 pairs (_) / E6 = 9 => 3 pairs (_) B5,D5: 9.. / B5 = 9 => 3 pairs (_) / D5 = 9 => 3 pairs (_) * DURATION: 0:00:03.773128 START: 19:51:09.858148 END: 19:51:13.631276 2020-12-01 * CP COUNT: (6) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:54.076922 START: 19:51:21.611838 END: 19:52:15.688760 2020-12-01 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00011599-kz0-base-pr-002.dot * REASONING * DIS # E8: 2,8 # E6: 6,7 => CTR => E6: 4,9 * DIS # E8: 2,8 + E6: 4,9 # D7: 6,9 => CTR => D7: 3 * DIS # E8: 2,8 + E6: 4,9 + D7: 3 # C7: 6,9 => CTR => C7: 1,2,5 * PRF # E8: 2,8 + E6: 4,9 + D7: 3 + C7: 1,2,5 # H7: 6,9 => SOL * STA # E8: 2,8 + E6: 4,9 + D7: 3 + C7: 1,2,5 + H7: 6,9 * CNT 4 HDP CHAINS / 93 HYP OPENED
Header Info
11599;kz0;GP;23;11.30;11.30;9.90
Solution
position: 982763514673451298514829637436175982127938456895246371241397865769582143358614729 solved
See section Deep Pair Reduction for the HDP chains leading to this result.
Appendix: Full HDP Chains
A1. Pair Reduction Analysis
Full list of HDP chains traversed:
* INC # F2: 2,8 => UNS * INC # F2: 1,3,4 => UNS * INC # I3: 2,8 => UNS * INC # I3: 5,7 => UNS * INC # E8: 2,8 => UNS * INC # E8: 4,6,9 => UNS * INC # I5: 2,4 => UNS * INC # I5: 6,8 => UNS * INC # G1: 2,4 => UNS * INC # G2: 2,4 => UNS * CNT 10 HDP CHAINS / 10 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # F2: 2,8 => UNS * INC # F2: 1,3,4 => UNS * INC # I3: 2,8 => UNS * INC # I3: 5,7 => UNS * INC # E8: 2,8 => UNS * INC # E8: 4,6,9 => UNS * INC # I5: 2,4 => UNS * INC # I5: 6,8 => UNS * INC # G1: 2,4 => UNS * INC # G2: 2,4 => UNS * CNT 10 HDP CHAINS / 10 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # F2: 2,8 => UNS * INC # F2: 1,3,4 => UNS * INC # I3: 2,8 => UNS * INC # I3: 5,7 => UNS * INC # E8: 2,8 => UNS * INC # E8: 4,6,9 => UNS * INC # I5: 2,4 => UNS * INC # I5: 6,8 => UNS * INC # G1: 2,4 => UNS * INC # G2: 2,4 => UNS * INC # F2: 2,8 # F1: 4,6 => UNS * INC # F2: 2,8 # F1: 1,3 => UNS * INC # F2: 2,8 # E6: 4,6 => UNS * INC # F2: 2,8 # E8: 4,6 => UNS * INC # F2: 2,8 # I2: 2,8 => UNS * INC # F2: 2,8 # I2: 4,7,9 => UNS * INC # F2: 2,8 # F8: 2,8 => UNS * INC # F2: 2,8 # F8: 4,6 => UNS * INC # F2: 2,8 # F1: 1,3 => UNS * INC # F2: 2,8 # D2: 1,3 => UNS * INC # F2: 2,8 # A3: 1,3 => UNS * INC # F2: 2,8 # B3: 1,3 => UNS * INC # F2: 2,8 # H3: 1,3 => UNS * INC # F2: 2,8 # I3: 2,8 => UNS * INC # F2: 2,8 # I3: 5,7 => UNS * INC # F2: 2,8 # E8: 2,8 => UNS * INC # F2: 2,8 # E8: 4,6,9 => UNS * INC # F2: 2,8 # I5: 2,4 => UNS * INC # F2: 2,8 # I5: 6,8 => UNS * INC # F2: 2,8 # G1: 2,4 => UNS * INC # F2: 2,8 # G2: 2,4 => UNS * INC # F2: 2,8 => UNS * INC # F2: 1,3,4 # I3: 2,8 => UNS * INC # F2: 1,3,4 # I3: 5,7 => UNS * INC # F2: 1,3,4 # E8: 2,8 => UNS * INC # F2: 1,3,4 # E8: 4,6,9 => UNS * INC # F2: 1,3,4 # I5: 2,4 => UNS * INC # F2: 1,3,4 # I5: 6,8 => UNS * INC # F2: 1,3,4 # G1: 2,4 => UNS * INC # F2: 1,3,4 # G2: 2,4 => UNS * INC # F2: 1,3,4 => UNS * INC # I3: 2,8 # F1: 1,3 => UNS * INC # I3: 2,8 # D2: 1,3 => UNS * INC # I3: 2,8 # F2: 1,3 => UNS * INC # I3: 2,8 # A3: 1,3 => UNS * INC # I3: 2,8 # B3: 1,3 => UNS * INC # I3: 2,8 # H3: 1,3 => UNS * INC # I3: 2,8 # F2: 2,8 => UNS * INC # I3: 2,8 # F2: 1,3,4 => UNS * INC # I3: 2,8 # E8: 2,8 => UNS * INC # I3: 2,8 # E8: 4,6,9 => UNS * INC # I3: 2,8 # I2: 2,8 => UNS * INC # I3: 2,8 # I2: 4,7,9 => UNS * INC # I3: 2,8 # I4: 2,8 => UNS * INC # I3: 2,8 # I5: 2,8 => UNS * INC # I3: 2,8 # I5: 2,4 => UNS * INC # I3: 2,8 # I5: 6,8 => UNS * INC # I3: 2,8 # G1: 2,4 => UNS * INC # I3: 2,8 # G2: 2,4 => UNS * INC # I3: 2,8 => UNS * INC # I3: 5,7 # F2: 2,8 => UNS * INC # I3: 5,7 # F2: 1,3,4 => UNS * INC # I3: 5,7 # E8: 2,8 => UNS * INC # I3: 5,7 # E8: 4,6,9 => UNS * INC # I3: 5,7 # A3: 5,7 => UNS * INC # I3: 5,7 # B3: 5,7 => UNS * INC # I3: 5,7 # I9: 5,7 => UNS * INC # I3: 5,7 # I9: 4,6,9 => UNS * INC # I3: 5,7 # I5: 2,4 => UNS * INC # I3: 5,7 # I5: 6,8 => UNS * INC # I3: 5,7 # G1: 2,4 => UNS * INC # I3: 5,7 # G2: 2,4 => UNS * INC # I3: 5,7 => UNS * INC # E8: 2,8 # F1: 4,6 => UNS * INC # E8: 2,8 # F1: 1,2,3 => UNS * INC # E8: 2,8 # E6: 4,6 => UNS * INC # E8: 2,8 # E6: 7,9 => UNS * INC # E8: 2,8 # F2: 2,8 => UNS * INC # E8: 2,8 # F2: 1,3,4 => UNS * INC # E8: 2,8 # I3: 2,8 => UNS * INC # E8: 2,8 # I3: 5,7 => UNS * DIS # E8: 2,8 # E6: 6,7 => CTR => E6: 4,9 * INC # E8: 2,8 + E6: 4,9 # I5: 2,4 => UNS * INC # E8: 2,8 + E6: 4,9 # I5: 6,8 => UNS * INC # E8: 2,8 + E6: 4,9 # G1: 2,4 => UNS * INC # E8: 2,8 + E6: 4,9 # G2: 2,4 => UNS * DIS # E8: 2,8 + E6: 4,9 # D7: 6,9 => CTR => D7: 3 * INC # E8: 2,8 + E6: 4,9 + D7: 3 # D9: 6,9 => UNS * INC # E8: 2,8 + E6: 4,9 + D7: 3 # D9: 6,9 => UNS * INC # E8: 2,8 + E6: 4,9 + D7: 3 # D9: 4,8 => UNS * DIS # E8: 2,8 + E6: 4,9 + D7: 3 # C7: 6,9 => CTR => C7: 1,2,5 * PRF # E8: 2,8 + E6: 4,9 + D7: 3 + C7: 1,2,5 # H7: 6,9 => SOL * STA # E8: 2,8 + E6: 4,9 + D7: 3 + C7: 1,2,5 + H7: 6,9 * CNT 92 HDP CHAINS / 93 HYP OPENED