The hardest sudokus (new thread)

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

Re: The hardest sudokus (new thread)

Postby eleven » Wed Sep 28, 2011 9:23 am

champagne wrote:that's surely another way to find "nice logic".

The challenge is to find a logic :)

E.g. take the GN grid.
Code: Select all
 *----------------------------------------------------------------------*
 | 25678  14568  124567  | 268    2467   4678   | 1247    3      9      |
 | 26789  4689   2467    | 23689  23467  1      | 247     2467   5      |
 | 2679   1469   3       | 269    5      4679   | 8       12467  1247   |
 |-----------------------+----------------------+-----------------------|
 | 235    345    8       | 135    9      357    | 123457  1247   6      |
 | 3569   7      456     | 13568  136    2      | 13459   1489   1348   |
 | 1      3569   256     | 4      367    35678  | 23579   2789   2378   |
 |-----------------------+----------------------+-----------------------|
 | 367    136    9       | 1236   8      346    | 12347   5      12347  |
 | 3578   2      157     | 1359   134    3459   | 6       14789  13478  |
 | 4      13568  156     | 7      1236   3569   | 1239    1289   1238   |
 *----------------------------------------------------------------------*
In this subgrid you can eliminate 3 in r7c9, but how?
Code: Select all
*---------------------------------------------------------*
 | .     .     .  | .     .  .     | 1247    .      .      |
 | .     .     .  | .     .  .     | 247     .      .      |
 | 2679  1469  3  | 269   5  4679  | 8       12467  1247   |
 |----------------+----------------+-----------------------|
 | 235   345   8  | 135   9  357   | 123457  .      6      |
 | .     .     .  | .     .  .     | .       .      .      |
 | .     .     .  | .     .  .     | .       .      .      |
 |----------------+----------------+-----------------------|
 | 367   136   9  | 1236  8  346   | 12347   5      12-347 |
 | .     .     .  | .     .  .     | 6       .      .      |
 | .     .     .  | .     .  .     | .       .      .      |
 *---------------------------------------------------------*

One way is to distinguish the following cases. All lead to a contradiction after short forcing nets, if r7c9=3.
r7c1=6,
(r7c1=7,r7c2=1),
(r7c1=7,r7c2=6,r3c2=1),
(r7c1=7,r7c2=6,r3c2<>1,r7c4=1),
(r7c1=7,r7c2=6,r3c2<>1,r7c4=2,r4c1=2),
(r7c1=7,r7c2=6,r3c2<>1,r7c4=2,r4c7=2)
But i hope there are better ways...
eleven
 
Posts: 1536
Joined: 10 February 2008

Re: The hardest sudokus (new thread)

Postby coloin » Wed Sep 28, 2011 10:39 am

Code: Select all
1.......9.5.1...3...8..34...1.5.......9..8..2....6..7.3....4..8..2.......8..7..6.;3411;elev;11.1;11.1;10.8;7


This puzzle can be made diagonally symmetric - except the pattern has already been played in the patterns game.

Im just wondering which game it came from and whether it was found in the game.

C
coloin
 
Posts: 1632
Joined: 05 May 2005

Re: The hardest sudokus (new thread)

Postby ronk » Wed Sep 28, 2011 10:47 am

eleven wrote:But i hope there are better ways...

For this puzzle, there's this "almost SK-loop", using what champagne likes to call "flying fish", where the influence of r12c7 extends to r4c8 and r7c9.

____Image
Code: Select all
     14 Truths = {1247R3 1247R4 1247R7 12N7}
     18 Links = {27c1 14c2 12c4 47c6 1247c7 4n8 7n9 1247b3}
     1 Elimination --> r7c9<>3 

[edit: replaced larger solution which had 18 truths]
Last edited by ronk on Wed Sep 28, 2011 6:52 pm, edited 1 time in total.
ronk
2012 Supporter
 
Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

Re: The hardest sudokus (new thread)

Postby ronk » Wed Sep 28, 2011 11:44 am

coloin wrote:
Code: Select all
1.......9.5.1...3...8..34...1.5.......9..8..2....6..7.3....4..8..2.......8..7..6. ;3411;elev;11.1;11.1;10.8;7

This puzzle can be made diagonally symmetric - except the pattern has already been played in the patterns game.

Same canonicalized pattern as game 0122, but ED=10.9/10.9/9.3 was the highest rating.
ronk
2012 Supporter
 
Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

Re: The hardest sudokus (new thread)

Postby eleven » Wed Sep 28, 2011 3:30 pm

ronk wrote:For this puzzle, there's this "almost SK-loop", using what champagne likes to call "flying fish", where the influence of r12c7 extends to r4c8 and r7c9.

Nice picture, but can you give (or point me to) an explanation, why one of the 4 digits must be in r7c9 ? I understand, that the truths and links (what means 'N'/'n' ?) force that, but not how.
eleven
 
