One flew over the backdoors

Everything about Sudoku that doesn't fit in one of the other sections

Re: One flew over the backdoors

Postby eleven » Fri Apr 19, 2013 8:02 am

dobrichev wrote:Here is one 42 clue with 1716 bd3.
Code: Select all
1234567.9.5.18923..89237.51246..8...37.6...4...5.4..6.53.9.1..8..2.......6..24.7.

Nice example, Mladen.

I meant these "disjoint" subpatterns in the candidate grids.
Also here we have BUG-patterns with 1 or 2 extra candidates, which cannot be solved with basics. The less cells they need, the more room is for other ones.
Hidden Text: Show
Code: Select all
 *---------------------------------------------*
 | 1    2   3   | 4    5   6   | 7    8   9    |
 | 467  5   47  | 1    8   9   | 2    3   46   |
 | 46   8   9   | 2    3   7   | 46   5   1    |
 |--------------+--------------+---------------|
 | 2    4   6   | 357  19  8   | 35   19  357  |
 | 3    7   18  | 6    19  25  | 189  4   25   |
 | 89   19  5   | 37   4   23  | 18   6   237  |
 |--------------+--------------+---------------|
 | 5    3   47  | 9    67  1   | 46   2   8    |
 | 47   19  2   | 8    67  35  | 35   19  46   |
 | 89   6   18  | 35   2   4   | 19   7   35   |
 *---------------------------------------------*
467
 *--------------------------------------*
 | 1    2  3   | 4  5   6  | 7   8  9   |
 | 467  5  47  | 1  8   9  | 2   3  46  |
 | 46   8  9   | 2  3   7  | 46  5  1   |
 |-------------+-----------+------------|
 | 2    4  6   | 7  1   8  | 3   9  5   |
 | 3    7  8   | 6  9   5  | 1   4  2   |
 | 9    1  5   | 3  4   2  | 8   6  7   |
 |-------------+-----------+------------|
 | 5    3  47  | 9  67  1  | 46  2  8   |
 | 47   9  2   | 8  67  3  | 5   1  46  |
 | 8    6  1   | 5  2   4  | 9   7  3   |
 *--------------------------------------*
189
 *---------------------------------------*
 | 1   2   3   | 4  5   6  | 7    8   9  |
 | 4   5   7   | 1  8   9  | 2    3   6  |
 | 6   8   9   | 2  3   7  | 4    5   1  |
 |-------------+-----------+-------------|
 | 2   4   6   | 7  19  8  | 3    19  5  |
 | 3   7   18  | 6  19  5  | 189  4   2  |
 | 89  19  5   | 3  4   2  | 189  6   7  |
 |-------------+-----------+-------------|
 | 5   3   4   | 9  7   1  | 6    2   8  |
 | 7   19  2   | 8  6   3  | 5    19  4  |
 | 89  6   18  | 5  2   4  | 19   7   3  |
 *---------------------------------------*
2357
 *-------------------------------------*
 | 1  2  3  | 4   5  6   | 7   8  9    |
 | 4  5  7  | 1   8  9   | 2   3  6    |
 | 6  8  9  | 2   3  7   | 4   5  1    |
 |----------+------------+-------------|
 | 2  4  6  | 57  1  8   | 35  9  357  |
 | 3  7  8  | 6   9  25  | 1   4  25   |
 | 9  1  5  | 37  4  23  | 8   6  27   |
 |----------+------------+-------------|
 | 5  3  4  | 9   7  1   | 6   2  8    |
 | 7  9  2  | 8   6  35  | 35  1  4    |
 | 8  6  1  | 35  2  4   | 9   7  35   |
 *-------------------------------------*
