Analysis of xx-ph-00032928-2012_04-base.sdk

Contents

Original Sudoku

level: deep

Original Sudoku

position: ........1....23.45..25..6....14....2.3...7...8...9......46...5..7..8.2..9........ initial

Autosolve

position: .......21....23.45..25..6....14....2.3...7...8...9......46...5..7..8.2..9........ autosolve
Autosolve

Pair Reduction Variants

Deep Pair Reduction

Deep Pair Reduction

Time used: 0:00:00.171688

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Time used: 0:00:00.000013

List of important HDP chains detected for A5,B6: 4..:

* DIS # A5: 4 # D9: 1,3 => CTR => D9: 7
* DIS # A5: 4 + D9: 7 # D8: 9 => CTR => D8: 1,3
* PRF # A5: 4 + D9: 7 + D8: 1,3 # B1: 8,9 => SOL
* STA # A5: 4 + D9: 7 + D8: 1,3 + B1: 8,9
* CNT   3 HDP CHAINS /  20 HYP OPENED

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

Details

This sudoku is deep. Here is some information that may be helpful on how to proceed.

Positions

........1....23.45..25..6....14....2.3...7...8...9......46...5..7..8.2..9........ initial
.......21....23.45..25..6....14....2.3...7...8...9......46...5..7..8.2..9........ autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* PAIRS (2)
A5: 2,4
B6: 2,4

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
A5,B6: 2.. / A5 = 2  =>  2 pairs (_) / B6 = 2  =>  5 pairs (_)
A5,D5: 2.. / A5 = 2  =>  2 pairs (_) / D5 = 2  =>  5 pairs (_)
A5,A7: 2.. / A5 = 2  =>  2 pairs (_) / A7 = 2  =>  5 pairs (_)
E4,D6: 3.. / E4 = 3  =>  4 pairs (_) / D6 = 3  =>  4 pairs (_)
A5,B6: 4.. / A5 = 4  =>  5 pairs (_) / B6 = 4  =>  2 pairs (_)
F8,I8: 4.. / F8 = 4  =>  2 pairs (_) / I8 = 4  =>  2 pairs (_)
E1,F1: 6.. / E1 = 6  =>  4 pairs (_) / F1 = 6  =>  4 pairs (_)
A4,C6: 7.. / A4 = 7  =>  4 pairs (_) / C6 = 7  =>  3 pairs (_)
F4,D5: 8.. / F4 = 8  =>  3 pairs (_) / D5 = 8  =>  3 pairs (_)
B4,C5: 9.. / B4 = 9  =>  3 pairs (_) / C5 = 9  =>  3 pairs (_)
* DURATION: 0:00:07.710894  START: 02:10:35.146838  END: 02:10:42.857732 2020-12-12
* CP COUNT: (10)
* INCONCLUSIVE

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
A5,B6: 4.. / A5 = 4 ==>  0 pairs (*) / B6 = 4  =>  0 pairs (X)
* DURATION: 0:00:22.289150  START: 02:10:43.690144  END: 02:11:05.979294 2020-12-12
* REASONING A5,B6: 4..
* DIS # A5: 4 # D9: 1,3 => CTR => D9: 7
* DIS # A5: 4 + D9: 7 # D8: 9 => CTR => D8: 1,3
* PRF # A5: 4 + D9: 7 + D8: 1,3 # B1: 8,9 => SOL
* STA # A5: 4 + D9: 7 + D8: 1,3 + B1: 8,9
* CNT   3 HDP CHAINS /  20 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

32928;2012_04;dob;22;11.30;1.20;1.20

Appendix: Full HDP Chains

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for A5,B6: 4..:

* INC # A5: 4 # G6: 1,3 => UNS
* INC # A5: 4 # H6: 1,3 => UNS
* INC # A5: 4 # D8: 1,3 => UNS
* DIS # A5: 4 # D9: 1,3 => CTR => D9: 7
* INC # A5: 4 + D9: 7 # D8: 1,3 => UNS
* DIS # A5: 4 + D9: 7 # D8: 9 => CTR => D8: 1,3
* INC # A5: 4 + D9: 7 + D8: 1,3 # G6: 1,3 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # H6: 1,3 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # B9: 1,8 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # B9: 5,6 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # G7: 1,8 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # G7: 3,7 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # B2: 1,8 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # B2: 6,9 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # A1: 3,7 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # C1: 3,7 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # H3: 3,7 => UNS
* INC # A5: 4 + D9: 7 + D8: 1,3 # I3: 3,7 => UNS
* PRF # A5: 4 + D9: 7 + D8: 1,3 # B1: 8,9 => SOL
* STA # A5: 4 + D9: 7 + D8: 1,3 + B1: 8,9
* CNT  19 HDP CHAINS /  20 HYP OPENED