giant sudokus

For fans of Killer Sudoku, Samurai Sudoku and other variants

Re: giant sudokus

Postby creint » Mon Jan 31, 2022 8:01 pm

Code: Select all
g49_158d  0.2s   singles only
g64_159d  0.3s   1 layer of locked sets and some locked singles
g81_160d  0.6s   2 layers of locked sets and some locked singles
g100_157d 1.0s   singles only

G36_160 m_b_metcalf, really SE >= 10, not solved with logic, many difficult layers. 1.5s with MiniSat (or 0.15s when cleaned first).

No larger or harder ones < SE 10 available?

m_b_metcalf what are your timings?
creint
 
Posts: 339
Joined: 20 January 2018

Re: giant sudokus

Postby m_b_metcalf » Tue Feb 01, 2022 9:37 am

creint wrote:m_b_metcalf what are your timings?

It's tedious slogging through them all, but here are two timings:
Code: Select all
g81_160d             SE4.0  0.9s    (hidden triplet)
G36_160_m_b_metcalf  SE~9    69s    (contradictions)

HTH

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

Re: giant sudokus

Postby m_b_metcalf » Tue Feb 01, 2022 10:28 am

creint wrote:No larger or harder ones < SE 10 available?

IMHO, this 36x36 X-sudoku, due to hkociemba1, is SE10+:
Code: Select all
  .  2  .  8 35  .  . 12  9 16  . 21 26 28  .  . 27 20 22 33  .  . 36 17 13  .  5 14 23  .  . 18 15  . 19  .
  .  .  . 21  .  .  . 35  . 15  3 27  9  5 13  2 30 10 32  8  7 20 25 34 17 26 28  . 11  .  .  . 36  .  .  .
 10  .  .  .  .  9 19 30  2  1  . 17  .  . 33  .  . 34  5  .  . 28  .  . 16  . 27 18 12 36  6  .  .  .  . 26
  .  7  .  . 16  .  . 13 20  . 23  .  .  .  6 25  . 17 15  .  2 18  .  .  . 31  . 21  1  .  . 29  .  .  3  .
 34  .  . 20  . 15  .  8  4 28 11  .  1 12  . 24  . 14 16  . 31  .  9 27  . 29 30  6 33  .  7  .  2  .  . 17
 17  3  .  . 12  . 14  . 18  5  .  .  . 16 19  . 35 11 26  1  . 23 30  .  .  . 10 32  .  8  .  9  .  . 27 22
  2  . 24  5  7 22  .  1 23  .  . 25  .  . 26 13 11  .  . 27 16  3  .  . 33  .  . 28 19  . 29 30  9 15  . 34
 33 26  .  . 14  .  .  .  .  9  5  2 27  6  . 36  .  .  .  . 21  . 31 28  3 34 12  .  .  .  . 16  .  . 18 32
  .  .  3  . 28 18 32  .  . 19 33  .  7  . 15  . 25  2 36  6  . 29  .  9  .  8  4  .  . 35 11  5  . 20  .  .
  .  . 12  .  .  .  3 22  .  .  .  .  .  . 28 16  . 31 18  . 26  4  .  .  .  .  .  .  6 21  .  .  . 23  .  .
  .  . 34  .  .  . 21 18  .  .  . 31 12 19  . 35 33  3 30  2 13  . 23 24  5  .  .  . 16 22  .  .  . 28  .  .
  4  . 21  .  . 35 11 16  8 12 28  . 32 30  .  .  . 18 14  .  .  . 19 33  . 13 20  1 25  7 27  .  . 24  . 10
  6 24 25  . 31 16  .  .  .  . 22  5  . 34  8 23 15  4 33 30  3  2 32  . 29  9  .  .  .  . 18 14  . 35  1 36
  .  .  .  .  . 12  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  . 17  .  .  .  .  .
 23 27  8 22 26 28 15  . 16  .  . 33 19 24  .  .  7  .  . 17  .  .  4 18 30  .  . 36  .  5  2 32 10 12 34 29
  . 35  .  .  .  .  .  .  .  .  8  .  .  .  .  .  . 16 31  .  .  .  .  .  . 24  .  .  .  .  .  .  .  .  4  .
  .  .  . 10 18  .  .  .  .  . 20  . 25  .  .  .  .  5 27  .  .  .  . 36  .  6  .  .  .  .  . 21 24  .  .  .
  3 36  1 34 11  .  6  . 13  . 12  . 31 32  .  .  .  .  .  .  .  . 21 25  . 20  . 16  .  4  . 23 30  7 26  5
 19 21  6 17  8  . 16  . 29  . 30  . 22 25  .  .  .  .  .  .  .  .  7 15  .  4  . 20  . 32  . 33 27 31 23 12
  .  .  . 23 25  .  .  .  .  .  7  . 21  .  .  .  . 24 13  .  .  .  . 16  . 35  .  .  .  .  . 28  4  .  .  .
  . 13  .  .  .  .  .  .  .  .  1  .  .  .  .  .  . 32  3  .  .  .  .  .  . 18  .  .  .  .  .  .  .  . 29  .
 26 28  4 15 34 31 33  . 14  .  . 18 11 29  .  . 20  .  . 23  .  .  5 10 36  .  . 13  .  2 21  3  1 22 17 25
  .  .  .  .  .  3  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  .  . 30  .  .  .  .  .
 27  9 33  . 10  5  .  .  .  . 21  4  . 23 31 18 28  1 11 32 29 19 22  .  7 25  .  .  .  . 36  8  . 13 24  2
 36  . 14  .  . 23 24 28  5  4 18  .  6 26  .  .  . 12  9  .  .  . 27 19  .  1  7 33 20 30 32  .  . 29  .  3
  .  . 11  .  .  . 31 25  .  .  .  1  4 17  . 10  8 30 21 20 35  . 34  7 14  .  .  . 24  3  .  .  .  2  .  .
  .  .  9  .  .  . 23 34  .  .  .  .  .  . 20 19  . 28 29  .  8  5  .  .  .  .  .  .  4  6  .  .  . 14  .  .
  .  . 15  . 17  8 22  .  . 14 29  . 33  .  2  . 36 35 25 28  . 31  . 26  . 12 19  .  . 16 13 24  . 10  .  .
 30  6  .  . 27  .  .  .  . 32  9  8 23  7  .  1  .  .  .  . 12  .  3 13 22 10 36  .  .  .  . 34  .  . 11 28
 35  . 10 26  3 21  .  6  7  .  . 19  .  . 34 11 14  .  . 18 32 24  .  . 15  .  . 31 17  .  9  1 22  5  . 33
 18 15  .  .  5  . 12  . 11  8  .  .  . 33  9  . 26 19 24 16  . 30 28  .  .  .  3  4  .  1  . 31  .  . 25 21
  9  .  .  3  . 36  . 17 24 21 27  . 34  4  . 22  .  7  8  . 14  . 10 11  . 30 26 25 31  . 28  . 35  .  . 13
  . 22  .  . 21  .  .  9 15  .  2  .  .  . 35  5  . 29 12  . 33 27  .  .  . 23  . 19 36  .  . 11  .  .  7  .
 32  .  .  .  . 10  1 20 26 33  .  6  .  . 12  .  .  8  4  .  . 13  .  . 18  . 11  5  7 14 22  .  .  .  . 27
  .  .  . 27  .  .  .  4  . 36 16  7 30 31 11 15 24 23 19  3  5 26 35 21  6 33 29  . 32  .  .  . 12  .  .  .
  .  8  . 11 23  .  .  5 31 30  . 29 36 20  .  . 10 25  7  9  .  .  1  2 27  . 22 24 15  .  . 26 14  . 33  .   X-sudoku
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 13174
Joined: 15 May 2006
Location: Berlin