Posts: 1536
Joined: 10 February 2008

Re: The hardest sudokus (new thread)

Postby champagne » Wed Sep 28, 2011 3:53 pm

eleven wrote:E.g. take the GN grid.
Code: Select all
 *----------------------------------------------------------------------*
 | 25678  14568  124567  | 268    2467   4678   | 1247    3      9      |
 | 26789  4689   2467    | 23689  23467  1      | 247     2467   5      |
 | 2679   1469   3       | 269    5      4679   | 8       12467  1247   |
 |-----------------------+----------------------+-----------------------|
 | 235    345    8       | 135    9      357    | 123457  1247   6      |
 | 3569   7      456     | 13568  136    2      | 13459   1489   1348   |
 | 1      3569   256     | 4      367    35678  | 23579   2789   2378   |
 |-----------------------+----------------------+-----------------------|
 | 367    136    9       | 1236   8      346    | 12347   5      12347  |
 | 3578   2      157     | 1359   134    3459   | 6       14789  13478  |
 | 4      13568  156     | 7      1236   3569   | 1239    1289   1238   |
 *----------------------------------------------------------------------*
In this subgrid you can eliminate 3 in r7c9, but how?


for me, the easiest way to clean 3 r7c9 is the EXOCET

the base is the cells r12c7, the target the cells r4c8 and r7c9

he base has the digits 1;2;4;7

take separately each rockery (floor).

If you have 1 in r12c7, you check easily that one of the cell r4c8;r7c9 must be 1

same for digits 2;4;7

As the base will have 2 of the digits 1;2;4;7, the target will have the same digits.

There is no room for the digit 3 in r4c9.
This is the EXOCET pattern

You have an equivalent SLG in XSUDO. as always with the EXOCET pattern.

One interesting point is that, as far as I could see, the EXOCET pattern is always in a band/stack, so it's not so difficult to see where it can be;

champagne
champagne
2017 Supporter
 
Posts: 5650
Joined: 02 August 2007
Location: France Brittany

Re: The hardest sudokus (new thread)

Postby eleven » Wed Sep 28, 2011 4:52 pm

champagne wrote:If you have 1 in r12c7, you check easily that one of the cell r4c8;r7c9 must be 1

same for digits 2;4;7

Ah yes, it was easy after finding out the trick. Thanks.
eleven
 
Posts: 1536
Joined: 10 February 2008

Re: The hardest sudokus (new thread)

Postby champagne » Wed Sep 28, 2011 6:22 pm

eleven wrote:
champagne wrote:If you have 1 in r12c7, you check easily that one of the cell r4c8;r7c9 must be 1

same for digits 2;4;7

Ah yes, it was easy after finding out the trick. Thanks.


To be honest, the first EXOCET has been first found by Allan Barker in "fata morgana" in a SLG mode. I came to the very simple explanation above rewording Allan's analysis on why the SLG was working.

In such a SLG, it's not at all easy to identify where are the "rank 0" areas.

champagne
champagne
2017 Supporter
 
Posts: 5650
Joined: 02 August 2007
Location: France Brittany

Re: The hardest sudokus (new thread)

Postby ronk » Wed Sep 28, 2011 7:04 pm

eleven wrote:Nice picture, but can you give (or point me to) an explanation, why one of the 4 digits must be in r7c9 ? I understand, that the truths and links (what means 'N'/'n' ?) force that, but not how.

I see you've figured out the logic. As to your question, 'N' and 'n' refer to cell truths (aka base sets, strong inference sets) and cell links (aka cover sets, weak inference sets), respectively. Therefore, 12N7 means cells r1c7 and r2c7, and 4n8 means r4c8.

BTW I replaced the 18 truth solution with one using 14 truths.
ronk
2012 Supporter
 
Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

Re: The hardest sudokus (new thread)

Postby m_b_metcalf » Thu Sep 29, 2011 5:48 am

ronk wrote:
coloin wrote:
Code: Select all
1.......9.5.1...3...8..34...1.5.......9..8..2....6..7.3....4..8..2.......8..7..6. ;3411;elev;11.1;11.1;10.8;7

This puzzle can be made diagonally symmetric - except the pattern has already been played in the patterns game.

Same canonicalized pattern as game 0122, but ED=10.9/10.9/9.3 was the highest rating.


coloin,

Pity we can't submit still to Game 122:
::: more :::
Code: Select all
100000002030100040005006700010300000002005004000080090600007005004000000050090080   ED=10.8/10.8/10.8

Regards,

Mike Metcalf
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 8290
Joined: 15 May 2006
Location: Berlin

Re: The hardest sudokus (new thread)

Postby eleven » Thu Sep 29, 2011 10:40 am

