Analysis of xx-top500-397-base.sdk

Contents

Original Sudoku

level: deep

Original Sudoku

position: 21.3.........6..5..........3.....7.2..4.5..........1.....1.2.8..36.........7..... initial

Autosolve

position: 21.3.........6..5..........3.....7.2..4.5..........1.5...1.2.8..36.........7.6... autosolve
Autosolve

Pair Reduction Variants

Deep Constraint Pair Analysis

Deep Constraint Pair Analysis

Time used: 0:00:00.000005

List of important HDP chains detected for E3,E6: 2..:

* DIS # E3: 2 # B2: 4,9 => CTR => B2: 8
* DIS # E3: 2 + B2: 8 # B3: 4,9 => CTR => B3: 6
* PRF # E3: 2 + B2: 8 + B3: 6 # A3: 5 => SOL
* STA # E3: 2 + B2: 8 + B3: 6 + A3: 5
* CNT   3 HDP CHAINS /   6 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

21.3.........6..5..........3.....7.2..4.5..........1.....1.2.8..36.........7..... initial
21.3.........6..5..........3.....7.2..4.5..........1.5...1.2.8..36.........7.6... autosolve

Classification

level: deep

Pairing Analysis

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
C4,A5: 1.. / C4 = 1  =>  0 pairs (X) / A5 = 1  => 10 pairs (_)
F2,I2: 1.. / F2 = 1  => 10 pairs (_) / I2 = 1  =>  0 pairs (_)
A5,F5: 1.. / A5 = 1  => 10 pairs (_) / F5 = 1  =>  0 pairs (X)
C4,C9: 1.. / C4 = 1  =>  0 pairs (X) / C9 = 1  => 10 pairs (_)
E3,E4: 1.. / E3 = 1  =>  0 pairs (X) / E4 = 1  => 10 pairs (_)
B9,C9: 2.. / B9 = 2  => 10 pairs (_) / C9 = 2  =>  0 pairs (X)
G8,H8: 2.. / G8 = 2  =>  0 pairs (X) / H8 = 2  =>  3 pairs (_)
D2,G2: 2.. / D2 = 2  =>  0 pairs (X) / G2 = 2  =>  3 pairs (_)
B5,D5: 2.. / B5 = 2  =>  0 pairs (X) / D5 = 2  => 10 pairs (_)
C6,C9: 2.. / C6 = 2  => 10 pairs (_) / C9 = 2  =>  0 pairs (X)
E3,E6: 2.. / E3 = 2  => 10 pairs (_) / E6 = 2  =>  0 pairs (X)
H3,H8: 2.. / H3 = 2  =>  0 pairs (X) / H8 = 2  =>  3 pairs (_)
C2,C3: 3.. / C2 = 3  =>  0 pairs (_) / C3 = 3  =>  0 pairs (_)
F5,F6: 3.. / F5 = 3  =>  0 pairs (X) / F6 = 3  =>  0 pairs (_)
E7,E9: 3.. / E7 = 3  =>  0 pairs (_) / E9 = 3  =>  4 pairs (_)
F6,H6: 3.. / F6 = 3  =>  0 pairs (_) / H6 = 3  =>  0 pairs (X)
H4,H6: 4.. / H4 = 4  =>  0 pairs (_) / H6 = 4  =>  1 pairs (_)
B4,C4: 5.. / B4 = 5  =>  0 pairs (_) / C4 = 5  =>  0 pairs (X)
D8,F8: 5.. / D8 = 5  =>  0 pairs (_) / F8 = 5  =>  1 pairs (_)
G7,G9: 5.. / G7 = 5  =>  2 pairs (_) / G9 = 5  =>  0 pairs (_)
C1,F1: 5.. / C1 = 5  =>  1 pairs (_) / F1 = 5  =>  0 pairs (_)
D3,D8: 5.. / D3 = 5  =>  1 pairs (_) / D8 = 5  =>  0 pairs (_)
A3,B3: 6.. / A3 = 6  =>  1 pairs (_) / B3 = 6  =>  0 pairs (_)
G7,I7: 6.. / G7 = 6  =>  0 pairs (_) / I7 = 6  =>  0 pairs (_)
G5,I5: 8.. / G5 = 8  =>  0 pairs (_) / I5 = 8  =>  0 pairs (_)
* DURATION: 0:00:30.269268  START: 16:23:42.093916  END: 16:24:12.363184 2017-05-04
* CP COUNT: (25)
* CLUE FOUND

--------------------------------------------------
* DEEP CONSTRAINT PAIRS (PAIR REDUCTION)
E3,E6: 2.. / E3 = 2 ==>  0 pairs (*) / E6 = 2  =>  0 pairs (X)
* DURATION: 0:00:38.803573  START: 16:24:12.363771  END: 16:24:51.167344 2017-05-04
* REASONING E3,E6: 2..
* DIS # E3: 2 # B2: 4,9 => CTR => B2: 8
* DIS # E3: 2 + B2: 8 # B3: 4,9 => CTR => B3: 6
* PRF # E3: 2 + B2: 8 + B3: 6 # A3: 5 => SOL
* STA # E3: 2 + B2: 8 + B3: 6 + A3: 5
* CNT   3 HDP CHAINS /   6 HYP OPENED
* DCP COUNT: (1)
* SOLUTION FOUND

Header Info

Top 500 Minimum 17 397

solution: 219385476487961253563427819358614792174259368692873145945132687736548921821796534
info: 84504    FNBWXYK  S8.f     28303

http://www.sfsudoku.com/su17ExtremeDiff500.txt from http://www.minimumsudoku.com/

Appendix: Full HDP Chains

A1. Deep Constraint Pair Analysis

Full list of HDP chains traversed for E3,E6: 2..:

* DIS # E3: 2 # B2: 4,9 => CTR => B2: 8
* INC # E3: 2 + B2: 8 # A3: 4,9 => UNS
* DIS # E3: 2 + B2: 8 # B3: 4,9 => CTR => B3: 6
* INC # E3: 2 + B2: 8 + B3: 6 # A3: 4,9 => UNS
* PRF # E3: 2 + B2: 8 + B3: 6 # A3: 5 => SOL
* STA # E3: 2 + B2: 8 + B3: 6 + A3: 5
* CNT   5 HDP CHAINS /   6 HYP OPENED