Re: giant sudokus

Postby philvo » Tue Feb 01, 2022 11:42 am

Hello creint,
1.5 s for the G160_36_mike ! Very impressive ! From now on, I will hesitate to publish performances on my solver !
Phil
philvo
 
Posts: 14
Joined: 18 January 2022

Re: giant sudokus

Postby philvo » Tue Feb 01, 2022 11:45 am

Hello Mike,
I will check you last grids with interest.
I have also worked on the 64x64 X-sudoku you have upgraded (your post Tue May 18, 2021 6:33 pm)
I have removed 40 additionnal cells by keeping the horizontal and vertical symmetry. I rate this grid EXTREME-23.
The removed cells are marked by X (to change by a dot for a clean grid).

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . 49 41 . 55 42 40 21 7 39 . 34 30 59 . . 51 . 13 25 . 31 23 9 . 60 53 33 35 3 . . 27 4 12 32 24 . 64 54 52 . 44 6 . 47 . . 8 29 43 . 22 2 37 16 57 10 . 62 5 . .
. 54 . . 47 . 50 7 58 57 . 49 . . . 26 . 14 40 29 63 . 15 . 55 20 56 21 10 . 44 . . 1 . 46 61 6 37 59 . 3 . 60 35 27 2 . 52 . . . 62 . 5 19 30 51 . 22 . . 64 .
. 6 . . 24 17 . 14 20 . 8 11 . 16 35 54 . 48 . 32 . 2 . 49 . . . . 12 22 23 38 13 39 63 51 . . . . 56 . 15 . 18 . 26 . 33 3 64 . 55 36 . 46 34 . 29 31 . . 28 .
. . 1 2 . 21 19 13 47 . 5 4 . 50 63 55 24 17 11 27 37 . 38 53 34 . . 62 . 15 46 29 33 28 52 . 36 . . 42 49 7 . 61 22 8 51 10 48 60 12 . 58 32 . 16 3 43 23 . 18 20 . .
. 43 . 15 44 . 3 32 1 24 17 . 25 51 31 52 47 62 33 64 9 28 60 . 4 36 X 13 40 . 37 16 2 11 . 34 14 X 26 56 . 12 5 53 48 21 41 20 57 54 39 7 . 59 45 30 55 63 . 8 58 . 42 .
. 23 20 . 22 58 . 63 . . 6 13 3 . 37 . . . 4 5 . 34 35 . 8 . 14 27 . 32 41 30 29 43 21 . 19 44 . 7 . 59 36 . 33 39 . . . 18 . 56 47 42 . . 9 . 17 60 . 52 46 .
. 48 38 12 59 5 16 . . . 23 9 36 28 . 60 10 21 30 54 22 . . . 19 49 24 58 . . 64 . . 25 . . 3 53 47 40 . . . 45 46 4 17 32 34 . 35 14 41 1 . . . 39 26 6 13 27 2 .
. 49 33 53 7 28 . . . . 19 58 6 . 13 16 51 15 . 35 34 37 23 43 . . 31 41 . 46 48 40 63 60 30 . 24 2 . . 14 21 3 22 17 . 39 9 64 56 . 4 29 50 . . . . 55 52 12 61 36 .
. 26 2 . . 14 . . . . . 23 . 17 18 . 9 5 38 . 45 24 . 52 11 51 12 . 60 19 62 56 32 21 42 7 . 28 54 57 59 . 63 49 . 29 33 47 . 36 53 . 61 . . . . . 41 . . 43 44 .
. 61 . 45 64 34 44 55 27 . . 63 . . 54 . . . 28 47 29 6 X 32 24 39 18 . 42 14 57 . . 51 19 43 . 37 56 22 60 X 48 46 31 16 . . . 41 . . 38 . . 23 58 3 2 62 26 . 15 .
. . 24 25 15 . 38 19 44 51 2 . 35 39 . 12 40 27 10 48 . . X 13 21 52 29 50 16 . . 23 64 . . 26 17 41 46 45 1 X . . 5 54 30 34 37 . 11 58 . 6 60 8 53 31 . 4 14 47 . .
. 31 . . . 60 54 29 62 . . 41 . 38 46 . 11 25 59 33 18 4 . . . . 36 . 64 . . 63 35 . . 48 . 39 . . . . 53 51 15 2 20 44 . 27 13 . 24 . . 22 5 56 57 . . . 17 .
. . . . 50 8 . . . 34 . 24 . . . . . 30 17 21 39 . 46 . . . 22 55 . . . 2 3 . . . 11 52 . . . 57 . 35 58 28 23 . . . . . 31 . 26 . . . 49 42 . . . .
. 52 . 17 23 11 27 . 50 32 20 . 60 59 . . 14 41 . 42 . . 64 . 37 . 45 43 7 3 53 15 36 29 44 8 31 5 . 62 . 10 . . 4 . 40 56 . . 30 16 . 28 51 49 . 6 9 63 19 . 13 .
. . 56 46 10 39 . 51 31 . . 64 . . . . 60 53 8 12 1 20 55 . 44 . 32 4 26 17 13 35 50 59 23 15 58 34 . 6 . 41 37 36 19 52 18 62 . . . . 25 . . 7 27 . 38 24 28 16 . .
. . . . 36 31 . 21 54 35 . X 46 . 39 6 . . 32 24 . 41 . . 51 63 . 52 . . . 8 43 . . . 44 . 27 13 . . 60 . 7 18 . . 12 49 . 57 X . 4 33 64 . 45 55 . . . .
. 34 51 3 20 25 . 15 10 X . X 21 37 57 29 . . . 4 5 61 2 35 13 9 62 26 48 . . 42 1 . . 22 53 38 30 47 43 46 41 28 27 . . . 7 52 16 45 X . X 36 19 . 31 39 11 24 40 .
. . 13 . 56 52 53 59 . 8 42 48 24 47 . 20 16 . . . 51 64 33 14 57 7 . 61 50 34 5 . . 23 28 41 49 . 4 25 19 58 45 11 . . . 38 40 . 32 35 43 44 1 . 46 29 62 27 . 26 . .
. 40 23 63 14 26 29 39 4 . 53 31 43 27 3 7 59 57 . . . . 8 . . 44 33 . . 30 . 1 52 . 37 . . 18 35 . . 17 . . . . 21 6 56 62 28 41 51 11 . 50 61 42 25 34 32 13 22 .
. 35 8 . 19 44 . 58 63 9 15 . 50 12 . 17 . 45 49 . . 11 . 31 32 3 . 6 . 53 2 46 26 34 7 . 56 . 64 51 29 . 59 . . 61 1 . 22 . 47 60 . 5 14 24 4 . 43 20 . 21 16 .
. . . 16 . 30 64 . 34 13 61 . 44 56 . 22 20 40 63 . 28 . 6 47 31 . 35 . . 4 49 . . 54 15 . . 10 . 5 37 62 . 52 . 9 53 24 25 . 8 46 . 27 19 21 . 59 58 . 2 . . .
. 24 50 . 57 42 17 . 11 . 28 62 . 52 33 23 . 34 43 36 . 30 . 58 29 21 41 X 25 64 47 . . 32 16 6 X 46 59 31 20 . 49 . 40 26 35 . 61 2 55 . 9 37 . 54 . 60 8 18 . 44 63 .
. 27 . 4 60 . . . 5 26 49 18 . . . . . 56 62 . 10 1 48 . . 16 11 15 14 . . 43 40 . . 50 45 21 61 . . 44 31 57 . 34 25 . . . . . 39 58 20 6 . . . 41 9 . 33 .
. 20 41 . 16 61 13 10 . 55 57 38 . 43 53 34 44 39 46 . 8 14 36 . . . . . . 29 31 28 59 35 64 . . . . . . 56 32 2 . 7 9 25 54 50 24 . 45 47 30 . 11 27 4 12 . 22 37 .
. . 47 . . 19 . 4 . 29 56 3 . . . . 35 20 27 30 23 . 24 25 . . 5 14 53 54 11 9 46 57 10 52 39 42 . . 17 61 . 62 12 45 13 36 . . . . 33 64 38 . 49 . 16 . . 6 . .
. 18 64 . . 45 31 30 . 11 33 46 62 54 19 58 . 52 . 26 . 15 1 56 . 23 . . 34 63 27 7 9 16 61 36 . . 22 . 44 6 57 . 38 . 10 . 17 20 48 25 13 4 12 . 21 2 50 . . 3 60 .
. 62 29 . 48 37 36 43 25 . . 7 . 26 49 28 45 38 64 . 53 . 16 22 . 60 . . . 56 61 . . 12 54 . . . 6 . 50 34 . 5 . 11 46 15 1 44 51 . 23 . . 58 32 33 30 13 . 19 8 .
. 17 5 58 . 54 . . . 16 64 45 13 . 8 30 . 32 42 . . . 49 62 . 25 43 . . . . . . . . . . 56 28 . 3 22 . . . 35 59 . 6 39 . 31 11 52 63 . . . 18 . 20 46 10 .
. 32 . 55 52 . 56 . 9 47 51 . . 22 24 2 . . 34 43 54 57 50 . 26 X 20 10 . . . X X . . . 37 1 X 17 . 8 4 58 28 40 . . 27 59 42 . . 49 7 61 . 14 . 44 45 . 31 .
. 12 15 34 26 24 11 23 17 50 18 . . . 20 40 . . 48 . 31 10 3 . 39 37 4 1 . . . . . . . . 63 55 25 38 . 42 54 30 . 60 . . 29 35 . . . 53 9 57 43 47 56 59 41 28 5 .
. . . 49 27 53 60 . 15 10 . X 61 35 42 32 4 58 . 11 40 . . 63 41 22 3 . . 8 . . . . 34 . . 50 20 29 47 . . 31 23 . 14 1 18 16 2 55 X . 28 62 . 38 64 25 17 . . .
. . . 54 35 48 32 . 57 20 . X 23 44 38 9 55 29 . 25 30 . . 11 33 28 13 . . 27 . . . . 12 . . 22 50 43 2 . . 42 62 . 61 64 59 10 63 52 X . 56 47 . 17 5 36 15 . . .
. 30 19 20 2 50 34 17 29 46 54 . . . 14 42 . . 53 . 62 31 4 . 48 26 21 12 . . . . . . . . 18 33 5 3 . 47 8 15 . 25 . . 9 22 . . . 7 23 55 57 16 24 64 61 37 11 .
. 51 . 1 41 . 33 . 36 62 16 . . 8 64 10 . . 47 9 13 60 17 . 46 X 58 22 . . . X X . . . 29 40 X 52 . 20 11 12 37 59 . . 2 5 49 . . 3 32 4 . 44 . 50 27 . 48 .
. 16 7 52 . 27 . . . 43 55 21 22 . 25 48 . 49 12 . . . 42 59 . 56 19 . . . . . . . . . . 17 2 . 41 1 . . . 10 4 . 44 14 . 39 53 33 24 . . . 28 . 40 30 32 .
. 4 44 . 42 10 43 49 30 . . 56 . 31 61 59 27 33 50 . 52 . 32 7 . 8 . . . 37 15 . . 36 25 . . . 57 . 26 28 . 39 . 51 24 5 38 34 6 . 54 . . 12 62 58 46 19 . 9 21 .
. 38 55 . . 46 5 9 . 19 12 1 7 3 27 33 . 22 . 58 . 40 37 54 . 30 . . 18 24 63 57 4 42 41 47 . . 49 . 32 45 52 . 56 . 60 . 16 25 61 64 8 15 31 . 29 34 35 . . 14 26 .
. . 22 . . 12 . 31 . 52 47 50 . . . . 5 18 24 44 20 . 21 36 . . 34 16 9 55 4 32 53 46 62 60 10 59 . . 38 30 . 29 63 3 27 40 . . . . 48 57 58 . 33 . 51 . . 7 . .
. 8 11 . 37 40 47 24 . 18 58 26 . 4 32 39 64 19 16 . 3 46 43 . . . . . . 60 10 44 61 13 27 . . . . . . 14 33 9 . 48 22 57 42 21 1 . 28 62 41 . 45 52 12 56 . 2 25 .
. 44 . 29 54 . . . 61 41 35 12 . . . . . 31 36 . 6 3 18 . . 13 39 47 28 . . 24 48 . . 59 57 23 1 . . 5 7 56 . 62 19 . . . . . 10 8 33 32 . . . 51 60 . 49 .
. 10 3 . 32 51 26 . 39 . 4 8 . 49 56 1 . 2 19 40 . 21 . 42 16 48 54 X 31 62 35 . . 44 11 58 X 29 36 46 57 . 28 . 61 55 37 . 60 53 9 . 14 30 . 52 . 41 22 43 . 64 23 .
. . . 13 . 23 8 . 14 54 44 . 9 62 . 3 53 43 37 . 35 . 28 24 10 . 63 . . 2 60 . . 41 5 . . 64 . 19 58 25 . 17 . 1 42 46 4 . 26 47 . 20 57 59 . 45 48 . 29 . . .
. 58 14 . 17 41 . 61 46 36 26 . 47 34 . 57 . 8 13 . . 39 . 38 15 29 . 44 . 25 56 5 49 9 24 . 12 . 52 33 53 . 35 . . 20 64 . 3 . 37 2 . 43 50 28 10 . 40 54 . 11 55 .
. 36 39 43 4 16 45 28 59 . 21 2 37 33 58 31 25 64 . . . . 10 . . 55 53 . . 1 . 51 18 . 35 . . 27 63 . . 26 . . . . 6 41 49 38 5 11 40 24 . 13 12 61 20 30 57 56 47 .
. . 52 . 62 33 49 37 . 60 10 51 15 11 . 64 23 . . . 44 12 56 30 6 18 . 46 45 57 14 . . 3 2 13 22 . 34 39 40 4 29 8 . . . 21 63 . 31 17 19 41 36 . 59 53 42 32 . 25 . .
. 21 6 56 5 59 . 38 53 X . X 32 63 40 19 . . . 49 14 27 41 1 36 64 37 34 11 . . 3 51 . . 62 25 8 42 30 33 23 47 13 54 . . . 55 46 45 29 X . X 35 24 . 44 17 50 58 52 .
. . . . 46 35 . 53 13 6 . X 30 . 22 24 . . 7 62 . 5 . . 12 41 . 23 . . . 50 37 . . . 20 . 60 28 . . 2 . 10 49 . . 51 58 . 15 X . 54 64 1 . 21 14 . . . .
. . 17 57 21 4 . 22 16 . . 10 . . . . 43 7 39 55 24 13 30 . 3 . 52 29 32 48 8 20 34 56 40 44 60 45 . 41 . 35 14 18 2 6 50 61 . . . . 64 . . 26 38 . 27 28 1 33 . .
. 41 . 61 58 15 12 . 24 63 14 . 26 20 . . 36 9 . 10 . . 27 . 42 . 1 37 19 21 45 55 62 31 43 23 46 47 . 8 . 33 . . 57 . 48 7 . . 52 6 . 56 35 11 . 5 34 29 44 . 18 .
. . . . 30 13 . . . 56 . 25 . . . . . 46 45 28 17 . 54 . . . 50 7 . . . 4 39 . . . 64 20 . . . 60 . 1 8 53 62 . . . . . 34 . 59 . . . 61 35 . . . .
. 56 . . . 62 20 45 8 . . 57 . 19 44 . 34 12 35 37 4 32 . . . . 27 . 47 . . 61 7 . . 9 . 25 . . . . 21 41 59 46 28 39 . 15 54 . 2 . . 1 23 36 3 . . . 50 .
. . 36 28 6 . 25 52 43 64 41 . 18 21 . 45 15 16 61 50 . . X 44 23 35 51 63 56 . . 53 30 . . 2 27 49 17 10 4 X . . 26 58 34 54 47 . 57 38 . 55 8 3 31 20 . 11 46 42 . .
. 19 . 31 55 7 10 44 6 . . 35 . . 34 . . . 18 8 47 52 X 5 25 57 38 . 58 16 54 . . 61 29 1 . 32 11 24 12 X 40 3 43 15 . . . 28 . . 37 . . 48 56 22 60 21 64 . 41 .
. 33 46 . . 43 . . . . . 47 . 53 55 . 38 1 31 . 41 22 . 21 60 10 6 . 62 12 9 34 54 52 36 4 . 16 15 18 11 . 56 20 . 19 44 45 . 61 7 . 30 . . . . . 63 . . 48 24 .
. 59 48 37 8 64 . . . . 1 61 51 . 23 5 62 11 . 56 19 58 40 20 . . 46 31 . 44 39 26 57 50 13 . 28 3 . . 25 55 17 27 36 . 32 42 10 45 . 12 60 16 . . . . 52 9 54 4 43 .
. 13 37 60 61 38 52 . . . 59 30 55 25 . 46 7 6 22 2 58 . . . 17 47 28 51 . . 34 . . 64 . . 54 62 3 50 . . . 19 14 44 29 26 45 . 41 21 57 35 . . . 23 53 16 8 63 4 .
. 14 12 . 51 18 . 16 . . 50 20 11 . 1 . . . 41 38 . 8 61 . 43 . 59 60 . 45 25 22 27 55 57 . 52 63 . 9 . 39 6 . 24 17 . . . 26 . 23 5 48 . . 42 . 15 3 . 36 56 .
. 53 . 10 43 . 1 48 12 38 37 . 39 23 52 63 31 35 20 45 36 62 51 . 56 50 X 18 41 . 30 54 22 15 . 25 8 X 7 34 . 11 64 4 13 5 55 3 58 47 60 33 . 19 16 42 40 21 . 46 49 . 29 .
. . 4 19 . 63 22 46 49 . 60 53 . 2 26 47 33 24 44 39 57 . 13 40 61 . . 3 . 42 29 21 16 6 14 . 51 . . 1 62 37 . 34 41 36 54 35 32 7 10 . 50 38 . 9 17 11 59 . 52 31 . .
. 3 . . 29 20 . 64 45 . 13 43 . 24 4 56 . 63 . 16 . 53 . 10 . . . . 35 49 55 48 19 2 47 31 . . . . 46 . 1 . 25 . 58 . 30 6 14 . 52 39 . 40 22 . 33 26 . . 61 .
. 50 . . 9 . 41 42 3 5 . 36 . . . 35 . 26 23 14 43 . 29 . 53 19 15 32 37 . 33 . . 20 . 45 30 60 21 11 . 51 . 47 16 56 52 . 8 . . . 4 . 46 18 54 12 . 2 . . 62 .
. . 62 32 . 47 39 8 18 40 22 . 48 6 29 . . 28 . 15 12 . 59 19 1 . 16 38 46 58 36 . . 49 26 37 41 4 . 35 27 53 . 21 45 . 43 . . 13 17 61 . 63 3 25 44 64 14 . 34 50 . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