Since i dont have more time for it, i have to break my subgrid tests now for a longer while. My peronal conclusion so far is, that for all known puzzles there can be found subgrids, from which an experienced solver can deduce the eliminations - normally by means of case distinctions and (relatively short) contradiction nets - needed to solve the puzzle. This way it should be possible to find a (long, but) readable solution for each puzzle.

As an example, look at this step to solve 'champagne dry' with 101 candidates:
Code: Select all
 *---------------------------------------------------------*
 | 9      8    1234   | 7      346   .     | 1234    .  .  |
 | 7      .    12345  | 1234   .     .     | 6       .  .  |
 | 1234   123  6      | 12348  5     .     | 123478  .  .  |
 |--------------------+--------------------+---------------|
 | 1268   .    129    | 168    678   .     | 278     .  .  |
 | .      .    7      | 9      348   .     | 5       .  .  |
 | .      .    359    | 3468   2     .     | 47      .  .  |
 |--------------------+--------------------+---------------|
 | .      .    8      | 5      467   .     | 9       .  .  |
 | 2356   .    2359   | 268    1     .     | 378     .  .  |
 | 1456   .    1459   | 468    6789  3     | 178     .  .  |
 *---------------------------------------------------------*
r9c3=9


E.g. with the 7 cases
r468c3=132,135,152,153,235(r4c7=7/8),253
the elimination can be verified manually with simple contradiction nets

My program tried to find the subgrid with the minimum number of candidates in each step. Of course some of the eliminations might not be needed. And of course much more elegant or simpler solutions might exist.

This is not the only way to get to reproducible solutions with a program, which does not know more techniques than singles. Since each known puzzle can be solved with nested single contradiction chains, you also could list them (in an optimized order). This is similar to what ravel has done (but using more than singles).

Below you can find the 23 subgrids used, until the first number in champagne dry was found. They have a maximum of 101 candidates.

When doing the same for (elev;11.1;11.1;10.8;7), i needed 23 steps with 103-118 candidates.
Hidden Text: Show
Code: Select all
*-------------------------------------------------------------*
 | 9     8     12345  | 7      .    .  | .       .      .      |
 | 7     .     12345  | 12348  .    .  | 6       .      .      |
 | 1234  123   6      | 12348  .    .  | 123478  .      .      |
 |--------------------+----------------+-----------------------|
 | .     4     129    | 168    .    5  | 278     3      .      |
 | .     .     7      | 9      .    .  | 5       .      .      |
 | .     .     359    | 3468   .    .  | 478     .      .      |
 |--------------------+----------------+-----------------------|
 | .     .     8      | 5      .    .  | 9       .      .      |
 | .     .     2359   | 268    .    .  | 378     .      .      |
 | .     .     1459   | 468    .    .  | 178     2      .      |
 *-------------------------------------------------------------*
r2c4<>8
 *------------------------------------------------------------------*
 | .     .    12345  | .      .      .      | .       .      .      |
 | .     .    12345  | .      .      .      | 6       .      .      |
 | 1234  123  6      | 12348  5      .      | 123478  .      .      |
 |-------------------+----------------------+-----------------------|
 | .     .    129    | 168    678    5      | 278     .      .      |
 | .     .    7      | 9      3468   .      | 5       .      .      |
 | .     .    359    | 3468   2      4678   | 478     .      .      |
 |-------------------+----------------------+-----------------------|
 | .     .    8      | 5      467    2467   | 9       167    367    |
 | .     .    2359   | 268    1      .      | 378     .      4      |
 | .     .    1459   | 468    .      3      | 178     2      .      |
 *------------------------------------------------------------------*
r7c6<>6
 *--------------------------------------------------------------------*
 | .     .      12345  | .      .      .      | .       .      .      |
 | .     .      12345  | .      .      .      | .       .      .      |
 | 1234  123    6      | 12348  5      .      | 123478  .      .      |
 |---------------------+----------------------+-----------------------|
 | .     .      129    | 168    678    5      | 278     3      .      |
 | .     .      7      | 9      3468   1468   | 5       468    268    |
 | .     .      359    | 3468   2      4678   | 478     .      1      |
 |---------------------+----------------------+-----------------------|
 | .     .      8      | 5      467    247    | 9       .      .      |
 | .     .      2359   | 268    1      .      | 378     .      4      |
 | .     .      1459   | 468    .      3      | 178     2      .      |
 *--------------------------------------------------------------------*
r5c5<>6
 *-------------------------------------------------------------------*
 | 9      8       12345  | 7     346    .      | .     145    235    |
 | .      .       .      | .     .      .      | .     .      .      |
 | .      .       .      | .     .      .      | .     .      .      |
 |-----------------------+---------------------+---------------------|
 | .      4       129    | 168   678    5      | 278   3      .      |
 | .      .       7      | 9     348    1468   | 5     468    268    |
 | .      .       359    | 3468  2      4678   | 478   .      1      |
 |-----------------------+---------------------+---------------------|
 | .      .       8      | 5     467    247    | 9     167    367    |
 | .      .       2359   | 268   1      .      | 378   .      4      |
 | .      .       1459   | 468   46789  3      | 178   2      .      |
 *-------------------------------------------------------------------*
