Busy with speeding up AIC method. Found a better search.
The last puzzle after basics:
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
(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:
- 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.