phil
philvo
 
Posts: 14
Joined: 18 January 2022

Re: giant sudokus

Postby m_b_metcalf » Tue Feb 01, 2022 1:06 pm

philvo wrote:Hello Mike,
I will check you last grids with interest.
I have also worked on the 64x64 X-sudoku you have upgraded (your post Tue May 18, 2021 6:33 pm)
I have removed 40 additionnal cells by keeping the horizontal and vertical symmetry. I rate this grid EXTREME-23.
The removed cells are marked by X (to change by a dot for a clean grid).

My summary of the results for the different versions is:
Code: Select all
your original    19s   SE~7 - 8      2536 givens
13.5.2021        44s   SE~7 - 8      2504 givens
18.5.2021        37s   SE5.0         2400 givens
one above       382s   SE~9          2460 givens


Regards,

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

Re: giant sudokus

Postby creint » Tue Feb 01, 2022 8:12 pm

My solver is not that fast, SAT solvers are fast.
Code: Select all
one above       ~650-730s   SE~9  many layers of nets.


If you have time for it m_b_metcalf, can you give next step for following pencilmarks:
Sudoku 36x36
https://pastebin.com/Mp8srRGn

X-Sudoku 36x36
https://pastebin.com/PRN7xVPa
creint
 
Posts: 339
Joined: 20 January 2018

