Contents
level: medium
The following important HDP chains were detected:
* DIS # A2: 2,5 => CTR => A2: 1,3 * DIS # H1: 3,4 => CTR => H1: 1,2,5 * CNT 2 HDP CHAINS / 19 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
The following important HDP chains were detected:
* DIS # A2: 2,5 => CTR => A2: 1,3 * DIS A2: 1,3 # E5: 5,8 => CTR => E5: 1,7 * DIS A2: 1,3 + E5: 1,7 # I5: 2,7 => CTR => I5: 5,8 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 # I6: 3,5 => CTR => I6: 7,8 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 # E6: 3,5 => CTR => E6: 4,7,8,9 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 # H1: 1,2,4 => CTR => H1: 3,5 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 # A3: 2 => CTR => A3: 1,3 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 # I2: 1,3 => CTR => I2: 2,6,8 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 # G3: 3,4 => CTR => G3: 8,9 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 # F1: 3,4 => CTR => F1: 1,2 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 # E1: 1 => CTR => E1: 3,4 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 # G2: 6,8 => CTR => G2: 3,4 * PRF A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 + G2: 3,4 # D3: 4 => SOL * STA A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 + G2: 3,4 + D3: 4 * CNT 13 HDP CHAINS / 34 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
9867........9...7.....65...7......6443.....9...2...1...4.3...8...1.2.........65.. | initial |
9867........9...7.....65...71.....6443.6...9...2...1...4.3...8...1.2.........65.. | autosolve |
986731452154982376327465918719253864438617295562894137245379681691528743873146529 | solved |
level: medium
-------------------------------------------------- * PAIRS (5) B2: 2,5 B3: 2,7 C5: 5,8 H6: 3,5 H8: 3,4 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) A2,A3: 1.. / A2 = 1 => 6 pairs (_) / A3 = 1 => 0 pairs (X) E5,F5: 1.. / E5 = 1 => 6 pairs (_) / F5 = 1 => 7 pairs (_) D3,D9: 1.. / D3 = 1 => 13 pairs (_) / D9 = 1 => 8 pairs (_) D3,D4: 2.. / D3 = 2 => 14 pairs (_) / D4 = 2 => 6 pairs (_) C2,C3: 4.. / C2 = 4 => 6 pairs (_) / C3 = 4 => 6 pairs (_) H1,I1: 5.. / H1 = 5 => 7 pairs (_) / I1 = 5 => 9 pairs (_) E7,D8: 5.. / E7 = 5 => 8 pairs (_) / D8 = 5 => 7 pairs (_) H1,H6: 5.. / H1 = 5 => 7 pairs (_) / H6 = 5 => 9 pairs (_) G2,I2: 6.. / G2 = 6 => 5 pairs (_) / I2 = 6 => 5 pairs (_) A6,B6: 6.. / A6 = 6 => 7 pairs (_) / B6 = 6 => 8 pairs (_) B6,B8: 6.. / B6 = 6 => 8 pairs (_) / B8 = 6 => 7 pairs (_) B3,C3: 7.. / B3 = 7 => 6 pairs (_) / C3 = 7 => 11 pairs (_) G3,I3: 9.. / G3 = 9 => 5 pairs (_) / I3 = 9 => 5 pairs (_) C4,B6: 9.. / C4 = 9 => 8 pairs (_) / B6 = 9 => 9 pairs (_) * DURATION: 0:00:09.521610 START: 14:45:36.556590 END: 14:45:46.078200 2019-04-28 * CP COUNT: (14) * CLUE FOUND -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (B2,B3,C5,H6,H8) * 9867........9...7.....65...71.....6443.6...9...2...1...4.3...8...1.2.........65.. * PAIR B2: 2,5 BLK 1 A2: 2,5,1,3 # reduction candidate for 2,5 A2: 2,5 => CTR * 98673421552.9...7617.265...7195823644356..89286249315724735.681.51.2.....9.14652. A2: 1,3 # 6 pairs * PAIR B3: 2,7 COL B B9: 2,7,9 # reduction candidate for 2,7 B9: 9 # 9 pairs B9: 2,7 # 8 pairs * PAIR C5: 5,8 BLK 4 C4: 5,8,9 # reduction candidate for 5,8 C4: 5,8 # 9 pairs A6: 5,8,6 # reduction candidate for 5,8 A6: 5,8 # 8 pairs * PAIR C5: 5,8 ROW 5 E5: 5,8,1,7 # reduction candidate for 5,8 E5: 5,8 # 17 pairs I5: 5,8,2,7 # reduction candidate for 5,8 I5: 5,8 # 9 pairs * PAIR H6: 3,5 BLK 6 I6: 3,5,7,8 # reduction candidate for 3,5 I6: 3,5 # 12 pairs I6: 7,8 # 6 pairs * PAIR H6: 3,5 ROW 6 E6: 3,5,4,7,8,9 # reduction candidate for 3,5 E6: 3,5 # 12 pairs E6: 4,7,8,9 # 5 pairs * PAIR H6: 3,5 COL H H1: 3,5,1,2,4 # reduction candidate for 3,5 H1: 1,2,4 # 9 pairs H1: 3,5 # 8 pairs * PAIR H8: 3,4 BLK 9 G8: 3,4,6,7,9 # reduction candidate for 3,4 G8: 3,4 # 8 pairs H9: 3,4,1,2 # reduction candidate for 3,4 H9: 3,4 # 13 pairs * PAIR H8: 3,4 COL H H1: 3,4,1,2,5 # reduction candidate for 3,4 H1: 3,4 => CTR * 9867....515.9...7..27.65.1.71.2...6443.6...9...2...15.249357681561.2.....7.146529 H1: 1,2,5 # 5 pairs H3: 3,4,1,2 # reduction candidate for 3,4 H3: 3,4 # 13 pairs * INCONCLUSIVE * SAVE PR GRAPH zz-www.sudokuwiki.org-0280-base-pr-000.dot * REASONING * DIS # A2: 2,5 => CTR => A2: 1,3 * DIS # H1: 3,4 => CTR => H1: 1,2,5 * CNT 2 HDP CHAINS / 19 HYP OPENED -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (B2,B3,C5,H6,H8) * 9867........9...7.....65...71.....6443.6...9...2...1...4.3...8...1.2.........65.. * PAIR B2: 2,5 BLK 1 A2: 2,5,1,3 # reduction candidate for 2,5 A2: 2,5 => CTR * 98673421552.9...7617.265...7195823644356..89286249315724735.681.51.2.....9.14652. * PAIR B3: 2,7 COL B B9: 2,7,9 # reduction candidate for 2,7 B9: 9 # 19 pairs B9: 2,7 # 10 pairs * PAIR C5: 5,8 BLK 4 C4: 5,8,9 # reduction candidate for 5,8 C4: 5,8 # 11 pairs A6: 5,8,6 # reduction candidate for 5,8 A6: 5,8 # 9 pairs * PAIR C5: 5,8 ROW 5 E5: 5,8,1,7 # reduction candidate for 5,8 E5: 5,8 => CTR * 98671..25.5.9.2.7.....65...71.2...6443.6.1.9...2...15.54.3...81..152.......1.65.. I5: 5,8,2,7 # reduction candidate for 5,8 I5: 5,8 # 10 pairs * RESTART * PAIR C5: 5,8 ROW 5 I5: 5,8,2,7 # reduction candidate for 5,8 I5: 2,7 => CTR * 9867...25.5.9.2.7.....65...71.25..644356...9...2...15.54.3...81..152.......1.65.. * PAIR RESTART * PAIR C5: 5,8 BLK 4 C4: 5,8,9 # reduction candidate for 5,8 C4: 5,8 # 17 pairs A6: 5,8,6 # reduction candidate for 5,8 A6: 5,8 # 13 pairs * PAIR H6: 3,5 BLK 6 I6: 3,5,7,8 # reduction candidate for 3,5 I6: 3,5 => CTR * 9867........9...7....2658.971....264435612798..2...1...4.3...8...1.2.......1.65.. * PAIR H6: 3,5 ROW 6 E6: 3,5,4,7,8,9 # reduction candidate for 3,5 E6: 3,5 => CTR * 9867.3425.5.9.2876...8659..71.25.3644356..298..243.15754.3..682..1524739...1.65.. * PAIR H6: 3,5 COL H H1: 3,5,1,2,4 # reduction candidate for 3,5 H1: 1,2,4 => CTR * 98673142515.9.2876...865...71.25.3644356..298..2..315754.3..682..1524739.....6541 * PAIR RESTART * LEVEL 0 PASS 1 ROUND 2 (AUTO SOLVE) (A2,B2,B3,C5,D8,E5,G1,G5,H1,H3,H6,H9,I5,I6) * 9867........9...7.....65...71.....6443.6...9...2...1...4.3...8...1.2..4......65.. * PAIR A2: 1,3 BLK 1 A3: 1,3,2 # reduction candidate for 1,3 A3: 2 => CTR * 9867.....1..9...7.27..65.1.71.2...6443.6..29...2...1.7.4.3...82..1.2..4......65.. * PAIR A2: 1,3 ROW 2 E2: 1,3,4,8 # reduction candidate for 1,3 E2: 1,3 # 21 pairs F2: 1,3,2,4,8 # reduction candidate for 1,3 F2: 1,3 # 22 pairs I2: 1,3,2,6,8 # reduction candidate for 1,3 I2: 1,3 => CTR * 9867324511259..673374165.2.7192538644386..295..2...137.473..98...1.2.34...3..65.. * PAIR RESTART * PAIR A2: 1,3 ROW 2 E2: 1,3,4,8 # reduction candidate for 1,3 E2: 1,3 # 21 pairs F2: 1,3,2,4,8 # reduction candidate for 1,3 F2: 1,3 # 22 pairs * PAIR G1: 3,4 BLK 3 G2: 3,4,6,8 # reduction candidate for 3,4 G2: 3,4 # 20 pairs G3: 3,4,8,9 # reduction candidate for 3,4 G3: 3,4 => CTR * 9867........9...7....865..971.2...6443.6..29...2...1.7.4.3...8...152..4...314652. * RESTART * PAIR G1: 3,4 BLK 3 G2: 3,4,6,8 # reduction candidate for 3,4 G2: 6,8 # 22 pairs G2: 3,4 # 20 pairs * PAIR G1: 3,4 ROW 1 E1: 3,4,1 # reduction candidate for 3,4 E1: 3,4 # 23 pairs F1: 3,4,1,2 # reduction candidate for 3,4 F1: 3,4 => CTR * 98671345215498237632746591871.239864438671295..2..413724.3..681..1.2.743873146529 * RESTART * PAIR G1: 3,4 ROW 1 E1: 3,4,1 # reduction candidate for 3,4 E1: 1 => CTR * 9867124..1..9...7.32746591871.2..864438671295..2..413724.3..681..1.2.743.73146529 * PAIR RESTART * PAIR G1: 3,4 BLK 3 G2: 3,4,6,8 # reduction candidate for 3,4 G2: 6,8 => CTR * 98673.45.3..9...7.1...6592371.2.38644386..295..2...137.4.3..78...1.2.34...31.65.. * PAIR H3: 1,2 ROW 3 D3: 1,2,4 # reduction candidate for 1,2 D3: 4 => SOLVED * 986731452154982376327465918719253864438617295562894137245379681691528743873146529 * DURATION: 0:00:23.548137 START: 14:45:53.983553 END: 14:46:17.531690 2019-04-28 * SOLUTION FOUND * SAVE PR GRAPH zz-www.sudokuwiki.org-0280-base-pr-001.dot * REASONING * DIS # A2: 2,5 => CTR => A2: 1,3 * DIS A2: 1,3 # E5: 5,8 => CTR => E5: 1,7 * DIS A2: 1,3 + E5: 1,7 # I5: 2,7 => CTR => I5: 5,8 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 # I6: 3,5 => CTR => I6: 7,8 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 # E6: 3,5 => CTR => E6: 4,7,8,9 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 # H1: 1,2,4 => CTR => H1: 3,5 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 # A3: 2 => CTR => A3: 1,3 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 # I2: 1,3 => CTR => I2: 2,6,8 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 # G3: 3,4 => CTR => G3: 8,9 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 # F1: 3,4 => CTR => F1: 1,2 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 # E1: 1 => CTR => E1: 3,4 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 # G2: 6,8 => CTR => G2: 3,4 * PRF A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 + G2: 3,4 # D3: 4 => SOL * STA A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 + G2: 3,4 + D3: 4 * CNT 13 HDP CHAINS / 34 HYP OPENED
http://www.sudokuwiki.org/Print_Weekly_Sudoku.asp?unsolvable=280
See section Pair Reduction for the HDP chains leading to this result.
Full list of HDP chains traversed:
* DIS # A2: 2,5 => CTR => A2: 1,3 * INC # A2: 1,3 => UNS * INC # B9: 2,7 => UNS * INC # B9: 9 => UNS * INC # C4: 5,8 => UNS * INC # A6: 5,8 => UNS * INC # E5: 5,8 => UNS * INC # I5: 5,8 => UNS * INC # I6: 3,5 => UNS * INC # I6: 7,8 => UNS * INC # E6: 3,5 => UNS * INC # E6: 4,7,8,9 => UNS * INC # H1: 3,5 => UNS * INC # H1: 1,2,4 => UNS * INC # G8: 3,4 => UNS * INC # H9: 3,4 => UNS * DIS # H1: 3,4 => CTR => H1: 1,2,5 * INC # H1: 1,2,5 => UNS * INC # H3: 3,4 => UNS * CNT 19 HDP CHAINS / 19 HYP OPENED
Full list of HDP chains traversed:
* DIS # A2: 2,5 => CTR => A2: 1,3 * INC A2: 1,3 # B9: 2,7 => UNS * INC A2: 1,3 # B9: 9 => UNS * INC A2: 1,3 # C4: 5,8 => UNS * INC A2: 1,3 # A6: 5,8 => UNS * DIS A2: 1,3 # E5: 5,8 => CTR => E5: 1,7 * INC A2: 1,3 + E5: 1,7 # I5: 5,8 => UNS * INC A2: 1,3 + E5: 1,7 # I5: 5,8 => UNS * DIS A2: 1,3 + E5: 1,7 # I5: 2,7 => CTR => I5: 5,8 * INC A2: 1,3 + E5: 1,7 + I5: 5,8 # C4: 5,8 => UNS * INC A2: 1,3 + E5: 1,7 + I5: 5,8 # A6: 5,8 => UNS * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 # I6: 3,5 => CTR => I6: 7,8 * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 # E6: 3,5 => CTR => E6: 4,7,8,9 * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 # H1: 3,5 => UNS * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 # H1: 1,2,4 => CTR => H1: 3,5 * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 # A3: 1,3 => UNS * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 # A3: 2 => CTR => A3: 1,3 * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 # E2: 1,3 => UNS * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 # F2: 1,3 => UNS * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 # I2: 1,3 => CTR => I2: 2,6,8 * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 # E2: 1,3 => UNS * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 # F2: 1,3 => UNS * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 # G2: 3,4 => UNS * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 # G3: 3,4 => CTR => G3: 8,9 * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 # G2: 3,4 => UNS * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 # G2: 6,8 => UNS * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 # E1: 3,4 => UNS * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 # F1: 3,4 => CTR => F1: 1,2 * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 # E1: 3,4 => UNS * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 # E1: 1 => CTR => E1: 3,4 * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 # G2: 3,4 => UNS * DIS A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 # G2: 6,8 => CTR => G2: 3,4 * INC A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 + G2: 3,4 # D3: 1,2 => UNS * PRF A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 + G2: 3,4 # D3: 4 => SOL * STA A2: 1,3 + E5: 1,7 + I5: 5,8 + I6: 7,8 + E6: 4,7,8,9 + H1: 3,5 + A3: 1,3 + I2: 2,6,8 + G3: 8,9 + F1: 1,2 + E1: 3,4 + G2: 3,4 + D3: 4 * CNT 34 HDP CHAINS / 34 HYP OPENED