r9c5<>4
 *-----------------------------------------------------------------*
 | .      .      .    | 7      .    .      | .       .      .      |
 | .      .      .    | .      .    .      | .       .      .      |
 | 1234   123    6    | 12348  5    .      | 123478  .      .      |
 |--------------------+--------------------+-----------------------|
 | .      4      129  | 168    .    5      | 278     3      26789  |
 | 12368  1236   7    | 9      348  1468   | 5       468    268    |
 | .      .      .    | 3468   2    .      | 478     .      1      |
 |--------------------+--------------------+-----------------------|
 | 12346  12367  8    | 5      467  247    | 9       167    367    |
 | .      .      .    | 268    .    .      | 378     .      4      |
 | .      .      .    | 468    .    .      | 178     2      .      |
 *-----------------------------------------------------------------*
r7c2<>7
 *----------------------------------------------------------------*
 | 9      8     12345  | 7      .    .    | .       .      .      |
 | 7      .     12345  | .      .    .    | 6       .      .      |
 | 1234   123   6      | 12348  .    .    | 123478  .      .      |
 |---------------------+------------------+-----------------------|
 | 1268   4     129    | 168    678  5    | 278     3      26789  |
 | .      .     7      | 9      .    .    | 5       .      268    |
 | .      .     359    | 3468   .    .    | 478     .      1      |
 |---------------------+------------------+-----------------------|
 | .      .     8      | 5      467  247  | 9       167    367    |
 | .      .     2359   | 268    .    .    | 378     .      .      |
 | .      .     1459   | 468    .    .    | 178     .      .      |
 *----------------------------------------------------------------*
r6c7<>8
 *-------------------------------------------------------------------*
 | .     .      12345  | .      .     .      | .       .      .      |
 | .     .      12345  | .      .     .      | .       .      .      |
 | 1234  123    6      | 12348  5     .      | 123478  .      .      |
 |---------------------+---------------------+-----------------------|
 | .     4      129    | 168    678   5      | 278     3      .      |
 | .     .      7      | .      .     .      | .       .      .      |
 | 3568  3569   359    | 3468   2     4678   | 47      46789  1      |
 |---------------------+---------------------+-----------------------|
 | .     .      8      | 5      467   247    | 9       167    .      |
 | .     .      2359   | 268    1     .      | 378     .      4      |
 | .     .      1459   | 468    .     3      | 178     2      .      |
 *-------------------------------------------------------------------*
r6c8<>4
 *----------------------------------------------------------------*
 | 9      8       .      | 7      .     .      | .       .     .  |
 | 7      .       .      | .      .     .      | 6       .     .  |
 | 1234   123     6      | 12348  .     .      | 123478  .     .  |
 |-----------------------+---------------------+------------------|
 | 1268   4       129    | 168    .     .      | 278     .     .  |
 | 12368  1236    7      | 9      .     .      | 5       .     .  |
 | 3568   .       359    | 3468   .     .      | 47      .     .  |
 |-----------------------+---------------------+------------------|
 | 12346  1236    8      | 5      .     .      | 9       .     .  |
 | 2356   235679  2359   | 268    1     .      | 378     .     4  |
 | 1456   .       1459   | 468    .     3      | 178     .     .  |
 *----------------------------------------------------------------*
r8c2<>2
 *----------------------------------------------------------------*
 | .      8      .  | 7      346   1246   | 1234    .      .      |
 | .      .      .  | .      3489  12489  | 6       .      .      |
 | 1234   123    6  | 12348  5     12489  | 123478  .      .      |
 |------------------+---------------------+-----------------------|
 | .      4      .  | .      .     .      | 278     3      .      |
 | 12368  1236   7  | 9      348   1468   | 5       468    268    |
 | .      .      .  | .      .     .      | 47      .      .      |
 |------------------+---------------------+-----------------------|
 | 12346  1236   8  | 5      467   247    | 9       167    367    |
 | .      .      .  | .      .     .      | 378     .      .      |
 | .      .      .  | .      .     .      | 178     2      .      |
 *----------------------------------------------------------------*
r3c6<>4
 *------------------------------------------------------------*
 | 9      8      .      | 7      346   .      | .       .  .  |
 | 7      .      .      | 1234   .     .      | 6       .  .  |
 | 1234   123    6      | 12348  5     .      | 123478  .  .  |
 |----------------------+---------------------+---------------|
 | 1268   4      129    | 168    678   5      | 278     .  .  |
 | 12368  .      7      | 9      .     .      | 5       .  .  |
 | 3568   .      359    | 3468   2     .      | 47      .  .  |
 |----------------------+---------------------+---------------|
 | 12346  1236   8      | 5      .     .      | 9       .  .  |
 | 2356   35679  2359   | 268    .     .      | 378     .  .  |
 | 1456   .      1459   | 468    .     .      | 178     .  .  |
 *------------------------------------------------------------*
