SiSeSuSo = Simple Serial Sudoku Solver

Programs which generate, solve, and analyze Sudoku puzzles

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby urhegyi » Wed Nov 15, 2023 11:19 pm

Another test this time with a self generated jigsaw:
AIC length default 9 --> forcing net
AIC length customized 15 --> hardest step 11 link AIC
Code: Select all
#1//B4,JS
9...7...4...4.8.....1...7.........1.3...8...9.5.....3...4...5.....6.7.......6...1
111112222115588822155577882159578862359777862359976864399776664339996644333344444

Code: Select all
Summary eliminated candidates per Method And per Sudoku

Method   \  Sudoku |   SER |     1 Total/Methods
                   |-------|-----------------
Solved Clue elims  |     0 |    79    79/0
Naked Singles      |   0.1 |    12    12/12
Hidden Singles     |   0.2 |    91    91/50
Naked Pair         |     3 |     8     8/4
Naked Triple       |   3.6 |     4     4/2
Naked Quad         |     5 |     1     1/1
Hidden Quad        |   5.4 |     6     6/1
Pointing/Claiming  |   2.8 |    53    53/26
Locked Singles [3] |   2.9 |     9     9/9
X-Wing         [2] |   3.2 |     2     2/2
WXYZ Wing     [B4] |   5.5 |     3     3/3
...XYZ Wing   [C]  |   4.5 |     2     2/1
Turbot-fish    [3] |   4.5 |    11    11/9
XY-chain[13 links] |   5.6 |     2     2/2
AIC-chain[7 links] |   6.1 |     6     6/6
AIC-chain[9 links] |   6.7 |     2     2/2
AIC-chain[11links] |   7.2 |     2     2/1
                   |-------|-----------------
