Analysis of xx-ph-00001546-528-base.sdk
Contents
Original Sudoku
level: hard
position: 1......89..7...2..89......4....4....34..1..9....5..6....27..........5....8..9...3 initial
Autosolve
position: 12.....89..7...2..89......4....4....34..1..9....5..64...27..........5....8..9...3 autosolve
Pair Reduction Variants
Deep Pair Reduction
Time used: 0:00:48.878923
The following important HDP chains were detected:
* DIS # B4: 1,7 # A4: 2,9 => CTR => A4: 5,6 * DIS # B4: 1,7 + A4: 5,6 # C8: 3,6 => CTR => C8: 1,4 * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 # A2: 5,6 => CTR => A2: 4 * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 # E2: 5,6 => CTR => E2: 3,8 * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # I6: 1,7 => CTR => I6: 8 * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 + I6: 8 => CTR => B4: 5,6 * PRF B4: 5,6 # I6: 1,7 # A4: 2,9 => SOL * STA B4: 5,6 # I6: 1,7 + A4: 2,9 * CNT 7 HDP CHAINS / 70 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| 1......89..7...2..89......4....4....34..1..9....5..6....27..........5....8..9...3 | initial |
| 12.....89..7...2..89......4....4....34..1..9....5..64...27..........5....8..9...3 | autosolve |
| 123456789457189236896372154261948375345617892978523641532764918619835427784291563 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (1) B6: 1,7 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) A4,A6: 2.. / A4 = 2 => 2 pairs (_) / A6 = 2 => 1 pairs (_) E6,F6: 3.. / E6 = 3 => 2 pairs (_) / F6 = 3 => 1 pairs (_) G4,H4: 3.. / G4 = 3 => 2 pairs (_) / H4 = 3 => 1 pairs (_) C1,A2: 4.. / C1 = 4 => 6 pairs (_) / A2 = 4 => 1 pairs (_) D2,F2: 9.. / D2 = 9 => 1 pairs (_) / F2 = 9 => 1 pairs (_) G7,G8: 9.. / G7 = 9 => 1 pairs (_) / G8 = 9 => 2 pairs (_) A7,G7: 9.. / A7 = 9 => 2 pairs (_) / G7 = 9 => 1 pairs (_) D2,D4: 9.. / D2 = 9 => 1 pairs (_) / D4 = 9 => 1 pairs (_) * DURATION: 0:00:06.514288 START: 10:20:26.016940 END: 10:20:32.531228 2020-11-29 * CP COUNT: (8) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:48.596553 START: 10:20:38.112165 END: 10:21:26.708718 2020-11-29 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00001546-528-base-pr-002.dot * REASONING * DIS # B4: 1,7 # A4: 2,9 => CTR => A4: 5,6 * DIS # B4: 1,7 + A4: 5,6 # C8: 3,6 => CTR => C8: 1,4 * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 # A2: 5,6 => CTR => A2: 4 * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 # E2: 5,6 => CTR => E2: 3,8 * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # I6: 1,7 => CTR => I6: 8 * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 + I6: 8 => CTR => B4: 5,6 * PRF B4: 5,6 # I6: 1,7 # A4: 2,9 => SOL * STA B4: 5,6 # I6: 1,7 + A4: 2,9 * CNT 7 HDP CHAINS / 70 HYP OPENED
Header Info
1546;528;elev;21;11.30;1.20;1.20
Solution
position: 123456789457189236896372154261948375345617892978523641532764918619835427784291563 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 # B4: 1,7 => UNS * INC # B4: 5,6 => UNS * INC # I6: 1,7 => UNS * INC # I6: 2,8 => UNS * INC # B8: 1,7 => UNS * INC # B8: 3,6 => UNS * CNT 6 HDP CHAINS / 6 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # B4: 1,7 => UNS * INC # B4: 5,6 => UNS * INC # I6: 1,7 => UNS * INC # I6: 2,8 => UNS * INC # B8: 1,7 => UNS * INC # B8: 3,6 => UNS * CNT 6 HDP CHAINS / 6 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # B4: 1,7 => UNS * INC # B4: 5,6 => UNS * INC # I6: 1,7 => UNS * INC # I6: 2,8 => UNS * INC # B8: 1,7 => UNS * INC # B8: 3,6 => UNS * INC # B4: 1,7 # G4: 1,7 => UNS * INC # B4: 1,7 # H4: 1,7 => UNS * INC # B4: 1,7 # I4: 1,7 => UNS * DIS # B4: 1,7 # A4: 2,9 => CTR => A4: 5,6 * INC # B4: 1,7 + A4: 5,6 # I6: 1,7 => UNS * INC # B4: 1,7 + A4: 5,6 # I6: 8 => UNS * INC # B4: 1,7 + A4: 5,6 # C4: 8,9 => UNS * INC # B4: 1,7 + A4: 5,6 # C4: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 # F6: 8,9 => UNS * INC # B4: 1,7 + A4: 5,6 # F6: 3,7 => UNS * INC # B4: 1,7 + A4: 5,6 # B7: 3,6 => UNS * DIS # B4: 1,7 + A4: 5,6 # C8: 3,6 => CTR => C8: 1,4 * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 # B7: 3,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 # B7: 5 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 # D8: 3,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 # E8: 3,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 # C1: 5,6 => UNS * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 # A2: 5,6 => CTR => A2: 4 * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 # C3: 5,6 => UNS * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 # E2: 5,6 => CTR => E2: 3,8 * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # H2: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # I2: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # B7: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # B7: 3 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # C1: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # C3: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # H2: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # I2: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # B7: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # B7: 3 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # C4: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # C5: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # A7: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # A9: 5,6 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # G4: 1,7 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # H4: 1,7 => UNS * INC # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # I4: 1,7 => UNS * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 # I6: 1,7 => CTR => I6: 8 * DIS # B4: 1,7 + A4: 5,6 + C8: 1,4 + A2: 4 + E2: 3,8 + I6: 8 => CTR => B4: 5,6 * INC B4: 5,6 # A4: 5,6 => UNS * INC B4: 5,6 # C4: 5,6 => UNS * INC B4: 5,6 # C5: 5,6 => UNS * INC B4: 5,6 # B2: 5,6 => UNS * INC B4: 5,6 # B7: 5,6 => UNS * INC B4: 5,6 # I6: 1,7 => UNS * INC B4: 5,6 # I6: 2,8 => UNS * INC B4: 5,6 # B8: 1,7 => UNS * INC B4: 5,6 # B8: 3,6 => UNS * INC B4: 5,6 # A4: 5,6 => UNS * INC B4: 5,6 # C4: 5,6 => UNS * INC B4: 5,6 # C5: 5,6 => UNS * INC B4: 5,6 # B2: 5,6 => UNS * INC B4: 5,6 # B7: 5,6 => UNS * INC B4: 5,6 # I6: 1,7 => UNS * INC B4: 5,6 # I6: 2,8 => UNS * INC B4: 5,6 # B8: 1,7 => UNS * INC B4: 5,6 # B8: 3,6 => UNS * INC B4: 5,6 # I6: 1,7 # A4: 5,6 => UNS * INC B4: 5,6 # I6: 1,7 # C4: 5,6 => UNS * INC B4: 5,6 # I6: 1,7 # C5: 5,6 => UNS * INC B4: 5,6 # I6: 1,7 # B2: 5,6 => UNS * INC B4: 5,6 # I6: 1,7 # B7: 5,6 => UNS * PRF B4: 5,6 # I6: 1,7 # A4: 2,9 => SOL * STA B4: 5,6 # I6: 1,7 + A4: 2,9 * CNT 69 HDP CHAINS / 70 HYP OPENED