r8c2<>5
 *--------------------------------------------------------------------*
 | 9      8      12345  | .      .     .      | .       .      .      |
 | 7      .      12345  | .      .     .      | 6       .      .      |
 | 1234   123    6      | 12348  5     .      | 123478  .      .      |
 |----------------------+---------------------+-----------------------|
 | 1268   4      129    | 168    678   5      | 278     .      .      |
 | .      .      7      | 9      .     1468   | 5       .      .      |
 | 3568   3569   359    | 3468   2     4678   | 47      .      .      |
 |----------------------+---------------------+-----------------------|
 | .      .      8      | 5      467   .      | 9       .      .      |
 | 2356   .      2359   | 268    1     .      | 378     .      .      |
 | 1456   .      1459   | 468    .     3      | 178     .      .      |
 *--------------------------------------------------------------------*
r6c6<>4
 *----------------------------------------------------------------*
 | 9      8      .      | 7      .     .     | .       .    .     |
 | 7      .      .      | .      .     .     | 6       .    .     |
 | 1234   123    6      | 12348  .     .     | 123478  .    .     |
 |----------------------+--------------------+--------------------|
 | .      .      .      | 168    678   5     | 278     .    .     |
 | 12368  1236   7      | 9      348   1468  | 5       468  268   |
 | .      .      .      | 3468   2     678   | 47      .    .     |
 |----------------------+--------------------+--------------------|
 | 12346  1236   8      | 5      467   247   | 9       .    367   |
 | .      .      .      | 268    .     .     | 378     .    .     |
 | 1456   15679  .      | 468    .     3     | 178     2    5678  |
 *----------------------------------------------------------------*
r9c2<>1
 *----------------------------------------------------------*
 | 9      8     12345  | 7      346   .     | 1234    .  .  |
 | 7      .     12345  | .      .     .     | 6       .  .  |
 | 1234   123   6      | 12348  5     .     | 123478  .  .  |
 |---------------------+--------------------+---------------|
 | .      .     129    | 168    678   5     | 278     .  .  |
 | .      .     7      | 9      348   .     | 5       .  .  |
 | .      .     359    | 3468   2     .     | 47      .  .  |
 |---------------------+--------------------+---------------|
 | .      .     8      | 5      467   .     | 9       .  .  |
 | 2356   3679  2359   | 268    1     .     | 378     .  .  |
 | .      5679  1459   | 468    6789  .     | 178     .  .  |
 *----------------------------------------------------------*
r9c3<>9
 *-----------------------------------------------------------------*
 | 9      8     .      | 7      .    .      | .       .     .      |
 | 7      .     .      | .      .    .      | 6       .     .      |
 | 1234   123   6      | 12348  .    .      | 123478  .     .      |
 |---------------------+--------------------+----------------------|
 | .      4     129    | 168    .    5      | 278     3     26789  |
 | 12368  1236  7      | 9      348  1468   | 5       468   268    |
 | .      .     .      | 3468   .    .      | 47      .     .      |
 |---------------------+--------------------+----------------------|
 | 12346  1236  8      | 5      467  247    | 9       167   367    |
 | .      .     .      | 268    1    26789  | 378     .     4      |
 | .      .     .      | 468    .    .      | 178     .     .      |
 *-----------------------------------------------------------------*
r8c6<>2
 *-------------------------------------------------------------*
 | 9      8     .    | 7      346   .     | .       .    .     |
 | 7      1235  .    | .      .     .     | 6       .    .     |
 | 1234   123   .    | 12348  5     .     | 123478  .    .     |
 |-------------------+--------------------+--------------------|
 | .      4     .    | 168    678   .     | 278     .    .     |
 | 12368  1236  7    | 9      348   1468  | 5       468  268   |
 | .      .     .    | 3468   2     .     | 47      .    .     |
 |-------------------+--------------------+--------------------|
 | 12346  1236  .    | 5      .     .     | 9       .    .     |
 | 2356   .     .    | 268    1     .     | 378     .    .     |
 | 1456   5679  145  | 468    .     3     | 178     2    .     |
 *-------------------------------------------------------------*
r9c2<>5
 *--------------------------------------------------------------*
 | 9      8     .      | 7      346   .     | .       .    .    |
 | 7      .     .      | .      3489  .     | 6       .    .    |
 | 1234   123   6      | 12348  5     .     | 123478  .    .    |
 |---------------------+--------------------+-------------------|
 | .      4     .      | 168    678   .     | 278     .    .    |
 | 12368  1236  7      | 9      348   1468  | 5       468  268  |
 | .      .     .      | .      2     .     | 47      .    .    |
 |---------------------+--------------------+-------------------|
 | 12346  1236  8      | 5      467   247   | 9       167  367  |
 | .      .     .      | 268    1     .     | 378     .    .    |
 | .      679   .      | 468    6789  .     | 178     .    .    |
 *--------------------------------------------------------------*