Re: giant sudokus

Postby m_b_metcalf » Wed Feb 02, 2022 8:36 am

creint wrote:If you have time for it m_b_metcalf, can you give next step for following pencilmarks:
Sudoku 36x36
https://pastebin.com/Mp8srRGn

X-Sudoku 36x36
https://pastebin.com/PRN7xVPa

Could you possibly provide the pencilmarks for these sukakus in this format:
Code: Select all
13,34                           
33                               
7,27                             
16                               
18                               
1,19                             
5                                 
36                               
29                               
15                               
8,19,24     
etc.
 
?
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 13174
Joined: 15 May 2006
Location: Berlin

Re: giant sudokus

Postby creint » Wed Feb 02, 2022 1:51 pm

Replace spaces with single space, convert remaining spaces with newline:

Sudoku 36x36 lines
https://pastebin.com/NK1Cdn2g

X-Sudoku 36x36 lines
https://pastebin.com/pH3bj353
creint
 
Posts: 339
Joined: 20 January 2018

Re: giant sudokus

Postby philvo » Wed Feb 02, 2022 3:49 pm

Hello Mike,
For grids in your mail (Mon Jan 31, 2022 7:02 pm), the results are :
#1 Grid 100x100 (75 5 63 26 . 16 . 70 56 51 27 . . . 41 64) : Evil-20 / 1h37 to solve
#2 Grid 100x100 (. 1 . 93 44 54 . 49 45 52 100 16 24) : Evil-20 / 10 min to solve
#3 Grid 100x100 (grid 2 with 9 cells removed) : Evil-20 / 25 min to solve
#5 X-sudoku 36x36 by hkociemba1 (mail Tue Feb 01, 2022 10:28 am) : incredible difficulty. I try different solving methods, but up to now, I didn't get the solution.
Phil.
philvo
 
