Analysis of xx-ph-00011367-kz0-base.sdk

Contents

Original Sudoku

level: hard

Original Sudoku

position: 98.7.....6.....7....7.5..8..4..3..2...64..5.......1..4..98..6......4..1......2..3 initial

Autosolve

position: 98.7.....6.....7....7.5..8..4..3..2...64..5.......1..4..98..6......4..1......2..3 autosolve
Autosolve

Pair Reduction Variants

Pair Reduction Analysis

Pair Reduction Analysis

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

Pair Reduction

Pair Reduction

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

Deep Pair Reduction

Deep Pair Reduction

Time used: 0:00:13.937798

The following important HDP chains were detected:

* PRF # A7: 1,7 # A9: 1,7 => SOL
* STA # A7: 1,7 + A9: 1,7
* CNT   1 HDP CHAINS /  29 HYP OPENED

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

Details

Positions

98.7.....6.....7....7.5..8..4..3..2...64..5.......1..4..98..6......4..1......2..3 initial
98.7.....6.....7....7.5..8..4..3..2...64..5.......1..4..98..6......4..1......2..3 autosolve
985716432612384759437259186541637928396428571278591364129873645863945217754162893 solved

Classification

level: hard

Pairing Analysis

--------------------------------------------------
* PAIRS (1)
E7: 1,7

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
A7,H7: 4.. / A7 = 4  =>  2 pairs (_) / H7 = 4  =>  2 pairs (_)
I4,H6: 6.. / I4 = 6  =>  4 pairs (_) / H6 = 6  =>  1 pairs (_)
B8,B9: 6.. / B8 = 6  =>  1 pairs (_) / B9 = 6  =>  1 pairs (_)
H1,H6: 6.. / H1 = 6  =>  4 pairs (_) / H6 = 6  =>  1 pairs (_)
E2,F2: 8.. / E2 = 8  =>  1 pairs (_) / F2 = 8  =>  2 pairs (_)
B5,B6: 9.. / B5 = 9  =>  3 pairs (_) / B6 = 9  =>  2 pairs (_)
* DURATION: 0:00:03.339683  START: 16:22:22.300714  END: 16:22:25.640397 2020-12-01
* CP COUNT: (6)
* INCONCLUSIVE

* DEEP PAIR REDUCTION
* DURATION: 0:00:13.754632  START: 16:22:28.664422  END: 16:22:42.419054 2020-12-01
* SOLUTION FOUND
* SAVE PR GRAPH xx-ph-00011367-kz0-base-pr-002.dot
* REASONING
* PRF # A7: 1,7 # A9: 1,7 => SOL
* STA # A7: 1,7 + A9: 1,7
* CNT   1 HDP CHAINS /  29 HYP OPENED

Header Info

11367;kz0;GP;23;11.30;11.30;9.90

Solution

position: 985716432612384759437259186541637928396428571278591364129873645863945217754162893 solved
Solution

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 # E9: 1,7 => UNS
* INC # E9: 6,9 => UNS
* INC # A7: 1,7 => UNS
* INC # B7: 1,7 => UNS
* CNT   4 HDP CHAINS /   4 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # E9: 1,7 => UNS
* INC # E9: 6,9 => UNS
* INC # A7: 1,7 => UNS
* INC # B7: 1,7 => UNS
* CNT   4 HDP CHAINS /   4 HYP OPENED

A3. Deep Pair Reduction

Full list of HDP chains traversed:

* INC # E9: 1,7 => UNS
* INC # E9: 6,9 => UNS
* INC # A7: 1,7 => UNS
* INC # B7: 1,7 => UNS
* INC # E9: 1,7 # D3: 2,6 => UNS
* INC # E9: 1,7 # D3: 1,3,9 => UNS
* INC # E9: 1,7 # I1: 2,6 => UNS
* INC # E9: 1,7 # I1: 1,5 => UNS
* INC # E9: 1,7 # E6: 2,6 => UNS
* INC # E9: 1,7 # E6: 8,9 => UNS
* INC # E9: 1,7 # A7: 1,7 => UNS
* INC # E9: 1,7 # B7: 1,7 => UNS
* INC # E9: 1,7 # D8: 3,5 => UNS
* INC # E9: 1,7 # F8: 3,5 => UNS
* INC # E9: 1,7 # A7: 3,5 => UNS
* INC # E9: 1,7 # B7: 3,5 => UNS
* INC # E9: 1,7 # A9: 1,7 => UNS
* INC # E9: 1,7 # B9: 1,7 => UNS
* INC # E9: 1,7 => UNS
* INC # E9: 6,9 # A7: 1,7 => UNS
* INC # E9: 6,9 # B7: 1,7 => UNS
* INC # E9: 6,9 # D8: 6,9 => UNS
* INC # E9: 6,9 # F8: 6,9 => UNS
* INC # E9: 6,9 # D9: 6,9 => UNS
* INC # E9: 6,9 # E6: 6,9 => UNS
* INC # E9: 6,9 # E6: 2,7,8 => UNS
* INC # E9: 6,9 => UNS
* PRF # A7: 1,7 # A9: 1,7 => SOL
* STA # A7: 1,7 + A9: 1,7
* CNT  28 HDP CHAINS /  29 HYP OPENED