r5c5<>8
 *----------------------------------------------------------------*
 | 9      8     .      | 7     346   1246   | .     145    235    |
 | 7      1235  12345  | .     3489  12489  | 6     14589  23589  |
 | 1234   123   6      | .     .     .      | .     .      .      |
 |---------------------+--------------------+---------------------|
 | .      4     .      | .     678   5      | 278   3      .      |
 | 12368  1236  7      | 9     34    1468   | 5     468    268    |
 | .      .     .      | .     .     .      | .     .      1      |
 |---------------------+--------------------+---------------------|
 | 12346  1236  8      | 5     467   247    | 9     167    367    |
 | .      .     .      | .     .     .      | .     .      4      |
 | .      .     .      | .     .     .      | .     .      .      |
 *----------------------------------------------------------------*
r2c9<>5
 *-----------------------------------------------------------------*
 | 9      .    12345  | 7      346   .     | .       .      .      |
 | 7      .    12345  | .      3489  .     | 6       .      .      |
 | 1234   123  6      | 12348  5     .     | 123478  .      .      |
 |--------------------+--------------------+-----------------------|
 | 1268   4    129    | 168    678   5     | 278     3      26789  |
 | .      .    7      | 9      34    .     | 5       .      .      |
 | .      .    359    | 3468   2     .     | 47      .      .      |
 |--------------------+--------------------+-----------------------|
 | .      .    8      | 5      467   .     | 9       .      .      |
 | 2356   .    2359   | 268    1     .     | 378     .      .      |
 | 1456   .    145    | 468    .     .     | 178     .      .      |
 *-----------------------------------------------------------------*
r2c5<>4
 *--------------------------------------------------------------*
 | 9      8     .      | 7      346  1246   | 1234    .    .    |
 | 7      .     .      | .      389  12489  | 6       .    .    |
 | 1234   123   6      | 12348  5    1289   | 123478  .    .    |
 |---------------------+--------------------+-------------------|
 | .      .     .      | .      678  5      | 278     .    .    |
 | 12368  1236  7      | 9      34   1468   | 5       468  268  |
 | .      .     .      | .      2    .      | 47      .    .    |
 |---------------------+--------------------+-------------------|
 | 12346  1236  8      | 5      467  247    | 9       167  367  |
 | .      .     .      | .      .    6789   | 378     .    .    |
 | .      .     .      | .      .    3      | 178     .    .    |
 *--------------------------------------------------------------*
r3c6<>1
 *------------------------------------------------------------------*
 | .      .     .     | 7      346   1246   | 1234    .      .      |
 | .      .     .     | .      389   12489  | 6       .      .      |
 | 1234   123   6     | 12348  5     289    | 123478  .      .      |
 |--------------------+---------------------+-----------------------|
 | .      .     .     | .      678   .      | 278     .      .      |
 | 12368  1236  7     | 9      34    1468   | 5       468    268    |
 | .      .     .     | .      2     .      | 47      .      .      |
 |--------------------+---------------------+-----------------------|
 | 12346  1236  8     | 5      467   247    | 9       167    367    |
 | .      .     .     | .      1     .      | 378     .      .      |
 | .      .     .     | .      6789  .      | 178     .      .      |
 *------------------------------------------------------------------*
r3c6<>2
 *---------------------------------------------------------------*
 | 9      8     .      | .  346   1246   | .       145    235    |
 | 7      1235  12345  | .  389   12489  | 6       14589  .      |
 | 1234   123   6      | .  5     89     | .       .      .      |
 |---------------------+-----------------+-----------------------|
 | .      .     .      | .  678   5      | 278     3      .      |
 | 12368  1236  7      | 9  34    1468   | 5       468    268    |
 | .      .     .      | .  2     .      | .       .      1      |
 |---------------------+-----------------+-----------------------|
 | 12346  1236  8      | 5  467   247    | 9       167    367    |
 | .      .     .      | .  1     .      | .       .      .      |
 | .      .     .      | .  6789  3      | .       .      .      |
 *---------------------------------------------------------------*
r2c8<>5,
 *---------------------------------------------------------------*
 | 9      8     1234   | 7      346   1246  | 1234    .    .     |
 | 7      1235  12345  | 1234   .     .     | 6       .    .     |
 | 1234   123   6      | 12348  .     .     | 123478  .    .     |
 |---------------------+--------------------+--------------------|
 | .      4     129    | 168    .     .     | 278     .    .     |
 | .      1236  7      | 9      .     .     | 5       .    .     |
 | .      .     359    | 3468   .     .     | 47      .    .     |
 |---------------------+--------------------+--------------------|
 | .      .     8      | 5      .     .     | 9       .    .     |
 | .      3679  2359   | 268    .     .     | 378     .    .     |
 | .      679   145    | 468    .     3     | 178     2    .     |
 *---------------------------------------------------------------*