Eliminated Cand's  |   293 |   293
Sum(SER * Cand's)  | 426.7 | 426.7

Initial Candidates :   293
Maximum SER rating :   7.2 <- Approach
Labour rating      : 426.7 <- Experimental rating
Time needed        : 00:00:34.751
SiSeSuSo Solver and Generator (version 2023-11)
urhegyi
 
Posts: 756
Joined: 13 April 2020

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby Hajime » Fri Nov 17, 2023 8:28 am

urhegyi wrote:Another test this time with a self generated jigsaw:
AIC length default 9 --> forcing net
AIC length customized 15 --> hardest step 11 link AIC

Yes, but the AIC search tree becomes so large and takes so much time, it is not pleasant anymore.
I don't know how to speed it up. Maybe BFS in stead of DFS, but the length of the chain will not become shorter....
User avatar
Hajime
 
Posts: 1386
Joined: 20 April 2018
Location: Fryslân

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby urhegyi » Tue Nov 21, 2023 8:46 am

The first jigsaw I found which needed not only a 11 link AIC but for the first time also one with length 13!
Code: Select all
#1//B4,JS
..6...3...........8...4...97.......1.4.....2.1.4...2.65...2...3...976.....7...5..
111333222141113332141333222444666525484666525484666555888777959877799959888777999

Code: Select all
Summary eliminated candidates per Method And per Sudoku

Method   \  Sudoku |   SER |     1 Total/Methods
                   |-------|-----------------
Solved Clue elims  |     0 |    88    88/0
Naked Singles      |   0.1 |    52    52/52
Hidden Singles     |   0.2 |    23    23/8
Naked Single       |   2.5 |     1     1/1
Naked Pair         |     3 |    23    23/9
Naked Triple       |   3.6 |     3     3/1
Naked Quad         |     5 |     5     5/3
Hidden Quad        |   5.4 |    10    10/6
Hidden Triple      |     4 |     4     4/1
Hidden Pair        |   3.4 |     8     8/1
Pointing/Claiming  |   2.8 |    39    39/22
Locked Singles [3] |   2.9 |     2     2/2
Turbot-fish    [3] |   4.5 |     4     4/3
XY-Wing  [5 links] |   4.2 |     2     2/1
AIC-chain[11links] |   7.2 |     1     1/1
AIC-chain[13links] |   7.4 |     2     2/1
                   |-------|-----------------
Eliminated Cand's  |   267 |   267
Sum(SER * Cand's)  | 377.7 | 377.7

Initial Candidates :   267
Maximum SER rating :   7.4 <- Approach
Labour rating      : 377.7 <- Experimental rating
Time needed        : 00:02:43.608
SiSeSuSo Solver and Generator (version 2023-11)
urhegyi
 
Posts: 756
Joined: 13 April 2020

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby creint » Tue Nov 21, 2023 9:47 pm

Code: Select all
#1//B4,JS
..6...3...........8...4...97.......1.4.....2.1.4...2.65...2...3...976.....7...5..
111333222141113332141333222444666525484666525484666555888777959877799959888777999


This one only needs (or less):
locked singles, hidden/naked pairs, generic x-wings and one simple forcing chains of length 7.
creint
 
Posts: 397
Joined: 20 January 2018

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby urhegyi » Thu Nov 23, 2023 9:46 pm

creint wrote:
Code: Select all
#1//B4,JS
..6...3...........8...4...97.......1.4.....2.1.4...2.65...2...3...976.....7...5..
111333222141113332141333222444666525484666525484666555888777959877799959888777999


This one only needs (or less):
locked singles, hidden/naked pairs, generic x-wings and one simple forcing chains of length 7.

Only one simple forching chain?
Can you show the solvepath?
urhegyi
 
Posts: 756
Joined: 13 April 2020

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby Hajime » Fri Nov 24, 2023 10:40 pm

I am too really interesting in creint's solving path.
The method used in SiSeSuSo can surely be better.
The elapsed time is too much.
I am busy to speed things up, but always open for other solutions.
User avatar
Hajime
 
Posts: 1386
Joined: 20 April 2018
Location: Fryslân

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby Hajime » Mon Nov 27, 2023 3:41 pm

Busy with speeding up AIC method. Found a better search.
The last puzzle after basics:
Image
A skyscraper is almost there in (7)r5c9=r2c9-r2c7=r5c7 => (-7)r5c4 (-7)r5c6 (-7)r6c8
Almost because r3c7 with candidate 7 is spoiling it.
BUT what IF r5c9 <>7 => r2c9=7
THEN eliminate "7" in all cells of each houses of r2c9, but remember all cells *)
THEN r3c7<>7 and we have a valid Skyscraper.
THEN restore all eliminations of *)
THEN (-7)r5c4 (-7)r5c6 (-7)r6c8
DONE :D (Later this happens for the 2nd time)

Code: Select all
Summary eliminated candidates per Method And per Sudoku

Method   \  Sudoku |   SER |     1 Total/Methods
                   |-------|-----------------
Solved Clue elims  |     0 |  2459  2459/0    <--- here some errors in the counting, work to do
Naked Singles      |   0.1 |    46    46/46
Hidden Singles     |   0.2 |    34    34/14
Naked Pair         |     3 |    21    21/8
Naked Triple       |   3.6 |     9     9/3
Hidden Triple      |     4 |     4     4/1    <--- Naked/Hidden Quads excluded
Hidden Pair        |   3.4 |     8     8/1
Pointing/Claiming  |   2.8 |    41    41/22
Locked Singles [3] |   2.9 |     3     3/3
X-Wing         [2] |   3.2 |     3     3/1
Turbot-fish    [3] |   4.5 |    10    10/4    <--- Skyscraper counted double, work to do
                   |-------|-----------------