Posts: 14
Joined: 18 January 2022

Re: giant sudokus

Postby m_b_metcalf » Wed Feb 02, 2022 5:01 pm

philvo wrote:#5 X-sudoku 36x36 by hkociemba1 (mail Tue Feb 01, 2022 10:28 am) : incredible difficulty. I try different solving methods, but up to now, I didn't get the solution.

Nor do I!
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 13174
Joined: 15 May 2006
Location: Berlin

Re: giant sudokus

Postby m_b_metcalf » Wed Feb 02, 2022 5:05 pm

creint wrote:Sudoku 36x36 lines
https://pastebin.com/NK1Cdn2g

My program solves this in 54s, telling me as a start that
Hidden Text: Show
Code: Select all
 At  2 16 cannot have  13
 At  3 16 cannot have  13
 At  6 16 cannot have  13
 At  7 16 cannot have  13
 At  9 28 cannot have  30
 At 13 18 cannot have   9
 At 13 18 cannot have  13
 At 13 26 cannot have   8
 At 13 26 cannot have  11
 At 13 30 cannot have   8
 At 14  8 cannot have  18
 At 14 35 cannot have   8
 At 15 32 cannot have  18
 At 17  1 cannot have   9
 At 17 33 cannot have   7
 At 17 33 cannot have  23
 At 18 24 cannot have   8
 At 18 26 cannot have  18
 At 18 32 cannot have  17
 At 18 32 cannot have  28
 At 18 35 cannot have   8
 At 21 15 cannot have  22
 At 22 18 cannot have  11
 At 22 32 cannot have  30
 At 25 27 cannot have  19
 At 26 26 cannot have   8
 At 26 26 cannot have  11
 At 26 30 cannot have  11
 At 29 13 cannot have   5
 At 29 18 cannot have  11
 At 29 29 cannot have  11
 At 30 12 cannot have   5
 At 31 18 cannot have  11
 At 32 16 cannot have  13
 At 33 12 cannot have  17
 At 33 18 cannot have  11
 At 35 16 cannot have  21
 At 35 16 cannot have  23
 At 35 33 cannot have  13
 At 36 14 cannot have  23
 At 36 23 cannot have  17
 At 36 24 cannot have  17
 At 36 33 cannot have  13
 At 36 35 cannot have  13
 At 36 36 cannot have  34