r2c2<>1
 *-----------------------------------------------------------------*
 | .      .     1234   | 7      .    .     | .       .      .      |
 | .      .     12345  | .      .    .     | .       .      .      |
 | 1234   123   6      | 12348  5    89    | 123478  .      23789  |
 |---------------------+-------------------+-----------------------|
 | .      .     129    | 168    .    5     | 278     3      26789  |
 | .      .     7      | 9      .    1468  | 5       .      268    |
 | .      .     359    | 3468   2    678   | 47      .      1      |
 |---------------------+-------------------+-----------------------|
 | .      .     8      | 5      467  247   | 9       167    367    |
 | .      .     2359   | 268    .    .     | 378     .      4      |
 | .      .     145    | 468    .    .     | 178     2      .      |
 *-----------------------------------------------------------------*
r6c4<>4
first number found (r6c6=4)
 *------------------------------------------------------------------*
 | 9      8     1234   | 7      346   1246   | 123    145    235    |
 | 7      235   12345  | 1234   389   12489  | 6      1489   2389   |
 | 1234   123   6      | 12348  5     89     | 12378  14789  23789  |
 |---------------------+---------------------+----------------------|
 | 1268   4     129    | 168    678   5      | 278    3      26789  |
 | 12368  1236  7      | 9      34    1468   | 5      68     268    |
 | 3568   3569  359    | 368    2     678    | 4      6789   1      |
 |---------------------+---------------------+----------------------|
 | 12346  1236  8      | 5      467   247    | 9      167    367    |
 | 2356   3679  2359   | 268    1     6789   | 378    5678   4      |
 | 1456   679   145    | 468    6789  3      | 178    2      5678   |
 *------------------------------------------------------------------*

From here on only subgrids with maximum 76 candidates were needed.
eleven
 
Posts: 1536
Joined: 10 February 2008

Re: The hardest sudokus (new thread)

Postby coloin » Thu Sep 29, 2011 2:47 pm

m_b_metcalf wrote:...... Pity we can't submit still to Game 122:

Hmmmm......thats because this is the pattern for 0122
Code: Select all
. . . . . X . . X
. . X . X . . X .
. X . X . . X . .
. . X . . . . . X
. X . . X . . X .
X . . . . . X . .
. . X . . X . X .
. X . . X . X . .
X . . X . . . . .

It could well be a pattern from way back.....

the D2 version of eleven's 11.1 puzzle [if remarkable] could well be called "legs eleven"

C
coloin
 
Posts: 1632
Joined: 05 May 2005

Re: The hardest sudokus (new thread)

Postby champagne » Sat Oct 15, 2011 12:15 pm

This is my current short list of potential hardest.

The list has not changed that much since the last post despite the fact that the database has now more than 18000 puzzles.
The link to my website will be updated soon.

The main changes come from a lower cut off.

The puzzle 5416 formerly in the list has been cleared after a multi fish has been shown.

The items in the list are

puzzle;
seq number in my database
Family code
id code in the family (could be the name)
ER (serate)
EP
ED
code 9 to 1 (see below)
most promissing floor group
index of difficulty (print size) found by my solver

The code 9 to 1 gives an idea of the chances for the puzzle to stay in the list

9 no evidence of a potential in a multi floors "Allan Barker mode" approach
1 good chance to find a multi floor pattern not seen by my solver

In between, I made the choice regarding potential eliminations
Most of the puzzles having a low "code" should be discarded later;

champagne