Eliminated Cand's  |  2638 |  2638
Sum(SER * Cand's)  | 328.1 | 328.1

Initial Candidates :   267
Maximum SER rating :   4.5 <- Approach
Labour rating      : 328.1 <- Experimental rating
Check (conflict)   :   267 - 2638 = -2638
Time needed        : 00:00:03.284
SiSeSuSo Solver and Generator (version 2023-12)

The complete solving path is:
Hidden Text: Show
Code: Select all
[1,1] r1c2=7 Hidden Single in col 2
[2,1] Naked/Hidden Pairs,Triplets,Quads  | NSept (1356789)J6e2456789 => (-3568)r4c4 (-3589)r4c6
[3,1] Naked/Hidden Pairs,Triplets,Quads  | NPair (24)r4c46 => (-2)r4c2 (-2)r4c3 (-4)r4c7 (-4)r4c8
[4,1] Pointing, Claiming  | (7)J7,r7 => (-7)r7c8 | (5)J7,r8 => (-5)r8c8 | (4)c1,J1 => (-4)r2c4 | (2)J4,c2 => (-2)r9c2 | (2)c3,J1 => (-2)r1c1 (-2)r2c1 (-2)r2c4 | (4)c7,J9 => (-4)r8c9 (-4)r9c8 (-4)r9c9 | (3)J5,c8 => (-3)r2c8 | (4)J5,c8 => (-4)r1c8
[5,1] Naked/Hidden Pairs,Triplets,Quads  | NPair (28)c9r89 => (-8)r1c9 (-8)r2c9 (-8)r5c9 | NPair (28)J9e69 => (-8)r7c7 (-8)r8c7 (-8)r9c8
[6,1] Pointing, Claiming  | (2)r1,J3 => (-2)r2c6 (-2)r3c4 (-2)r3c6 | (4)r9,J7 => (-4)r7c4 (-4)r7c6 | (8)J2,c8 => (-8)r2c8 (-8)r6c8 (-8)r7c8 (-8)r8c8
[7,1] Pointing, Claiming  | (8)J5,c7 => (-8)r2c7
[8,1] Generalized Intersection  | (1)r1,c8,J3 => (-1)r2c8 | (6)c7,r3,J3 => (-6)r3c4 | (9)J9,r7,c8 => (-9)r7c8
[9,2] r7c8=4 Naked Single
[9,3] r8c8=3 Naked Single
[10,4] r8c1=2 Naked Single
[10,5] r8c9=8 Naked Single
[10,6] r9c9=2 Naked Single
[11,7] r8c7=4 Hidden Single in row 8
[12,7] Naked/Hidden Pairs,Triplets,Quads  | NPair (15)J7e45 => (-1)r7c4 (-1)r7c6 (-1)r9c4 (-1)r9c5 (-1)r9c6
[13,7] Pointing, Claiming  | (6)J3,r2 => (-6)r2c2 | (3)J7,r9 => (-3)r9c1 (-3)r9c2 | (3)J8,c2 => (-3)r2c2 (-3)r3c2 (-3)r4c2
[14,8] r6c2=3 Hidden Single in col 2
[15,8] Pointing, Claiming  | (8)r6,J6 => (-8)r4c5 (-8)r5c4 (-8)r5c5 (-8)r5c6
[16,8] 2-String-Kite,SkyScraper,TurbotCrane  |
Skyscraper (7)r5c9=r2c9-r2c7=r5c7 => (-7)r5c4 (-7)r5c6 (-7)r6c8
[17,8] X-Wing  |
X-Wing (7)r67c46 => (-7)r2c6 (-7)r3c4 (-7)r3c6
[18,8] Naked/Hidden Pairs,Triplets,Quads  | NSext (123589)J3e123479 => (-19)r2c7 (-59)r2c8
[19,8] Naked/Hidden Pairs,Triplets,Quads  | NPair (67)r2c78 => (-7)r2c9 | NPair (45)J2e34 => (-5)r1c8 (-5)r3c8 (-5)r4c8 | NPair (45)c9r12 => (-5)r5c9
[20,9] r5c9=7 Naked Single
[21,10] r6c8=5 Hidden Single in col 8
[21,11] r9c8=9 Hidden Single in col 8
[21,12] r7c7=1 Hidden Single in jigsaw 9
[22,13] r9c1=6 Naked Single
[23,14] r7c4=6 Hidden Single in row 7
[23,15] r7c6=7 Hidden Single in row 7
[23,16] r9c2=1 Hidden Single in row 9
[23,17] r6c4=7 Hidden Single in col 4
[23,18] r8c3=1 Hidden Single in jigsaw 7
[23,19] r8c2=5 Hidden Single in jigsaw 7
[24,20] r5c5=6 Hidden Single in row 5
[25,20] Naked/Hidden Pairs,Triplets,Quads  | NTriple (689)r4c278 => (-89)r4c3 (-9)r4c5 | NTriple (135)c4r235 => (-15)r1c4 (-3)r9c4 | NPair (89)J6e89 => (-9)r5c6
[26,20] Pointing, Claiming  | (1)J1,r2 => (-1)r2c6 | (5)J4,c3 => (-5)r2c3 (-5)r3c3
[27,20] Pointing, Claiming  | (5)J1,r2 => (-5)r2c6 (-5)r2c9 | (5)r3,J3 => (-5)r1c5 (-5)r1c6
[28,21] r2c9=4 Naked Single
[29,22] r1c9=5 Naked Single
[30,23] r1c1=4 Hidden Single in row 1
[31,23] Naked/Hidden Pairs,Triplets,Quads  | NTriple (239)J1e459 => (-3)r2c4 (-39)r2c5
[32,23] Pointing, Claiming  | (9)r1,J3 => (-9)r2c6 | (9)J1,r2 => (-9)r2c2
[33,23] 2-String-Kite,SkyScraper,TurbotCrane  |
Skyscraper (3)r2c1=r5c1-r5c4=r3c4 => (-3)r2c6 (-3)r3c3
[34,24] r2c6=8 Naked Single
[34,25] r3c3=2 Naked Single
[34,26] r6c6=9 Naked Single
[35,27] r1c4=2 Naked Single
[35,28] r1c6=1 Naked Single
[35,29] r1c8=8 Naked Single
[35,30] r2c2=2 Naked Single
[35,31] r3c2=6 Naked Single
[35,32] r3c7=7 Naked Single
[35,33] r3c8=1 Naked Single
[35,34] r4c4=4 Naked Single
[35,35] r4c6=2 Naked Single
[35,36] r4c8=6 Naked Single
[35,37] r6c5=8 Naked Single
[35,38] r9c4=8 Naked Single
[35,39] r9c5=3 Naked Single
[35,40] r9c6=4 Naked Single
[36,41] r1c5=9 Naked Single
[36,42] r2c7=6 Naked Single
[36,43] r2c8=7 Naked Single
[36,44] r4c5=5 Naked Single
[36,45] r5c6=3 Naked Single
[37,46] r2c5=1 Naked Single
[37,47] r3c6=5 Naked Single
[37,48] r4c3=3 Naked Single
[37,49] r5c1=9 Naked Single
[37,50] r5c4=1 Naked Single
[37,51] r5c7=8 Naked Single
[38,52] r2c1=3 Naked Single
[38,53] r2c3=9 Naked Single
[38,54] r2c4=5 Naked Single
[38,55] r3c4=3 Naked Single
[38,56] r4c2=8 Naked Single
[38,57] r4c7=9 Naked Single
[38,58] r5c3=5 Naked Single
[38,59] r7c2=9 Naked Single
[38,60] r7c3=8 Naked Single

Solved with 2 Skyscrapers in 3.3 secs. No forcing Chain of length 7 needed.

Oh yeah: a Skyscraper is a X-chain is a AIC. For all chains only 1 method is implemented, controlled by parameters.
User avatar
Hajime
 
Posts: 1386
Joined: 20 April 2018
Location: Fryslân

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby urhegyi » Wed Nov 29, 2023 8:11 pm

Can you try this 15 clue jigsaw with your newest version and show the solvepath?
Code: Select all
#1//B4,JS
7......6.8.....5..4.........6.8.....5..3.......7....1..1..............52........3
111112333111422233144422333445422236455555556478886566777886669778886999777899999

Summary eliminated candidates per Method And per Sudoku

Method   \  Sudoku |   SER |     1 Total/Methods
                   |-------|-----------------
Solved Clue elims  |     0 |   125   125/0
Naked Singles      |   0.1 |    47    47/47
Hidden Singles     |   0.2 |    67    67/19
Naked Single       |   2.5 |     6     6/2
Naked Pair         |     3 |    17    17/6
Naked Triple       |   3.6 |    13    13/3
Naked Quad         |     5 |     2     2/1
Hidden Triple      |     4 |     8     8/1
Hidden Pair        |   3.4 |     4     4/1
Pointing/Claiming  |   2.8 |    52    52/29
Locked Singles [3] |   2.9 |    13    13/10
X-chain  [5 links] |   5.1 |     1     1/1
AIC-chain[9 links] |   6.7 |     1     1/1
AIC-chain[11links] |   7.2 |     1     1/1
                   |-------|-----------------
Eliminated Cand's  |   357 |   357
Sum(SER * Cand's)  | 388.8 | 388.8

Initial Candidates :   357
Maximum SER rating :   7.2 <- Approach
Labour rating      : 388.8 <- Experimental rating
Time needed        : 00:06:45.948
SiSeSuSo Solver and Generator (version 2023-11)

Image
urhegyi
 
Posts: 756
Joined: 13 April 2020

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby Hajime » Thu Nov 30, 2023 9:56 am

About the same. Some counters still incorrect
But a lot faster :D
Code: Select all
Summary eliminated candidates per Method And per Sudoku

Method   \  Sudoku |   SER |     1 Total/Methods
                   |-------|-----------------
Solved Clue elims  |     0 |496832 496832/0
Naked Singles      |   0.1 |    44    44/44
Hidden Singles     |   0.2 |    75    75/22
Naked Single       |   2.5 |     6     6/2
Naked Pair         |     3 |    17    17/6
Naked Triple       |   3.6 |    13    13/3
Hidden Triple      |     4 |     8     8/1
Hidden Pair        |   3.4 |     4     4/1
Pointing/Claiming  |   2.8 |    52    52/29
Locked Singles [3] |   2.9 |    13    13/10
XYZ Wing      [B3] |   4.4 |     1     1/1
Turbot-fish    [3] |   4.5 |     6     6/4
AIC-chain[5 links] |   5.5 |     4     4/4
AIC-chain[9 links] |   6.7 |     2     2/2
AIC-chain[11links] |   7.2 |     2     2/2
                   |-------|-----------------
Eliminated Cand's  |497079 |497079
Sum(SER * Cand's)  | 442.3 | 442.3

Initial Candidates :   357
Maximum SER rating :   7.2 <- Approach
Labour rating      : 442.3 <- Experimental rating
Check (conflict)   :   357 - 497079 = -497079
Time needed        : 00:00:12.373
SiSeSuSo Solver and Generator (version 2023-12)

Solving path:
Hidden Text: Show
Code: Select all
[1,1] r3c9=5 Hidden Single in row 3
[1,2] r4c3=5 Hidden Single in row 4
[1,3] r4c1=1 Hidden Single in col 1
[1,4] r2c3=6 Hidden Single in jigsaw 1
[1,5] r2c4=4 Hidden Single in jigsaw 4
[2,6] r3c4=7 Hidden Single in col 4
[3,6] Pointing, Claiming  | (1)J1,r1 => (-1)r1c6 (-1)r1c7 (-1)r1c9 | (1)c9,r2 => (-1)r2c5 (-1)r2c6 | (1)r2,J3 => (-1)r3c7 | (2)r5,J5 => (-2)r6c7 | (7)J5,r5 => (-7)r5c9 | (5)J7,c2 => (-5)r1c2 | (7)J7,c2 => (-7)r5c2 | (6)c4,J8 => (-6)r6c5 (-6)r7c5 (-6)r8c5
[4,7] r2c9=1 Hidden Single in row 2
[5,7] Naked/Hidden Pairs,Triplets,Quads  | NTriple (239)c2r123 => (-29)r5c2 (-239)r6c2 (-39)r8c2 (-29)r9c2 | NSext (234789)J2e123789 => (-2389)r3c5 (-2389)r3c6 | NSept (1234679)J2e2356789 => (-2349)r1c6 | NSingle (8)c6r1 => (-8)r5c6 (-8)r6c6 (-8)r7c6 (-8)r8c6 (-8)r9c6
[6,8] r1c6=8 Naked Single
[7,8] Pointing, Claiming  | (4)r1,J3 => (-4)r4c8 | (4)J2,r4 => (-4)r4c9 | (7)J3,c8 => (-7)r5c8 (-7)r7c8 (-7)r9c8
[8,8] Generalized Intersection  | (6)c9,r7,J6 => (-6)r7c6 (-6)r7c7 | (7)r7,c9,J6 => (-7)r4c9 | (7)c9,r7,J6 => (-7)r7c6 (-7)r7c7 | (8)c9,r7,J6 => (-8)r7c7 (-8)r7c8 | (8)J6,r7,c9 => (-8)r7c9 | (7)r7,J9 => (-7)r8c7 (-7)r9c5 (-7)r9c6 (-7)r9c7 | (7)J6,r8 => (-7)r8c2 | (7)J6,c6 => (-7)r2c6 (-7)r4c6 (-7)r5c6
[9,9] r4c9=9 Naked Single
[10,10] r1c9=4 Naked Single
[11,11] r7c9=7 Hidden Single in row 7
[11,12] r8c6=7 Hidden Single in row 8
[11,13] r9c2=7 Hidden Single in row 9
[11,14] r6c2=5 Hidden Single in col 2
[11,15] r7c6=5 Hidden Single in col 6
[11,16] r9c4=5 Hidden Single in jigsaw 8
[12,17] r1c5=5 Hidden Single in row 1
[13,17] Naked/Hidden Pairs,Triplets,Quads  | NPair (68)J6e25 => (-6)r6c6
[14,17] Pointing, Claiming  | (9)J2,r2 => (-9)r2c2 (-9)r2c8 | (4)r5,J5 => (-4)r6c7 | (9)r5,J5 => (-9)r6c7 | (1)J8,r8 => (-1)r8c7 | (2)r9,J7 => (-2)r7c1 (-2)r7c3
[15,17] Naked/Hidden Pairs,Triplets,Quads  | NPair (68)r6c79 => (-6)r6c4 (-8)r6c5
[16,17] Pointing, Claiming  | (9)J1,r1 => (-9)r1c7 | (9)J3,r3 => (-9)r3c2 (-9)r3c3 | (9)J4,r6 => (-9)r6c4 (-9)r6c5 | (9)J4,c1 => (-9)r7c1 (-9)r8c1 (-9)r9c1 | (9)c2,J1 => (-9)r1c3 (-9)r1c4 | (9)J7,c3 => (-9)r5c3 (-9)r8c3 | (9)c4,J8 => (-9)r7c5 (-9)r8c5
[17,18] r6c4=2 Naked Single
[18,19] r1c4=1 Naked Single
[19,20] r1c2=9 Hidden Single in row 1
[19,21] r6c1=9 Hidden Single in row 6
[19,22] r9c1=2 Hidden Single in col 1
[20,22] Naked/Hidden Pairs,Triplets,Quads  | NPair (23)r3c23 => (-23)r3c7 (-23)r3c8 | NPair (23)c3r13 => (-2)r5c3 (-3)r7c3 (-3)r8c3
[21,22] Pointing, Claiming  | (6)r9,J9 => (-6)r8c7 | (3)J8,c5 => (-3)r2c5 (-3)r4c5
[22,22] Generalized Intersection  | (8)r7,c3,J8 => (-8)r8c3 | (4)J7,r8,c3 => (-4)r8c3 | (4)J8,r9,c5 => (-4)r9c5 | (8)J8,r9,c5 => (-8)r9c5 | (4)J8,c5 => (-4)r4c5 (-4)r5c5 | (8)J8,c5 => (-8)r5c5
[23,23] r8c3=1 Naked Single
[24,23] Naked/Hidden Pairs,Triplets,Quads  | NPair (48)r5c23 => (-4)r5c6 (-48)r5c7 (-48)r5c8 (-8)r5c9 | NTriple (468)r5c239 => (-6)r5c5 (-6)r5c6 (-6)r5c7 | NPair (48)J5e23 => (-8)r6c7 | NTriple (346)r6c567 => (-6)r6c9 | NSingle (6)c7r6 => (-6)r9c7
[25,24] r5c9=6 Naked Single
[25,25] r6c7=6 Naked Single
[25,26] r6c9=8 Naked Single
[26,26] 2-String-Kite,SkyScraper,TurbotCrane  |
Turbot Crane (2)r7c7=r7c8-r2c8=r1c7 => (-2)r4c7 (-2)r5c7
[27,26] AIC-chain [links<=11]  |
AIC-M2-Wing [5 links] (4=3)r6c6-(3)r2c6=(3-4)r4c7=(4)r4c6 => (-4)r9c6
[28,26] AIC-chain [links<=11]  |
AIC Type 2 [9 links] (9)r7c3=(9)r7c4-(9)r8c4=(9)r8c7-(9)r3c7=(9-8)r3c8=(8-4)r9c8=(4)r7c8 => (-4)r7c3
[29,26] 2-String-Kite,SkyScraper,TurbotCrane  |
Skyscraper (4)r6c5=r6c6-r7c7=r7c5 => (-4)r8c5
[30,26] AIC-chain [links<=11]  |
AIC Type 2 [11 links] (9=2)r5c8-(2)r2c8=(2)r1c7-(2)r1c3=(2)r2c2-(2)r2c6=(2-4)r4c6=(4)r4c7-(4)r8c7=(4)r9c8 => (-9)r9c8
[31,26] XYZ-Wing  |
XYZ-Wing Type B on {489} in J9e8,J9e2,c7e3 (-8)J9c7 => (-8)r9c7
[32,26] AIC-chain [links<=11]  |
AIC-??-Wing [5 links] (8)r7c5=(8)r7c3-(8)r9c3=(8-4)r9c8=(4)r7c8 => (-4)r7c5
[33,27] r6c5=4 Hidden Single in col 5
[33,28] r4c6=4 Hidden Single in col 6
[34,29] r6c6=3 Naked Single
[35,30] r4c7=3 Hidden Single in jigsaw 2
[35,31] r2c8=3 Hidden Single in jigsaw 3
[35,32] r4c8=7 Hidden Single in jigsaw 3
[36,33] r1c7=2 Naked Single
[36,34] r2c2=2 Naked Single
[36,35] r2c6=9 Naked Single
[36,36] r3c2=3 Naked Single
[36,37] r3c3=2 Naked Single
[36,38] r4c5=2 Naked Single
[36,39] r7c7=4 Naked Single
[36,40] r7c8=2 Naked Single
[37,41] r1c3=3 Naked Single
[37,42] r2c5=7 Naked Single
[37,43] r5c8=9 Naked Single
[38,44] r3c8=8 Naked Single
[38,45] r5c5=1 Naked Single
[38,46] r5c6=2 Naked Single
[38,47] r5c7=7 Naked Single
[38,48] r9c8=4 Naked Single
[39,49] r3c5=6 Naked Single
[39,50] r3c6=1 Naked Single
[39,51] r3c7=9 Naked Single
[39,52] r8c7=8 Naked Single
[39,53] r9c5=9 Naked Single
[39,54] r9c6=6 Naked Single
[39,55] r9c7=1 Naked Single
[40,56] r8c2=4 Naked Single
[40,57] r8c5=3 Naked Single
[40,58] r9c3=8 Naked Single
[41,59] r5c2=8 Naked Single
[41,60] r5c3=4 Naked Single
[41,61] r7c3=9 Naked Single
[41,62] r7c4=6 Naked Single
[41,63] r7c5=8 Naked Single
[41,64] r8c1=6 Naked Single
[41,65] r8c4=9 Naked Single
[42,66] r7c1=3 Naked Single
User avatar
Hajime
 
Posts: 1386
Joined: 20 April 2018
Location: Fryslân

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby creint » Thu Nov 30, 2023 4:38 pm

Code: Select all
#1//B4,JS
7......6.8.....5..4.........6.8.....5..3.......7....1..1..............52........3
111112333111422233144422333445422236455555556478886566777886669778886999777899999


Besides basic locked singles and sets. 1 generic XYZ-wing -2r4c7 and 1 generic X-wing -2r5c78.
creint
 
Posts: 397
Joined: 20 January 2018

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby Hajime » Fri Dec 01, 2023 11:08 am

creint wrote:Besides basic locked singles and sets. 1 generic XYZ-wing -2r4c7 and 1 generic X-wing -2r5c78.

Is the generic XYZ-wing a WXYZ-wing, for jigsawpiece 3 and row 4? Please clarify.
For -2r4c7 in stead a Turbot-fish was found in my solving path, because Turbot is earlier than WXYZ in the method search.
The X-Wing is a grouped X-wing, that SiSeSuSo cannot find yet.
User avatar
Hajime
 
Posts: 1386
Joined: 20 April 2018
Location: Fryslân

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby creint » Fri Dec 01, 2023 6:39 pm

XYZ-Wing
r4c8 r1c7 r4c5
237 23 27

Fishes:
jigsawpiece 3 and (piece 6 or row 7) with column 7 and 8
jigsawpiece 2 and (piece 5 or row 5) with column 5 and 6
creint
 
Posts: 397
Joined: 20 January 2018

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby Hajime » Thu Dec 07, 2023 10:54 am

Great find crient ! My solver is not yet smart enough to find generic XYZ-wing or generic X-wing.

The december 2023 version of SiSeSuSo.exe is now available at
https://sites.google.com/site/sisesuso .

Changes in version 2023-12:
  • XY,H,M2,M3,W,S,L1,L2,L3-Wing method added, which is an AIC of 3 strong and 2 weak links.
  • Added an option to AIC method (in Settings) to temporary eliminate more candidates.
  • Added a extra "0"-button to manual erase a clue from a cell.
User avatar
Hajime
 
Posts: 1386
Joined: 20 April 2018
Location: Fryslân

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby urhegyi » Thu Dec 28, 2023 6:29 pm

A good testing example for the new choping technique built-in version 12:
Code: Select all
+---+---+---------------------------+
| . | . | .   .   .   .   .   1   8 |
|   |   +---------------+---+---+   |
| . | .   .   .   5   . | . | . | . |
|   +---------------+   |   |   |   |
| . | .   .   .   . | . | . | . | . |
|   |       +---+---+   |   |   +---+
| . | .   . | . | 3 | . | . | 6   . |
|   |       |   |   |   |   |       |
| . | .   . | . | . | . | . | .   . |
|   |   +---+   |   +---+   +---+   |
| . | 1 | 8   2 | .   .   . | . | . |
|   +---+---+   +---+-------+   |   |
| .   7   . | 4 | . | .   .   . | . |
+-----------+   |   |           |   |
| .   .   .   . | . | .   .   . | . |
+---------------+   +-------+   +---+
| .   .   .   .   6   .   . | 9   . |
+---------------------------+-------+
#1//B4,JS
.......18....5.................3..6...........182......7.4..................6..9.
123333333122222453166662453166742455166742455167744485111798885777798885999999988
urhegyi
 
Posts: 756
Joined: 13 April 2020

Re: SiSeSuSo = Simple Serial Sudoku Solver

Postby Hajime » Fri Dec 29, 2023 8:43 am

Oh yeah. I forgot to mention....
  • Jigsaw pieces drawing in ASCII layout added.
Like the puzzle above from urhegyi.
:P
User avatar
Hajime
 
Posts: 1386
Joined: 20 April 2018
Location: Fryslân

PreviousNext

Return to Software