Analysis of xx-ph-00417487-12_12_03-base.sdk
Contents
Original Sudoku
level: hard
position: ........1..2..3.4..4.56........5.7...358..1..2....4..9..9...5...2.....935.3...... initial
Autosolve
position: .5......1..2..3.45.4.56........5.7...358..1..2....4.59..9...5...2...5.935.3...... autosolve
Pair Reduction Variants
Deep Pair Reduction
Time used: 0:00:27.328596
The following important HDP chains were detected:
* DIS # I5: 2,6 # H1: 7,8 => CTR => H1: 3,6 * PRF # I5: 2,6 + H1: 3,6 # H3: 3 => SOL * STA # I5: 2,6 + H1: 3,6 + H3: 3 * CNT 2 HDP CHAINS / 48 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| ........1..2..3.4..4.56........5.7...358..1..2....4..9..9...5...2.....935.3...... | initial |
| .5......1..2..3.45.4.56........5.7...358..1..2....4.59..9...5...2...5.935.3...... | autosolve |
| 357248961692173845841569237916352784435897126278614359789436512124785693563921478 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (1) H5: 2,6 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) H7,H9: 1.. / H7 = 1 => 1 pairs (_) / H9 = 1 => 1 pairs (_) A1,A3: 3.. / A1 = 3 => 1 pairs (_) / A3 = 3 => 1 pairs (_) H4,G6: 3.. / H4 = 3 => 2 pairs (_) / G6 = 3 => 2 pairs (_) D7,E7: 3.. / D7 = 3 => 2 pairs (_) / E7 = 3 => 2 pairs (_) D4,H4: 3.. / D4 = 3 => 2 pairs (_) / H4 = 3 => 2 pairs (_) E6,E7: 3.. / E6 = 3 => 2 pairs (_) / E7 = 3 => 2 pairs (_) D1,E1: 4.. / D1 = 4 => 1 pairs (_) / E1 = 4 => 1 pairs (_) I4,I5: 4.. / I4 = 4 => 11 pairs (_) / I5 = 4 => 1 pairs (_) G8,G9: 4.. / G8 = 4 => 1 pairs (_) / G9 = 4 => 3 pairs (_) A5,I5: 4.. / A5 = 4 => 11 pairs (_) / I5 = 4 => 1 pairs (_) C4,C8: 4.. / C4 = 4 => 1 pairs (_) / C8 = 4 => 5 pairs (_) B2,B4: 9.. / B2 = 9 => 3 pairs (_) / B4 = 9 => 1 pairs (_) * DURATION: 0:00:07.924009 START: 07:23:28.709375 END: 07:23:36.633384 2020-10-29 * CP COUNT: (12) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:27.107402 START: 07:23:43.557912 END: 07:24:10.665314 2020-10-29 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00417487-12_12_03-base-pr-002.dot * REASONING * DIS # I5: 2,6 # H1: 7,8 => CTR => H1: 3,6 * PRF # I5: 2,6 + H1: 3,6 # H3: 3 => SOL * STA # I5: 2,6 + H1: 3,6 + H3: 3 * CNT 2 HDP CHAINS / 48 HYP OPENED
Header Info
417487;12_12_03;dob;23;11.40;1.20;1.20
Solution
position: 357248961692173845841569237916352784435897126278614359789436512124785693563921478 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 # H4: 2,6 => UNS * INC # I4: 2,6 => UNS * INC # I5: 2,6 => UNS * INC # F5: 2,6 => UNS * INC # F5: 7,9 => UNS * INC # H1: 2,6 => UNS * INC # H7: 2,6 => UNS * INC # H9: 2,6 => UNS * CNT 8 HDP CHAINS / 8 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # H4: 2,6 => UNS * INC # I4: 2,6 => UNS * INC # I5: 2,6 => UNS * INC # F5: 2,6 => UNS * INC # F5: 7,9 => UNS * INC # H1: 2,6 => UNS * INC # H7: 2,6 => UNS * INC # H9: 2,6 => UNS * CNT 8 HDP CHAINS / 8 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # H4: 2,6 => UNS * INC # I4: 2,6 => UNS * INC # I5: 2,6 => UNS * INC # F5: 2,6 => UNS * INC # F5: 7,9 => UNS * INC # H1: 2,6 => UNS * INC # H7: 2,6 => UNS * INC # H9: 2,6 => UNS * INC # H4: 2,6 # F3: 2,7 => UNS * INC # H4: 2,6 # F3: 1,8,9 => UNS * INC # H4: 2,6 # I7: 2,7 => UNS * INC # H4: 2,6 # I9: 2,7 => UNS * INC # H4: 2,6 # D6: 1,7 => UNS * INC # H4: 2,6 # D6: 6 => UNS * INC # H4: 2,6 # B6: 1,7 => UNS * INC # H4: 2,6 # C6: 1,7 => UNS * INC # H4: 2,6 # E2: 1,7 => UNS * INC # H4: 2,6 # E8: 1,7 => UNS * INC # H4: 2,6 # E9: 1,7 => UNS * INC # H4: 2,6 # F4: 2,6 => UNS * INC # H4: 2,6 # F4: 1,9 => UNS * INC # H4: 2,6 # F5: 2,6 => UNS * INC # H4: 2,6 # F5: 7,9 => UNS * INC # H4: 2,6 # G9: 4,8 => UNS * INC # H4: 2,6 # G9: 2 => UNS * INC # H4: 2,6 # A8: 4,8 => UNS * INC # H4: 2,6 # C8: 4,8 => UNS * INC # H4: 2,6 # E8: 4,8 => UNS * INC # H4: 2,6 => UNS * INC # I4: 2,6 # H1: 3,8 => UNS * INC # I4: 2,6 # H3: 3,8 => UNS * INC # I4: 2,6 # D4: 2,6 => UNS * INC # I4: 2,6 # F4: 2,6 => UNS * INC # I4: 2,6 # I7: 2,6 => UNS * INC # I4: 2,6 # I9: 2,6 => UNS * INC # I4: 2,6 # F5: 2,6 => UNS * INC # I4: 2,6 # F5: 7,9 => UNS * INC # I4: 2,6 # H1: 2,6 => UNS * INC # I4: 2,6 # H7: 2,6 => UNS * INC # I4: 2,6 # H9: 2,6 => UNS * INC # I4: 2,6 # G1: 3,8 => UNS * INC # I4: 2,6 # G3: 3,8 => UNS * INC # I4: 2,6 => UNS * DIS # I5: 2,6 # H1: 7,8 => CTR => H1: 3,6 * INC # I5: 2,6 + H1: 3,6 # H3: 7,8 => UNS * INC # I5: 2,6 + H1: 3,6 # H3: 7,8 => UNS * PRF # I5: 2,6 + H1: 3,6 # H3: 3 => SOL * STA # I5: 2,6 + H1: 3,6 + H3: 3 * CNT 47 HDP CHAINS / 48 HYP OPENED