Analysis of xx-top500-450-base.sdk
Original Sudoku
level: deep
position: ...3..71...6.5................1.73...85.........4......6..2...87.....4..1........ initial
Autosolve
position: ...3..71...6.5................1.73...85.........4.5....6..2...87.....4..1........ autosolve
Pair Reduction Variants
Pair Reduction Analysis
The following important HDP chains were detected:
* DIS # B3: 1,7 => CTR => B3: 3 * DIS # E3: 4,6,9 => CTR => E3: 1,7 * DIS # B3: 1,7 => CTR => B3: 3 * CNT 3 HDP CHAINS / 8 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Pair Reduction
The following important HDP chains were detected:
* DIS # B3: 1,7 => CTR => B3: 3 * DIS B3: 3 # E3: 4,6,9 => CTR => E3: 1,7 * STA B3: 3 + E3: 1,7 * CNT 2 HDP CHAINS / 4 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Pair Reduction Position
position: ...3..71...6.5.....3..........1.73...85.........4.5....6..2...87.....4..1........ pair_reduction
See section Pair Reduction for the HDP chains leading to this result.
Deep Constraint Pair Analysis
Time used: 0:00:00.000013
List of important HDP chains detected for H2,I2: 3..:
* DIS # H2: 3 # F8: 1,3 => CTR => F8: 6,8,9 * DIS # H2: 3 + F8: 6,8,9 # E8: 6,9 => CTR => E8: 1,3 * DIS # H2: 3 + F8: 6,8,9 + E8: 1,3 # E9: 3,7 => CTR => E9: 4,6,9 * PRF # H2: 3 + F8: 6,8,9 + E8: 1,3 + E9: 4,6,9 => SOL * STA H2: 3 * CNT 4 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
| ...3..71...6.5................1.73...85.........4......6..2...87.....4..1........ | initial |
| ...3..71...6.5................1.73...85.........4.5....6..2...87.....4..1........ | autosolve |
| ...3..71...6.5.....3..........1.73...85.........4.5....6..2...87.....4..1........ | pair_reduction |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * PAIRS (3) C3: 1,7 B6: 1,7 C6: 1,7 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) B6,C6: 1.. / B6 = 1 => 0 pairs (*) / C6 = 1 => 0 pairs (X) G5,I5: 1.. / G5 = 1 => 0 pairs (X) / I5 = 1 => 0 pairs (_) G7,I8: 1.. / G7 = 1 => 0 pairs (*) / I8 = 1 => 0 pairs (X) B2,F2: 1.. / B2 = 1 => 0 pairs (X) / F2 = 1 => 0 pairs (_) F7,G7: 1.. / F7 = 1 => 0 pairs (X) / G7 = 1 => 0 pairs (_) C3,C6: 1.. / C3 = 1 => 0 pairs (*) / C6 = 1 => 0 pairs (X) E3,E8: 1.. / E3 = 1 => 0 pairs (X) / E8 = 1 => 0 pairs (_) G5,G7: 1.. / G5 = 1 => 0 pairs (X) / G7 = 1 => 0 pairs (_) I5,I8: 1.. / I5 = 1 => 0 pairs (*) / I8 = 1 => 0 pairs (X) D5,F5: 2.. / D5 = 2 => 3 pairs (_) / F5 = 2 => 4 pairs (_) B2,B3: 3.. / B2 = 3 => 0 pairs (X) / B3 = 3 => 4 pairs (_) A5,A6: 3.. / A5 = 3 => 0 pairs (X) / A6 = 3 => 3 pairs (_) A6,E6: 3.. / A6 = 3 => 3 pairs (_) / E6 = 3 => 0 pairs (X) H4,I4: 5.. / H4 = 5 => 3 pairs (_) / I4 = 5 => 3 pairs (_) B6,C6: 7.. / B6 = 7 => 0 pairs (X) / C6 = 7 => 0 pairs (_) H5,I5: 7.. / H5 = 7 => 0 pairs (*) / I5 = 7 => 0 pairs (X) B2,D2: 7.. / B2 = 7 => 0 pairs (*) / D2 = 7 => 0 pairs (X) D7,H7: 7.. / D7 = 7 => 0 pairs (*) / H7 = 7 => 0 pairs (X) C3,C6: 7.. / C3 = 7 => 0 pairs (X) / C6 = 7 => 0 pairs (_) E3,E9: 7.. / E3 = 7 => 0 pairs (*) / E9 = 7 => 0 pairs (X) I5,I9: 7.. / I5 = 7 => 0 pairs (X) / I9 = 7 => 0 pairs (_) E4,E6: 8.. / E4 = 8 => 3 pairs (_) / E6 = 8 => 0 pairs (X) C8,C9: 8.. / C8 = 8 => 3 pairs (_) / C9 = 8 => 3 pairs (_) A1,F1: 8.. / A1 = 8 => 3 pairs (_) / F1 = 8 => 3 pairs (_) E4,H4: 8.. / E4 = 8 => 3 pairs (_) / H4 = 8 => 0 pairs (X) * DURATION: 0:00:45.336469 START: 18:06:49.280419 END: 18:07:34.616888 2017-05-04 * CP COUNT: (25) * SOLUTION FOUND -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) H2,I2: 3.. / H2 = 3 ==> 0 pairs (*) / I2 = 3 => 0 pairs (X) * DURATION: 0:01:16.972657 START: 18:07:48.117590 END: 18:09:05.090247 2017-05-04 * REASONING H2,I2: 3.. * DIS # H2: 3 # F8: 1,3 => CTR => F8: 6,8,9 * DIS # H2: 3 + F8: 6,8,9 # E8: 6,9 => CTR => E8: 1,3 * DIS # H2: 3 + F8: 6,8,9 + E8: 1,3 # E9: 3,7 => CTR => E9: 4,6,9 * PRF # H2: 3 + F8: 6,8,9 + E8: 1,3 + E9: 4,6,9 => SOL * STA H2: 3 * CNT 4 HDP CHAINS / 6 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
Header Info
Top 500 Minimum 17 450 solution: 549368712276951834831274569692187345485632971317495286964723158728516493153849627 info: 95365 FNBHYK S8.f 44580 http://www.sfsudoku.com/su17ExtremeDiff500.txt from http://www.minimumsudoku.com/
Appendix: Full HDP Chains
A1. Pair Reduction Analysis
Full list of HDP chains traversed:
* INC # B2: 1,7 => UNS * DIS # B3: 1,7 => CTR => B3: 3 * INC # B3: 3 => UNS * INC # E3: 1,7 => UNS * DIS # E3: 4,6,9 => CTR => E3: 1,7 * INC # B2: 1,7 => UNS * DIS # B3: 1,7 => CTR => B3: 3 * INC # B3: 3 => UNS * CNT 8 HDP CHAINS / 8 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # B2: 1,7 => UNS * DIS # B3: 1,7 => CTR => B3: 3 * INC B3: 3 # E3: 1,7 => UNS * DIS B3: 3 # E3: 4,6,9 => CTR => E3: 1,7 * STA B3: 3 + E3: 1,7 * CNT 4 HDP CHAINS / 4 HYP OPENED
A3. Deep Constraint Pair Analysis
Full list of HDP chains traversed for H2,I2: 3..:
* INC # H2: 3 # E8: 1,3 => UNS * DIS # H2: 3 # F8: 1,3 => CTR => F8: 6,8,9 * INC # H2: 3 + F8: 6,8,9 # E8: 1,3 => UNS * DIS # H2: 3 + F8: 6,8,9 # E8: 6,9 => CTR => E8: 1,3 * DIS # H2: 3 + F8: 6,8,9 + E8: 1,3 # E9: 3,7 => CTR => E9: 4,6,9 * PRF # H2: 3 + F8: 6,8,9 + E8: 1,3 + E9: 4,6,9 => SOL * STA H2: 3 * CNT 6 HDP CHAINS / 6 HYP OPENED