(the 7 is in an x-wing, so it's solution does not help for pattern 1)
eleven
 
Posts: 3151
Joined: 10 February 2008

Re: One flew over the backdoors

Postby denis_berthier » Fri Apr 19, 2013 8:47 am

eleven wrote:
dobrichev wrote:Here is one 42 clue with 1716 bd3.
Code: Select all
1234567.9.5.18923..89237.51246..8...37.6...4...5.4..6.53.9.1..8..2.......6..24.7.

Nice example, Mladen.
I meant these "disjoint" subpatterns in the candidate grids.
Also here we have BUG-patterns with 1 or 2 extra candidates, which cannot be solved with basics. The less cells they need, the more room is for other ones.
...
(the 7 is in an x-wing, so it's solution does not help for pattern 1)


Just to clarify your example, does the following solution mean that you consider bivalue-chains[2] (in the present case basic AICs[2]) are not in the "basics" ?

Hidden Text: Show
Code: Select all
(solve "1234567.9.5.18923..89237.51246..8...37.6...4...5.4..6.53.9.1..8..2.......6..24.7.")
*****  SudoRules 16.2 based on CSP-Rules 1.2, config: gB-S   *****
naked-singles: r7c8 = 2, r1c8 = 8
whip[1]: b4n9{r6c1 .} ==> r6c7 <> 9
naked-pairs-in-a-row: r8{c2 c8}{n1 n9} ==> r8c7 <> 9, r8c7 <> 1, r8c1 <> 9
naked-pairs-in-a-column: c5{r7 r8}{n6 n7} ==> r4c5 <> 7
whip[1]: c5n7{r8 .} ==> r8c4 <> 7
naked-pairs-in-a-row: r4{c5 c8}{n1 n9} ==> r4c7 <> 9, r4c7 <> 1
naked-pairs-in-a-column: c1{r6 r9}{n8 n9} ==> r8c1 <> 8
hidden-single-in-a-row ==> r8c4 = 8
naked-pairs-in-a-row: r9{c4 c9}{n3 n5} ==> r9c7 <> 5, r9c7 <> 3, r5c7 <> 5
naked-pairs-in-a-column: c7{r3 r7}{n4 n6} ==> r8c7 <> 6, r8c7 <> 4
naked-pairs-in-a-block: b9{r8c7 r9c9}{n3 n5} ==> r8c9 <> 5, r8c9 <> 3
naked-pairs-in-a-column: c7{r4 r8}{n3 n5} ==> r6c7 <> 3
biv-chain[2]: r9n1{c3 c7} - r6n1{c7 c2} ==> r8c2 <> 1
naked-singles: r8c2 = 9, r9c1 = 8, r6c1 = 9, r9c3 = 1, r5c3 = 8, r9c7 = 9, r5c7 = 1, r4c8 = 9, r4c5 = 1, r6c7 = 8, r5c5 = 9, r6c2 = 1, r8c8 = 1
biv-chain[2]: c9n4{r2 r8} - r7n4{c7 c3} ==> r2c3 <> 4
naked-singles: r2c3 = 7, r7c3 = 4, r8c1 = 7, r8c5 = 6, r7c5 = 7, r8c9 = 4, r2c9 = 6, r3c7 = 4, r3c1 = 6,r2c1 = 4, r7c7 = 6
biv-chain[2]: c6n5{r5 r8} - r9n5{c4 c9} ==> r5c9 <> 5
naked-singles to the end
denis_berthier
2010 Supporter
 
Posts: 4213
Joined: 19 June 2007
Location: Paris

Re: One flew over the backdoors

Postby eleven » Fri Apr 19, 2013 9:57 am

Yes, "basics" only include singles, locked candidates and subsets (tuples). This is typically all, what is needed for "hard" newspaper puzzles.
eleven
 
Posts: 3151
Joined: 10 February 2008

Re: One flew over the backdoors

Postby denis_berthier » Fri Apr 19, 2013 10:21 am

eleven wrote:Yes, "basics" only include singles, locked candidates and subsets (tuples). This is typically all, what is needed for "hard" newspaper puzzles.

OK, thanks for the precision
denis_berthier
2010 Supporter
 
Posts: 4213
Joined: 19 June 2007
Location: Paris

Previous

Return to General