Analysis of xx-ph-00752528-12_12_19-base.sdk

Contents

Original Sudoku

level: medium

Original Sudoku

position: ........1..2..3.4.35.46.7......7...4...1..6...2...8.5...5...4...98......2....5.9. initial

Autosolve

position: ........1..2..3.4.35.46.7......7...4...1..6...2...8.5...5...4...98......2....5.9. autosolve
Autosolve

Pair Reduction Variants

Pair Reduction Analysis

Pair Reduction Analysis

The following important HDP chains were detected:

* PRF # F3: 2 => SOL
* PRF # I3: 9 => SOL
* CNT   2 HDP CHAINS /  15 HYP OPENED

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

Pair Reduction

Pair Reduction

The following important HDP chains were detected:

* PRF # F3: 2 => SOL
* STA F3: 2
* CNT   1 HDP CHAINS /   4 HYP OPENED

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

Details

Positions

........1..2..3.4.35.46.7......7...4...1..6...2...8.5...5...4...98......2....5.9. initial
........1..2..3.4.35.46.7......7...4...1..6...2...8.5...5...4...98......2....5.9. autosolve
649587231872913546351462789563279814987154623124638957735891462498326175216745398 solved

Classification

level: medium

Pairing Analysis

--------------------------------------------------
* PAIRS (3)
C3: 1,9
G2: 5,9
H3: 2,8

--------------------------------------------------
* CONSTRAINT PAIRS (AUTO SOLVE)
E2,F3: 1.. / E2 = 1  =>  3 pairs (_) / F3 = 1  =>  4 pairs (_)
C3,F3: 1.. / C3 = 1  =>  3 pairs (_) / F3 = 1  =>  4 pairs (_)
G1,H1: 3.. / G1 = 3  =>  6 pairs (_) / H1 = 3  =>  3 pairs (_)
F5,F8: 4.. / F5 = 4  =>  4 pairs (_) / F8 = 4  =>  4 pairs (_)
A4,A5: 5.. / A4 = 5  =>  3 pairs (_) / A5 = 5  =>  3 pairs (_)
D4,E5: 5.. / D4 = 5  =>  3 pairs (_) / E5 = 5  =>  3 pairs (_)
G8,I8: 5.. / G8 = 5  =>  8 pairs (_) / I8 = 5  =>  4 pairs (_)
A4,D4: 5.. / A4 = 5  =>  3 pairs (_) / D4 = 5  =>  3 pairs (_)
A5,E5: 5.. / A5 = 5  =>  3 pairs (_) / E5 = 5  =>  3 pairs (_)
I2,I8: 5.. / I2 = 5  =>  8 pairs (_) / I8 = 5  =>  4 pairs (_)
H1,I2: 6.. / H1 = 6  => 10 pairs (_) / I2 = 6  =>  4 pairs (_)
H3,I3: 8.. / H3 = 8  =>  3 pairs (_) / I3 = 8  =>  4 pairs (_)
G4,G9: 8.. / G4 = 8  =>  4 pairs (_) / G9 = 8  =>  3 pairs (_)
* DURATION: 0:00:09.258968  START: 12:33:41.921487  END: 12:33:51.180455 2020-12-31
* CP COUNT: (13)
* INCONCLUSIVE

