Analysis of xx-mith-te3-00023283-base.sdk
Contents
Original Sudoku
level: medium
position: .2.....89...18.2..68....4.52..3.7...76.81..2.....62.7.31....8...726.8...8.6.31..2 initial
Autosolve
position: .2.....89...18.2..68....4.52..3.7...76.81..2.....62.7.31....8...726.8...8.6.31..2 autosolve
Pair Reduction Variants
Pair Reduction Analysis
The following important HDP chains were detected:
* PRF # I2: 3,6 => SOL * CNT 1 HDP CHAINS / 21 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Pair Reduction
The following important HDP chains were detected:
* PRF # I2: 3,6 => SOL * STA I2: 3,6 * CNT 1 HDP CHAINS / 6 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| .2.....89...18.2..68....4.52..3.7...76.81..2.....62.7.31....8...726.8...8.6.31..2 | initial |
| .2.....89...18.2..68....4.52..3.7...76.81..2.....62.7.31....8...726.8...8.6.31..2 | autosolve |
| 123456789457189236689273415241397658765814923938562174314925867572648391896731542 | solved |
Classification
level: medium
Pairing Analysis
-------------------------------------------------- * PAIRS (4) F3: 3,9 H2: 3,6 H3: 1,3 I5: 3,4 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) G1,H3: 1.. / G1 = 1 => 0 pairs (X) / H3 = 1 => 3 pairs (_) C3,H3: 1.. / C3 = 1 => 0 pairs (X) / H3 = 1 => 3 pairs (_) A1,A6: 1.. / A1 = 1 => 5 pairs (_) / A6 = 1 => 0 pairs (X) D3,E3: 2.. / D3 = 2 => 6 pairs (_) / E3 = 2 => 5 pairs (_) D7,E7: 2.. / D7 = 2 => 5 pairs (_) / E7 = 2 => 6 pairs (_) D3,D7: 2.. / D3 = 2 => 6 pairs (_) / D7 = 2 => 5 pairs (_) E3,E7: 2.. / E3 = 2 => 5 pairs (_) / E7 = 2 => 6 pairs (_) B2,B6: 3.. / B2 = 3 => 10 pairs (_) / B6 = 3 => 4 pairs (_) F1,F2: 6.. / F1 = 6 => 6 pairs (_) / F2 = 6 => 12 pairs (_) H7,I7: 6.. / H7 = 6 => 9 pairs (_) / I7 = 6 => 6 pairs (_) F1,G1: 6.. / F1 = 6 => 6 pairs (_) / G1 = 6 => 12 pairs (_) G1,G4: 6.. / G1 = 6 => 12 pairs (_) / G4 = 6 => 6 pairs (_) G1,I2: 7.. / G1 = 7 => 0 pairs (*) / I2 = 7 => 0 pairs (X) I7,G9: 7.. / I7 = 7 => 0 pairs (*) / G9 = 7 => 0 pairs (X) C2,I2: 7.. / C2 = 7 => 0 pairs (*) / I2 = 7 => 0 pairs (X) D9,G9: 7.. / D9 = 7 => 0 pairs (*) / G9 = 7 => 0 pairs (X) G1,G9: 7.. / G1 = 7 => 0 pairs (*) / G9 = 7 => 0 pairs (X) I2,I7: 7.. / I2 = 7 => 7 pairs (_) / I7 = 7 => 0 pairs (*) C4,C6: 8.. / C4 = 8 => 4 pairs (_) / C6 = 8 => 6 pairs (_) I4,I6: 8.. / I4 = 8 => 6 pairs (_) / I6 = 8 => 4 pairs (_) C4,I4: 8.. / C4 = 8 => 4 pairs (_) / I4 = 8 => 6 pairs (_) C6,I6: 8.. / C6 = 8 => 6 pairs (_) / I6 = 8 => 4 pairs (_) * DURATION: 0:00:05.074926 START: 09:34:47.045320 END: 09:34:52.120246 2025-04-04 * CP COUNT: (22) * SOLUTION FOUND -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (F3,H2,H3,I5) * .2.....89...18.2..68....4.52..3.7...76.81..2.....62.7.31....8...726.8...8.6.31..2 * PAIR F3: 3,9 BLK 2 F2: 3,9,4,5,6 # reduction candidate for 3,9 F2: 3,9 # 19 pairs F2: 4,5,6 # 4 pairs * PAIR F3: 3,9 ROW 3 C3: 3,9,1,7 # reduction candidate for 3,9 C3: 3,9 # 15 pairs C3: 1,7 # 5 pairs * PAIR H2: 3,6 BLK 3 G1: 3,6,1,7 # reduction candidate for 3,6 G1: 3,6 # 7 pairs I2: 3,6,7 # reduction candidate for 3,6 I2: 3,6 => SOLVED * 123456789457189236689273415241397658765814923938562174314925867572648391896731542 I2: 7 # 7 pairs * PAIR H2: 3,6 ROW 2 F2: 3,6,4,5,9 # reduction candidate for 3,6 F2: 3,6 # 12 pairs F2: 4,5,9 # 8 pairs * PAIR H3: 1,3 BLK 3 G1: 1,3,6,7 # reduction candidate for 1,3 G1: 1,3 # 6 pairs G1: 6,7 # 4 pairs * PAIR H3: 1,3 ROW 3 C3: 1,3,7,9 # reduction candidate for 1,3 C3: 1,3 # 16 pairs C3: 7,9 # 3 pairs * PAIR H3: 1,3 COL H H8: 1,3,4,5,9 # reduction candidate for 1,3 H8: 1,3 # 9 pairs H8: 4,5,9 # 7 pairs * PAIR I5: 3,4 BLK 6 I6: 3,4,1,8 # reduction candidate for 3,4 I6: 3,4 # 8 pairs I6: 1,8 # 5 pairs * PAIR I5: 3,4 ROW 5 C5: 3,4,5,9 # reduction candidate for 3,4 C5: 3,4 # 7 pairs C5: 5,9 # 5 pairs * PAIR I5: 3,4 COL I I8: 3,4,1 # reduction candidate for 3,4 I8: 3,4 # 10 pairs I8: 1 # 4 pairs * INCONCLUSIVE * SAVE PR GRAPH xx-mith-te3-00023283-base-pr-000.dot * REASONING * PRF # I2: 3,6 => SOL * CNT 1 HDP CHAINS / 21 HYP OPENED -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (F3,H2,H3,I5) * .2.....89...18.2..68....4.52..3.7...76.81..2.....62.7.31....8...726.8...8.6.31..2 * PAIR F3: 3,9 BLK 2 F2: 3,9,4,5,6 # reduction candidate for 3,9 F2: 3,9 # 19 pairs F2: 4,5,6 # 4 pairs * PAIR F3: 3,9 ROW 3 C3: 3,9,1,7 # reduction candidate for 3,9 C3: 3,9 # 15 pairs C3: 1,7 # 5 pairs * PAIR H2: 3,6 BLK 3 G1: 3,6,1,7 # reduction candidate for 3,6 G1: 3,6 # 7 pairs I2: 3,6,7 # reduction candidate for 3,6 I2: 3,6 => SOLVED * 123456789457189236689273415241397658765814923938562174314925867572648391896731542 * DURATION: 0:00:01.032242 START: 09:34:54.845040 END: 09:34:55.877282 2025-04-04 * SOLUTION FOUND * SAVE PR GRAPH xx-mith-te3-00023283-base-pr-001.dot * REASONING * PRF # I2: 3,6 => SOL * STA I2: 3,6 * CNT 1 HDP CHAINS / 6 HYP OPENED
Header Info
rating: 4744; r2: 106404; index: 23283
Solution
position: 123456789457189236689273415241397658765814923938562174314925867572648391896731542 solved
See section 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: 3,9 => UNS * INC # F2: 4,5,6 => UNS * INC # C3: 3,9 => UNS * INC # C3: 1,7 => UNS * INC # G1: 3,6 => UNS * PRF # I2: 3,6 => SOL * INC # I2: 7 => UNS * INC # F2: 3,6 => UNS * INC # F2: 4,5,9 => UNS * INC # G1: 1,3 => UNS * INC # G1: 6,7 => UNS * INC # C3: 1,3 => UNS * INC # C3: 7,9 => UNS * INC # H8: 1,3 => UNS * INC # H8: 4,5,9 => UNS * INC # I6: 3,4 => UNS * INC # I6: 1,8 => UNS * INC # C5: 3,4 => UNS * INC # C5: 5,9 => UNS * INC # I8: 3,4 => UNS * INC # I8: 1 => UNS * CNT 21 HDP CHAINS / 21 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # F2: 3,9 => UNS * INC # F2: 4,5,6 => UNS * INC # C3: 3,9 => UNS * INC # C3: 1,7 => UNS * INC # G1: 3,6 => UNS * PRF # I2: 3,6 => SOL * STA I2: 3,6 * CNT 6 HDP CHAINS / 6 HYP OPENED