Analysis of xx-ph-00247960-12_12_03-base.sdk

Contents

Original Sudoku
Autosolve
Pair Reduction Variants
Details
Solution
Appendix: Full HDP Chains

Original Sudoku

level: hard

position: ........1.....2..3..4.5..6........7...78...5..3....2.9.9...1...5.8.6....7..48.... initial

Autosolve

position: ........1.....2..3..4.5..6........7...78...5..3....2.9.9...1...5.8.6....7..48.... autosolve

Pair Reduction Variants

Pair Reduction Analysis

See Appendix: Full HDP Chains for full list of HDP chains.

Pair Reduction

See Appendix: Full HDP Chains for full list of HDP chains.

Deep Pair Reduction

Time used: 0:00:11.595885

The following important HDP chains were detected:

* PRF # G4: 4,6 # I7: 2,7 => SOL
* STA # G4: 4,6 + I7: 2,7
* CNT   1 HDP CHAINS /  12 HYP OPENED

See Appendix: Full HDP Chains for full list of HDP chains.

Details

Positions

`........1.....2..3..4.5..6........7...78...5..3....2.9.9...1...5.8.6....7..48....`	initial
`........1.....2..3..4.5..6........7...78...5..3....2.9.9...1...5.8.6....7..48....`	autosolve
`382674591675192843914358762159236478247819356836745219493521687528967134761483925`	solved

Classification

level: hard

Pairing Analysis

--------------------------------------------------
* PAIRS (1)
I5: 4,6

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
H1,I3: 2.. / H1 = 2  =>  2 pairs (_) / I3 = 2  =>  3 pairs (_)
G4,G5: 3.. / G4 = 3  =>  1 pairs (_) / G5 = 3  =>  1 pairs (_)
A7,B8: 4.. / A7 = 4  =>  2 pairs (_) / B8 = 4  =>  3 pairs (_)
G1,G2: 5.. / G1 = 5  =>  1 pairs (_) / G2 = 5  =>  1 pairs (_)
D7,F9: 5.. / D7 = 5  =>  2 pairs (_) / F9 = 5  =>  2 pairs (_)
I7,I9: 5.. / I7 = 5  =>  2 pairs (_) / I9 = 5  =>  2 pairs (_)
D7,I7: 5.. / D7 = 5  =>  2 pairs (_) / I7 = 5  =>  2 pairs (_)
F9,I9: 5.. / F9 = 5  =>  2 pairs (_) / I9 = 5  =>  2 pairs (_)
F1,F3: 8.. / F1 = 8  =>  2 pairs (_) / F3 = 8  =>  3 pairs (_)
A6,H6: 8.. / A6 = 8  =>  2 pairs (_) / H6 = 8  =>  8 pairs (_)
* DURATION: 0:00:08.498187  START: 15:53:21.579517  END: 15:53:30.077704 2020-12-23
* CP COUNT: (10)
* INCONCLUSIVE

* DEEP PAIR REDUCTION
* DURATION: 0:00:11.502381  START: 15:53:38.831264  END: 15:53:50.333645 2020-12-23
* SOLUTION FOUND
* SAVE PR GRAPH xx-ph-00247960-12_12_03-base-pr-002.dot
* REASONING
* PRF # G4: 4,6 # I7: 2,7 => SOL
* STA # G4: 4,6 + I7: 2,7
* CNT   1 HDP CHAINS /  12 HYP OPENED

Header Info

247960;12_12_03;dob;21;11.30;11.30;2.60

Solution

position: 382674591675192843914358762159236478247819356836745219493521687528967134761483925 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 # G4: 4,6 => UNS
* INC # I4: 4,6 => UNS
* INC # G5: 4,6 => UNS
* INC # A5: 4,6 => UNS
* INC # B5: 4,6 => UNS
* INC # F5: 4,6 => UNS
* INC # I7: 4,6 => UNS
* INC # I7: 2,5,7,8 => UNS
* CNT   8 HDP CHAINS /   8 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # G4: 4,6 => UNS
* INC # I4: 4,6 => UNS
* INC # G5: 4,6 => UNS
* INC # A5: 4,6 => UNS
* INC # B5: 4,6 => UNS
* INC # F5: 4,6 => UNS
* INC # I7: 4,6 => UNS
* INC # I7: 2,5,7,8 => UNS
* CNT   8 HDP CHAINS /   8 HYP OPENED

A3. Deep Pair Reduction

Full list of HDP chains traversed:

* INC # G4: 4,6 => UNS
* INC # I4: 4,6 => UNS
* INC # G5: 4,6 => UNS
* INC # A5: 4,6 => UNS
* INC # B5: 4,6 => UNS
* INC # F5: 4,6 => UNS
* INC # I7: 4,6 => UNS
* INC # I7: 2,5,7,8 => UNS
* INC # G4: 4,6 # B3: 2,7 => UNS
* INC # G4: 4,6 # B3: 1,8 => UNS
* PRF # G4: 4,6 # I7: 2,7 => SOL
* STA # G4: 4,6 + I7: 2,7
* CNT  11 HDP CHAINS /  12 HYP OPENED