Hidden Text: Show
Code: Select all
..34......5...9...7...2...62...7..1..9...5......3....8..1.6...78......21......4..;4024;elev;L406;11.10;11.10;3.40;9;;881
1.......9.5.1...3...8..34...1.5.......9..8..2....6..7.3....4..8..2.......8..7..6.;3411;elev;3174;11.10;11.10;10.80;9;;785
1.......9..67...2..8....5.......83.....2...64..7.4..1...462....5..8......9...3...;889;elev;L59;11.30;11.30;9.50;9;;607
1..4..7....7.8...6.9.......2..3......4...71....5.4..2..3.9..4......6...8..2....5.;7417;elev;H193;10.80;10.80;10.80;9;;592
98.7.....65....4....3.6....7..5..8......2..5......1..6.4.8..9....9.....3....1..2.;10216;GP;22ky5;10.70;10.70;3.40;9;;580
..3.5.....5.1....68....7....6..9...57....2.4...5...1........8.......4.2...9.3...1;1362;elev;413;11.30;1.20;1.20;9;;505
.2.4.......7.8...6.....3.5...9.6...1.....23.....5...4...1...8..6...1...797.......;243;elev;258;11.40;11.40;11.30;8;23459;884
...45.........9.3.6...375...4....1....8.....29...6..7.3....5.9...2...8...1..7....;620;elev;890;11.30;11.30;10.60;8;12348;829
..3..6.8.4.....2......3.5....89...3.5...7...4.....1....6.8...9.7...2......1..3...;2780;elev;1126;11.20;1.20;1.20;8;12457;790
....5...94..1...3..6.7..1....59......8..7.......5.2..73......6...8.9...2.1....4..;2051;elev;1452;11.20;11.20;9.90;8;13456;542
98.7.....6.....9....5....7..4..3..2...85..4.......4..1..69..5......2...3.....1.4.;35;GP;H4;11.70;11.70;11.30;7;1234;852
.2.4.......7.8...69......5...8...6.15....1.9.....7...3........7.4.2.......1.6.3..;1263;elev;510;11.30;1.20;1.20;7;2459;670
1...5.7..........6..83...4...4.....7.3.2....4......92......15..7...9......26....8;3909;elev;2788;11.10;11.10;9.40;7;1579;529
98.7.....7...6......5..97..5....69....43...6.....2...1.5...48.....6...3.....1...2;14596;GP;kz1a;11.40;11.40;11.30;7;1236;525
.......89.5.1.....6....31...7...16......9..2...8.....4..4.2....7..5..3...6...7...;3329;elev;991;11.20;1.20;1.20;5;2489;713
1....6....5.........82....4..98..3...6...5.7.........27....2.1...2.4.9.3...3.....;1102;elev;837;11.30;11.30;2.60;4;12567;619
1....6.......8.2....97....5.3.9....4..5....9.....2.1....4.....7.9.3...4.8.....6..;1582;elev;567;11.30;1.20;1.20;3;1268;914
.......8....1.9..66...2...4.7...8.9.5..........4.3...73.2.....5..5.6.3...1.....7.;3218;elev;997;11.20;1.20;1.20;3;1789;876
98.7.....7...8.6....5..4...6..3..9...9.....2...4..1..6.3.8..7.......2.1.........5;227;GP;H29;11.50;1.20;1.20;3;1245;858
.....6.8.4..7....3.9..3.....1..4...73..1.......8..52...3.9....4......5....2....6.;4891;elev;1905;11.10;1.20;1.20;3;2568;734
.2.4....9..7......8....2.1...1..5.7..6..9...5...2..........8.5....36...2.3..2.6..;4993;elev;2354;11.10;1.20;1.20;3;1578;730
98.7.....7...6......5..87..5....69....43...6.....2...1.5...48.....6....3....1..2.;12120;GP;kz0;11.70;11.70;11.30;3;1236;637
........9..71...6.....3.1.42..6...1...5.......8...43..5......2.6.17......9...8...;1690;elev;301;11.30;1.20;1.20;3;3489;621
.2...67..4...8......9.....1..1.....8...2..6...6...3.5......5.2..7.6..3..9...4....;4582;elev;2279;11.10;1.20;1.20;3;1489;529
1...5......7..9..6.983.......67....8.8.......5...4..2.....3.1...3.9....7.....2.4.;3173;elev;1405;11.20;1.20;1.20;3;1245;519
...4..7..4...8...6..9..2.......3...83..8..4...18....5..9.....1.7..6....3..2..5...;2926;elev;L294;11.20;1.20;1.20;3;1259;506
....5...94..1..2.......7...2.8.1.6....62......7......3.3..9..5.8..........28..4..;4971;elev;1943;11.10;1.20;1.20;1;3579;780
champagne
2017 Supporter
 
Posts: 5650
Joined: 02 August 2007
Location: France Brittany

Re: The hardest sudokus (new thread)

Postby champagne » Thu Oct 20, 2011 12:28 pm

I updated the data base of potential hardest.
The link is unchanged

here

The data base has mainly been extended in the 23 clues field but some puzzles with 24 clues have been added.

The data base has now more than 18000 puzzles
Analysis of specific properties has been done for nearly all of them.

I hope to switch to skfr rating soon, may be maintaining in parallel serate rating for puzzles with ER>11.7

At that moment, I'll rate thousands of puzzles that could enter the lowest part of the data base



champagne
champagne
2017 Supporter
 
Posts: 5650
Joined: 02 August 2007
Location: France Brittany

Re: The hardest sudokus (new thread)

Postby dobrichev » Mon Oct 24, 2011 7:23 pm

champagne wrote:I updated the data base of potential hardest.
The link is unchanged

here


I can't decompress today's version of the zip file. Please check if it is damaged.

Thanks,
MD
dobrichev
2016 Supporter
 
Posts: 1311
Joined: 24 May 2010

PreviousNext

Return to General