Contents
level: medium
The following important HDP chains were detected:
* DIS # F3: 4,9 => CTR => F3: 3,6 * DIS # C1: 2,8 => CTR => C1: 4,6 * DIS # F3: 4,6 => CTR => F3: 3,9 * DIS # I1: 6,8 => CTR => I1: 1 * DIS # G2: 6,8 => CTR => G2: 3,5 * DIS # I2: 6,8 => CTR => I2: 1,5 * DIS # G8: 6,8 => CTR => G8: 5 * DIS # G6: 4,9 => CTR => G6: 7 * DIS # G8: 6 => CTR => G8: 5,8 * DIS # G8: 6,8 => CTR => G8: 5 * DIS # H9: 5,8 => CTR => H9: 7 * DIS # I4: 5,8 => CTR => I4: 3,6 * DIS # I5: 5,8 => CTR => I5: 3,6 * CNT 13 HDP CHAINS / 51 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
The following important HDP chains were detected:
* DIS # F3: 4,9 => CTR => F3: 3,6 * DIS F3: 3,6 # C1: 2,8 => CTR => C1: 4,6 * DIS F3: 3,6 + C1: 4,6 # I1: 6,8 => CTR => I1: 1 * DIS F3: 3,6 + C1: 4,6 + I1: 1 # G4: 7 => CTR => G4: 4,9 * DIS F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # A6: 3,8 => CTR => A6: 4 * DIS F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 # C7: 5 => CTR => C7: 3,8 * DIS F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 # H9: 5,8 => CTR => H9: 7 * PRF F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 + H9: 7 => SOL * STA F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 + H9: 7 * CNT 8 HDP CHAINS / 20 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
53..7..9........4..1.8....7..1.......7...........65..2.....12.4..72...39.69.3.1.. | initial |
53..7..9.7......4..1.8...27..1.......7...........65..2....912.41472...39269.3.1.. | autosolve |
536472891782619345914853627821347956675928413493165782358791264147286539269534178 | solved |
level: medium
-------------------------------------------------- * PAIRS (16) A3: 4,9 C3: 4,6 E3: 4,5 G1: 6,8 B4: 2,5 C5: 2,5 B6: 8,9 G5: 4,9 H6: 1,8 A7: 3,8 B7: 5,8 D7: 6,7 E8: 5,8 F8: 6,8 H7: 6,7 I9: 5,8 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) I1,I2: 1.. / I1 = 1 => 17 pairs (_) / I2 = 1 => 0 pairs (X) H5,H6: 1.. / H5 = 1 => 20 pairs (_) / H6 = 1 => 15 pairs (_) D1,I1: 1.. / D1 = 1 => 0 pairs (X) / I1 = 1 => 17 pairs (_) D6,H6: 1.. / D6 = 1 => 20 pairs (_) / H6 = 1 => 15 pairs (_) E2,E5: 1.. / E2 = 1 => 17 pairs (_) / E5 = 1 => 16 pairs (_) B4,C5: 2.. / B4 = 2 => 18 pairs (_) / C5 = 2 => 15 pairs (_) C1,F1: 2.. / C1 = 2 => 0 pairs (X) / F1 = 2 => 17 pairs (_) B2,B4: 2.. / B2 = 2 => 15 pairs (_) / B4 = 2 => 18 pairs (_) G2,G3: 3.. / G2 = 3 => 18 pairs (_) / G3 = 3 => 0 pairs (X) I4,I5: 3.. / I4 = 3 => 16 pairs (_) / I5 = 3 => 16 pairs (_) A7,C7: 3.. / A7 = 3 => 17 pairs (_) / C7 = 3 => 17 pairs (_) F3,G3: 3.. / F3 = 3 => 18 pairs (_) / G3 = 3 => 0 pairs (X) C6,C7: 3.. / C6 = 3 => 17 pairs (_) / C7 = 3 => 17 pairs (_) D9,F9: 4.. / D9 = 4 => 0 pairs (X) / F9 = 4 => 21 pairs (_) B4,C5: 5.. / B4 = 5 => 15 pairs (_) / C5 = 5 => 18 pairs (_) B7,C7: 5.. / B7 = 5 => 18 pairs (_) / C7 = 5 => 15 pairs (_) E8,D9: 5.. / E8 = 5 => 0 pairs (X) / D9 = 5 => 24 pairs (_) E3,G3: 5.. / E3 = 5 => 24 pairs (_) / G3 = 5 => 0 pairs (X) E8,G8: 5.. / E8 = 5 => 0 pairs (X) / G8 = 5 => 24 pairs (_) B4,B7: 5.. / B4 = 5 => 15 pairs (_) / B7 = 5 => 18 pairs (_) C5,C7: 5.. / C5 = 5 => 18 pairs (_) / C7 = 5 => 15 pairs (_) D2,D9: 5.. / D2 = 5 => 0 pairs (X) / D9 = 5 => 24 pairs (_) A4,A5: 6.. / A4 = 6 => 17 pairs (_) / A5 = 6 => 16 pairs (_) D7,F8: 6.. / D7 = 6 => 0 pairs (X) / F8 = 6 => 22 pairs (_) H7,G8: 6.. / H7 = 6 => 22 pairs (_) / G8 = 6 => 0 pairs (X) D7,H7: 6.. / D7 = 6 => 0 pairs (X) / H7 = 6 => 22 pairs (_) F8,G8: 6.. / F8 = 6 => 22 pairs (_) / G8 = 6 => 0 pairs (X) G4,G6: 7.. / G4 = 7 => 0 pairs (X) / G6 = 7 => 17 pairs (_) H7,H9: 7.. / H7 = 7 => 0 pairs (X) / H9 = 7 => 22 pairs (_) D6,G6: 7.. / D6 = 7 => 0 pairs (X) / G6 = 7 => 17 pairs (_) D7,H7: 7.. / D7 = 7 => 22 pairs (_) / H7 = 7 => 0 pairs (X) F4,F9: 7.. / F4 = 7 => 18 pairs (_) / F9 = 7 => 0 pairs (X) B2,A3: 9.. / B2 = 9 => 0 pairs (X) / A3 = 9 => 17 pairs (_) A3,F3: 9.. / A3 = 9 => 17 pairs (_) / F3 = 9 => 0 pairs (X) B2,B6: 9.. / B2 = 9 => 0 pairs (X) / B6 = 9 => 17 pairs (_) * DURATION: 0:00:42.163189 START: 23:20:48.094933 END: 23:21:30.258122 2019-04-30 * CP COUNT: (35) * CLUE FOUND -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (A3,A7,B4,B6,B7,C3,C5,D7,E3,E8,F8,G1,G5,H6,H7,I9) * 53..7..9.7......4..1.8...27..1.......7...........65..2....912.41472...39269.3.1.. * PAIR A3: 4,9 ROW 3 F3: 4,9,3,6 # reduction candidate for 4,9 F3: 4,9 => CTR * 538472691792613845416859327.21.4795..75.2841..84.657.2..3791264147286539269534178 F3: 3,6 # 18 pairs * PAIR A3: 4,9 COL A A4: 4,9,3,6,8 # reduction candidate for 4,9 A4: 4,9 # 18 pairs A5: 4,9,3,6,8 # reduction candidate for 4,9 A5: 4,9 # 19 pairs A6: 4,9,3,8 # reduction candidate for 4,9 A6: 4,9 # 19 pairs * PAIR C3: 4,6 BLK 1 C1: 4,6,2,8 # reduction candidate for 4,6 C1: 2,8 => CTR * 5384726917.2613845416859327.21.4795..75.2841...41657828.3791264147286539269534178 C1: 4,6 # 20 pairs * PAIR C3: 4,6 ROW 3 F3: 4,6,3,9 # reduction candidate for 4,6 F3: 4,6 => CTR * 53..7..9.7......4.91.85.327..1.......7........9..65..2....912.41472865392695341.. F3: 3,9 # 17 pairs * PAIR G1: 6,8 BLK 3 I1: 6,8,1 # reduction candidate for 6,8 I1: 6,8 => CTR * 53.17..9.7..52..41.1.84.527.21.8.....75.1........65.12....912.414725..39269.3.1.. I1: 1 # 17 pairs G2: 6,8,3,5 # reduction candidate for 6,8 G2: 6,8 => CTR * 538472691792613845416859327.21.4795..75.2841..84.657.2..3791264147286539269534178 G2: 3,5 # 17 pairs I2: 6,8,1,5 # reduction candidate for 6,8 I2: 6,8 => CTR * 5346728917..51.346916843527..1.......7...........65..2....912.414725..39269.3.1.. I2: 1,5 # 17 pairs * PAIR G1: 6,8 ROW 1 C1: 6,8,2,4 # reduction candidate for 6,8 C1: 6,8 # 24 pairs C1: 2,4 # 17 pairs * PAIR G1: 6,8 COL G G8: 6,8,5 # reduction candidate for 6,8 G8: 6,8 => CTR * 5346728917..51934.916843527..1.......7........9..65..2....912.414725..39269.3.1.. G8: 5 # 24 pairs * PAIR B6: 8,9 BLK 4 A4: 8,9,3,4,6 # reduction candidate for 8,9 A4: 8,9 # 20 pairs A5: 8,9,3,4,6 # reduction candidate for 8,9 A5: 8,9 # 21 pairs A6: 8,9,3,4 # reduction candidate for 8,9 A6: 8,9 # 18 pairs * PAIR B6: 8,9 COL B B2: 8,9,2 # reduction candidate for 8,9 B2: 8,9 # 18 pairs B2: 2 # 15 pairs * PAIR G5: 4,9 BLK 6 G4: 4,9,7 # reduction candidate for 4,9 G4: 4,9 # 17 pairs G6: 4,9,7 # reduction candidate for 4,9 G6: 4,9 => CTR * 53.17.8967..52.341.1.84..27..1...7...7..........765.12...6912741472586392694371.. G6: 7 # 17 pairs * PAIR G5: 4,9 ROW 5 A5: 4,9,3,6,8 # reduction candidate for 4,9 A5: 4,9 # 19 pairs D5: 4,9,1,3 # reduction candidate for 4,9 D5: 4,9 # 17 pairs F5: 4,9,2,3,8 # reduction candidate for 4,9 F5: 4,9 # 18 pairs * PAIR H6: 1,8 BLK 6 H5: 1,8,5,6 # reduction candidate for 1,8 H5: 1,8 # 19 pairs H5: 5,6 # 16 pairs * PAIR A7: 3,8 BLK 7 C7: 3,8,5 # reduction candidate for 3,8 C7: 3,8 # 18 pairs C7: 5 # 15 pairs * PAIR A7: 3,8 COL A A4: 3,8,4,6,9 # reduction candidate for 3,8 A4: 3,8 # 20 pairs A5: 3,8,4,6,9 # reduction candidate for 3,8 A5: 3,8 # 21 pairs A6: 3,8,4,9 # reduction candidate for 3,8 A6: 3,8 # 16 pairs * PAIR B7: 5,8 BLK 7 C7: 5,8,3 # reduction candidate for 5,8 C7: 5,8 # 17 pairs C7: 3 # 17 pairs * PAIR E8: 5,8 ROW 8 G8: 5,8,6 # reduction candidate for 5,8 G8: 6 => CTR * 53417289.7..5..34..1.843527..1.......7...........65..2...691274147258639269.3.1.. G8: 5,8 # 22 pairs * PAIR F8: 6,8 ROW 8 G8: 6,8,5 # reduction candidate for 6,8 G8: 6,8 => CTR * 5346728917..51934.916843527..1.......7........9..65..2....912.414725..39269.3.1.. G8: 5 # 24 pairs * PAIR I9: 5,8 BLK 9 G8: 5,8,6 # reduction candidate for 5,8 G8: 5,8 # 22 pairs H9: 5,8,7 # reduction candidate for 5,8 H9: 5,8 => CTR * 53417289.7..5..34..1.843527..1.......7...........65..2...691274147258639269.3.1.. H9: 7 # 22 pairs * PAIR I9: 5,8 COL I I2: 5,8,1,6 # reduction candidate for 5,8 I2: 5,8 # 23 pairs I4: 5,8,3,6 # reduction candidate for 5,8 I4: 5,8 => CTR * 53417289.7..5..34..1.843527..1.......7......3....65..2...691274147258639269.3.1.. I4: 3,6 # 17 pairs I5: 5,8,3,6 # reduction candidate for 5,8 I5: 5,8 => CTR * 53417289.7..5..34..1.843527..1.....3.7...........65..2...691274147258639269.3.1.. I5: 3,6 # 17 pairs * INCONCLUSIVE * SAVE PR GRAPH zz-www.sudokuoftheday.co.uk-20060523-absurd-base-pr-000.dot * REASONING * DIS # F3: 4,9 => CTR => F3: 3,6 * DIS # C1: 2,8 => CTR => C1: 4,6 * DIS # F3: 4,6 => CTR => F3: 3,9 * DIS # I1: 6,8 => CTR => I1: 1 * DIS # G2: 6,8 => CTR => G2: 3,5 * DIS # I2: 6,8 => CTR => I2: 1,5 * DIS # G8: 6,8 => CTR => G8: 5 * DIS # G6: 4,9 => CTR => G6: 7 * DIS # G8: 6 => CTR => G8: 5,8 * DIS # G8: 6,8 => CTR => G8: 5 * DIS # H9: 5,8 => CTR => H9: 7 * DIS # I4: 5,8 => CTR => I4: 3,6 * DIS # I5: 5,8 => CTR => I5: 3,6 * CNT 13 HDP CHAINS / 51 HYP OPENED -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (A3,A7,B4,B6,B7,C3,C5,D7,E3,E8,F8,G1,G5,H6,H7,I9) * 53..7..9.7......4..1.8...27..1.......7...........65..2....912.41472...39269.3.1.. * PAIR A3: 4,9 ROW 3 F3: 4,9,3,6 # reduction candidate for 4,9 F3: 4,9 => CTR * 538472691792613845416859327.21.4795..75.2841..84.657.2..3791264147286539269534178 * PAIR RESTART * PAIR C3: 4,6 BLK 1 C1: 4,6,2,8 # reduction candidate for 4,6 C1: 2,8 => CTR * 53.472.917.6.1..45914853627..1..7....72.4895..9..65712..5791264147286539269534178 * PAIR G1: 6,8 BLK 3 I1: 6,8,1 # reduction candidate for 6,8 I1: 6,8 => CTR * 53.172.9.7...5..4191.84.527..1.......7..1.....9..65.12....912.4147286.39269.3.1.. * PAIR G5: 4,9 BLK 6 G4: 4,9,7 # reduction candidate for 4,9 G4: 7 => CTR * 5364728917......4691485..27..1...7...7....9...9.765412...6912741472.8639269.371.. * PAIR G5: 4,9 ROW 5 D5: 4,9,1,3 # reduction candidate for 4,9 D5: 4,9 # 27 pairs F5: 4,9,3,8 # reduction candidate for 4,9 F5: 4,9 # 26 pairs * PAIR H6: 1,8 BLK 6 H5: 1,8,5,6 # reduction candidate for 1,8 H5: 1,8 # 26 pairs H5: 5,6 # 25 pairs * PAIR A7: 3,8 BLK 7 C7: 3,8,5 # reduction candidate for 3,8 C7: 5 # 20 pairs C7: 3,8 # 20 pairs * PAIR A7: 3,8 COL A A4: 3,8,4,6 # reduction candidate for 3,8 A4: 3,8 # 26 pairs A5: 3,8,4,6 # reduction candidate for 3,8 A5: 3,8 # 27 pairs A6: 3,8,4 # reduction candidate for 3,8 A6: 3,8 => CTR * 5346728917......4.916843527..1..7....7........9.465712...7912641472...39269.341.. * PAIR RESTART * PAIR A7: 3,8 BLK 7 C7: 3,8,5 # reduction candidate for 3,8 C7: 5 => CTR * 53647289172851..4.91.8...27.51.2..63672....154931657823856912741472.8639269.3.158 * PAIR A7: 3,8 COL A A4: 3,8,6 # reduction candidate for 3,8 A4: 3,8 # 25 pairs A5: 3,8,6 # reduction candidate for 3,8 A5: 3,8 # 23 pairs * PAIR I9: 5,8 BLK 9 H9: 5,8,7 # reduction candidate for 5,8 H9: 5,8 => CTR * 53..72891782.1..4691.8.6327.21.......75.2....49..657.2.5.691274147258639269.3.1.. H9: 7 => SOLVED * 536472891782619345914853627821347956675928413493165782358791264147286539269534178 * DURATION: 0:00:19.065440 START: 23:22:03.237832 END: 23:22:22.303272 2019-04-30 * SOLUTION FOUND * SAVE PR GRAPH zz-www.sudokuoftheday.co.uk-20060523-absurd-base-pr-001.dot * REASONING * DIS # F3: 4,9 => CTR => F3: 3,6 * DIS F3: 3,6 # C1: 2,8 => CTR => C1: 4,6 * DIS F3: 3,6 + C1: 4,6 # I1: 6,8 => CTR => I1: 1 * DIS F3: 3,6 + C1: 4,6 + I1: 1 # G4: 7 => CTR => G4: 4,9 * DIS F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # A6: 3,8 => CTR => A6: 4 * DIS F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 # C7: 5 => CTR => C7: 3,8 * DIS F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 # H9: 5,8 => CTR => H9: 7 * PRF F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 + H9: 7 => SOL * STA F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 + H9: 7 * CNT 8 HDP CHAINS / 20 HYP OPENED
http://www.sudokuoftheday.co.uk/cgi-bin/sudoku1280.cgi?ACTION=archive2&USER=&MONTH=May&YEAR=2006, 20060523, absurd
See section Pair Reduction for the HDP chains leading to this result.
Full list of HDP chains traversed:
* DIS # F3: 4,9 => CTR => F3: 3,6 * INC # F3: 3,6 => UNS * INC # A4: 4,9 => UNS * INC # A5: 4,9 => UNS * INC # A6: 4,9 => UNS * INC # C1: 4,6 => UNS * DIS # C1: 2,8 => CTR => C1: 4,6 * DIS # F3: 4,6 => CTR => F3: 3,9 * INC # F3: 3,9 => UNS * DIS # I1: 6,8 => CTR => I1: 1 * INC # I1: 1 => UNS * DIS # G2: 6,8 => CTR => G2: 3,5 * INC # G2: 3,5 => UNS * DIS # I2: 6,8 => CTR => I2: 1,5 * INC # I2: 1,5 => UNS * INC # C1: 6,8 => UNS * INC # C1: 2,4 => UNS * DIS # G8: 6,8 => CTR => G8: 5 * INC # G8: 5 => UNS * INC # A4: 8,9 => UNS * INC # A5: 8,9 => UNS * INC # A6: 8,9 => UNS * INC # B2: 8,9 => UNS * INC # B2: 2 => UNS * INC # G4: 4,9 => UNS * DIS # G6: 4,9 => CTR => G6: 7 * INC # G6: 7 => UNS * INC # A5: 4,9 => UNS * INC # D5: 4,9 => UNS * INC # F5: 4,9 => UNS * INC # H5: 1,8 => UNS * INC # H5: 5,6 => UNS * INC # C7: 3,8 => UNS * INC # C7: 5 => UNS * INC # A4: 3,8 => UNS * INC # A5: 3,8 => UNS * INC # A6: 3,8 => UNS * INC # C7: 5,8 => UNS * INC # C7: 3 => UNS * INC # G8: 5,8 => UNS * DIS # G8: 6 => CTR => G8: 5,8 * DIS # G8: 6,8 => CTR => G8: 5 * INC # G8: 5 => UNS * INC # G8: 5,8 => UNS * DIS # H9: 5,8 => CTR => H9: 7 * INC # H9: 7 => UNS * INC # I2: 5,8 => UNS * DIS # I4: 5,8 => CTR => I4: 3,6 * INC # I4: 3,6 => UNS * DIS # I5: 5,8 => CTR => I5: 3,6 * INC # I5: 3,6 => UNS * CNT 51 HDP CHAINS / 51 HYP OPENED
Full list of HDP chains traversed:
* DIS # F3: 4,9 => CTR => F3: 3,6 * INC F3: 3,6 # C1: 4,6 => UNS * DIS F3: 3,6 # C1: 2,8 => CTR => C1: 4,6 * DIS F3: 3,6 + C1: 4,6 # I1: 6,8 => CTR => I1: 1 * INC F3: 3,6 + C1: 4,6 + I1: 1 # G4: 4,9 => UNS * DIS F3: 3,6 + C1: 4,6 + I1: 1 # G4: 7 => CTR => G4: 4,9 * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # D5: 4,9 => UNS * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # F5: 4,9 => UNS * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # H5: 1,8 => UNS * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # H5: 5,6 => UNS * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # C7: 3,8 => UNS * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # C7: 5 => UNS * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # A4: 3,8 => UNS * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # A5: 3,8 => UNS * DIS F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 # A6: 3,8 => CTR => A6: 4 * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 # C7: 3,8 => UNS * DIS F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 # C7: 5 => CTR => C7: 3,8 * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 # A4: 3,8 => UNS * INC F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 # A5: 3,8 => UNS * DIS F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 # H9: 5,8 => CTR => H9: 7 * PRF F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 + H9: 7 => SOL * STA F3: 3,6 + C1: 4,6 + I1: 1 + G4: 4,9 + A6: 4 + C7: 3,8 + H9: 7 * CNT 21 HDP CHAINS / 20 HYP OPENED