--------------------------------------------------
* PREPARE PR GRAPH
* PAIR REDUCTION ..
* LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (C3,G2,H3)
* ........1..2..3.4.35.46.7......7...4...1..6...2...8.5...5...4...98......2....5.9.
* PAIR C3: 1,9 BLK 1
A2: 1,9,6,7,8                            # reduction candidate for 1,9
A2: 1,9                                  #  4 pairs
A2: 6,7,8                                #  3 pairs
* PAIR C3: 1,9 ROW 3
F3: 1,9,2                                # reduction candidate for 1,9
F3: 2 => SOLVED
* 649587231872913546351462789563279814987154623124638957735891462498326175216745398
F3: 1,9                                  #  6 pairs
* PAIR C3: 1,9 COL C
C4: 1,9,3,6                              # reduction candidate for 1,9
C4: 1,9                                  #  4 pairs
C6: 1,9,3,4,6,7                          # reduction candidate for 1,9
C6: 1,9                                  #  5 pairs
* PAIR G2: 5,9 BLK 3
G1: 5,9,2,3                              # reduction candidate for 5,9
G1: 5,9                                  #  7 pairs
I2: 5,9,6                                # reduction candidate for 5,9
I2: 5,9                                  # 10 pairs
* PAIR G2: 5,9 ROW 2
D2: 5,9,7,8                              # reduction candidate for 5,9
D2: 5,9                                  #  6 pairs
E2: 5,9,1,8                              # reduction candidate for 5,9
E2: 5,9                                  #  7 pairs
* PAIR H3: 2,8 BLK 3
I3: 2,8,9                                # reduction candidate for 2,8
I3: 9 => SOLVED
* 649587231872913546351462789563279814987154623124638957735891462498326175216745398
I3: 2,8                                  #  6 pairs
* PAIR H3: 2,8 COL H
H4: 2,8,1,3                              # reduction candidate for 2,8
H4: 2,8                                  #  7 pairs
H5: 2,8,3,7                              # reduction candidate for 2,8
H5: 2,8                                  #  6 pairs
H7: 2,8,1,3,6,7                          # reduction candidate for 2,8
H7: 2,8                                  # 11 pairs
* INCONCLUSIVE
* SAVE PR GRAPH xx-ph-00752528-12_12_19-base-pr-000.dot
* REASONING
* PRF # F3: 2 => SOL
* PRF # I3: 9 => SOL
* CNT   2 HDP CHAINS /  15 HYP OPENED

--------------------------------------------------
* PREPARE PR GRAPH
* PAIR REDUCTION ..
* LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (C3,G2,H3)
* ........1..2..3.4.35.46.7......7...4...1..6...2...8.5...5...4...98......2....5.9.
* PAIR C3: 1,9 BLK 1
A2: 1,9,6,7,8                            # reduction candidate for 1,9
A2: 1,9                                  #  4 pairs
A2: 6,7,8                                #  3 pairs
* PAIR C3: 1,9 ROW 3
F3: 1,9,2                                # reduction candidate for 1,9
F3: 2 => SOLVED
* 649587231872913546351462789563279814987154623124638957735891462498326175216745398
* DURATION: 0:00:03.293966  START: 12:33:59.383930  END: 12:34:02.677896 2020-12-31
* SOLUTION FOUND
* SAVE PR GRAPH xx-ph-00752528-12_12_19-base-pr-001.dot
* REASONING
* PRF # F3: 2 => SOL
* STA F3: 2
* CNT   1 HDP CHAINS /   4 HYP OPENED

Header Info

752528;12_12_19;dob;23;11.30;11.30;2.80

Solution

position: 649587231872913546351462789563279814987154623124638957735891462498326175216745398 solved
Solution

See section 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 # A2: 1,9 => UNS
* INC # A2: 6,7,8 => UNS
* INC # F3: 1,9 => UNS
* PRF # F3: 2 => SOL
* INC # C4: 1,9 => UNS
* INC # C6: 1,9 => UNS
* INC # G1: 5,9 => UNS
* INC # I2: 5,9 => UNS
* INC # D2: 5,9 => UNS
* INC # E2: 5,9 => UNS
* INC # I3: 2,8 => UNS
* PRF # I3: 9 => SOL
* INC # H4: 2,8 => UNS
* INC # H5: 2,8 => UNS
* INC # H7: 2,8 => UNS
* CNT  15 HDP CHAINS /  15 HYP OPENED

A2. Pair Reduction

Full list of HDP chains traversed:

* INC # A2: 1,9 => UNS
* INC # A2: 6,7,8 => UNS
* INC # F3: 1,9 => UNS
* PRF # F3: 2 => SOL
* STA F3: 2
* CNT   4 HDP CHAINS /   4 HYP OPENED