X-Sudoku 36x36 lines
https://pastebin.com/pH3bj353

I am unable to solve this puzzle. I assume it's SE10+.

[Edit: I see now that this is the hkociemba1 puzzle above. You could have mentioned that!]
Mike
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 13174
Joined: 15 May 2006
Location: Berlin

Re: giant sudokus

Postby creint » Thu Feb 03, 2022 8:21 pm

G36_160_m_b_metcalf SE~9 69s (contradictions), 54s with the pencilmarks I gave.
My solver can now solve this in 386s using locked sets with size 2-4 inside nets.
It can solve some SE 9.9 sudoku without using those nets, so its probably on the high end of SE 9.
How can your solver be so fast?
creint
 
Posts: 339
Joined: 20 January 2018

Re: giant sudokus

Postby m_b_metcalf » Fri Feb 04, 2022 8:36 am

creint wrote:How can your solver be so fast?

That's hard to answer. I use a completely different technique based solely on logic, no brute force. It appears to be a better approch for this particular problem.

M
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 13174
Joined: 15 May 2006
Location: Berlin

Re: giant sudokus

Postby philvo » Sun Feb 06, 2022 8:15 pm

Hello,
I (and my PC) spent part of the week-end trying to solve the 36 X-sudoku by hkociemba1.
I reached level EXTREME-145, but I have not found the solution yet !
This grid certainly has a record of difficulty for 36x36 X-sudoku.

By the way, my personal record is this 3-symmetry 16x16 X-sudoku that I have generated some years ago.
I rate this X-sudoku EXTREME-446.

. . . . 16 12 . . . . 7 3 . . . .
. . . . . 2 . 7 4 . 11 . . . . .
. . . 6 11 1 15 10 9 5 2 8 14 . . .
. . 1 . . . . 3 6 . . . . 7 . .
10 . 9 . . . . 12 5 . . . . 4 . 2
8 14 3 . . . . 2 1 . . . . 13 5 7
. . 4 . . . . . . . . . . 16 . .
. 6 16 5 3 13 . . . . 8 14 1 11 12 .
. 2 5 13 9 11 . . . . 1 16 8 15 4 .
. . 8 . . . . . . . . . . 12 . .
1 12 10 . . . . 6 14 . . . . 5 9 11
3 . 11 . . . . 1 8 . . . . 2 . 13
. . 14 . . . . 5 3 . . . . 8 . .
. . . 9 14 7 2 11 16 10 13 1 4 . . .
. . . . . 9 . 16 2 . 14 . . . . .
. . . . 12 4 . . . . 5 6 . . . .


phil
philvo
 
Posts: 14
Joined: 18 January 2022

PreviousNext

Return to Sudoku variants