Analysis of xx-ph-00247961-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..1....2.9.9...3...5.8.6....7..48.... initial

Autosolve

position: ........1.....2..3..4.5..6........7...78...5..1....2.9.9...3...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.800377

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..1....2.9.9...3...5.8.6....7..48....`	initial
`........1.....2..3..4.5..6........7...78...5..1....2.9.9...3...5.8.6....7..48....`	autosolve
`682374591175692843934158762359216478247839156816745239491523687528967314763481925`	solved

Classification

level: hard

Pairing Analysis

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

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
G4,G5: 1.. / G4 = 1  =>  1 pairs (_) / G5 = 1  =>  1 pairs (_)
H1,I3: 2.. / H1 = 2  =>  2 pairs (_) / I3 = 2  =>  3 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.547082  START: 16:05:24.192961  END: 16:05:32.740043 2020-12-23
* CP COUNT: (10)
* INCONCLUSIVE

* DEEP PAIR REDUCTION
* DURATION: 0:00:11.638993  START: 16:05:41.404320  END: 16:05:53.043313 2020-12-23
* SOLUTION FOUND
* SAVE PR GRAPH xx-ph-00247961-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

247961;12_12_03;dob;21;11.30;11.30;2.60

Solution

position: 682374591175692843934158762359216478247839156816745239491523687528967314763481925 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: 3,8 => UNS
* PRF # G4: 4,6 # I7: 2,7 => SOL
* STA # G4: 4,6 + I7: 2,7
* CNT  11 HDP CHAINS /  12 HYP OPENED