Help With Sudoku Explainer

Interactive on-site game threads go here

Re: Help With Sudoku Explainer

Postby m_b_metcalf » Sat Oct 12, 2019 9:51 am

tarek wrote:If there is a list of all the SE puzzles showing Turbot fish (ER=6.6) then it would be helpful for testing reasons.

This is a short list to start you off:
Hidden Text: Show
Code: Select all
102000300000003040503060007000100080007000100010004000700080509090200000006000803  66  66  26 m_b_metcalf 2001
000010000002304100050000060700000001060502080004000300090070050003000800000090000  66  66  26 m_b_metcalf 1123
000102000030040050600000007005000800070903020900000001100000003020050040004000600  66  66  26 m_b_metcalf 1045
000000000009508100010903070076000820000050000032000410020401060004705900000000000  66  66  26 m_b_metcalf  644
009000500000107000800050006020908070006000900090502010700030004000204000001000800  66  66  26 m_b_metcalf  780
000102000000304000005060700080000010007605800200000003100000004006040500030000020  66  66  26 m_b_metcalf 1024
000000000012000340040506070005060800000304000006070200020103090093000780000000000  66  66  26 m_b_metcalf 1311
000000000009508100010903070076000820000050000032000410020401060004705900000000000  66  66  26 m_b_metcalf  624
000001200030040050607300800900000500040000090002000001003005708070010060008200000  66  66  26 m_b_metcalf  294
010000020030405060507000408000702000009000300000901000201000906070509010090000040  66  66  26 m_b_metcalf 1523
000001002030000040005670000007003100008040000600500000000900800020000030400000007  66  66  26 m_b_metcalf 1375
040030000305108000090020000070000020206000104080000030000080090000709805000060040  66  66  28 m_b_metcalf  942
010000020030405060506000403000708000008000600000906000102000307070103080090000050  66  66  30 m_b_metcalf 1524
100020000030004500006700080008000070900000002040000300050003004007200090000010600  66  66  30 m_b_metcalf 3903
001000200020003040500000607000008090000090000030704000807000006040900070006000500  66  66  30 m_b_metcalf 3376
001000200020003040405000001000006030000050000070408000900000105060200070008000900  66  66  30 m_b_metcalf 3275
008005900020000010300700002007800006000000000900007500400009003050000070002600800  66  66  34 m_b_metcalf  889
001000002030004010500060700000008000080070040000900000005020009040800030100000600  66  66  34 m_b_metcalf 1711
100002300000040050000600007000030020008905100010060000500004000020090000003700008  66  66  34 m_b_metcalf   57
001000200030004050600070008000100040009060300020005000500040006090300020007000800  66  66  34 m_b_metcalf 1664
000100203000405010000026007350000780008000300067000094800790000040802000903004000  66  66  36 m_b_metcalf 2755
000000000001708300090506070023000850000000000075000490050804060004301500000000000  66  66  40 m_b_metcalf  916
102000300040000050300004201000601700000050000008309000601800007090000080003000106  66  66  40 m_b_metcalf 1402
100000200030100040005000001001400005020060070800003900900000800070005030003000006  66  66  66 m_b_metcalf 3636
000001020100340000005020600300070080087603250050080007003050400000039002070400000  66  66  66 m_b_metcalf   80
000000001000023450002600000001067080080500004050800070010000807030906000400080900  66  66  66 m_b_metcalf 3593
012030000405000200360200000007600100800007050000080009020900300000010060000005007  66  66  66 m_b_metcalf 4203
010002300400050600000000078000080005060205010200040800140008000009070006007500080  66  66  66 m_b_metcalf 3395
001020300040506070700030006030000080804000503020000010400070009090108030006090800  66  66  66 m_b_metcalf  340
500007003060040020008600000002000007050020080100000200000006900090080050300100004  66  66  66 m_b_metcalf  694
000007500010040080600900000300070800070408020008030009000004005030010040005600000  66  66  66 m_b_metcalf  569
001002003000040050200600700002100005070000060800004300003008009050090000600700500  66  66  66 m_b_metcalf 3034
100230004005006000020000700500003080300020007090100050007000800000904000600050001  66  66  66 m_b_metcalf 3200
009307600060000050800020004100203005008000300300809001400090007050000090002701500  66  66  66 m_b_metcalf  663
102000300040000050600007801000503600000000000007108000503400008010000090006000705  66  66  66 m_b_metcalf 1492
001002003030040500600700080005000007080070040400000600010006002002010050500200100  66  66  66 m_b_metcalf 1685
000400700010306000000092001940000060008000500030000028200180000000205090007004000  66  66  66 m_b_metcalf 3093
100020003004500000063007040600000010018000670050000009030200890000009400800050001  66  66  66 m_b_metcalf 3557
001020300030010040500603007008000400210000085009000200900106004040070090005090600  66  66  66 m_b_metcalf  422
000001230400030000500600000300107600080000010004809003000002009000090007097400000  66  66  66 m_b_metcalf 2630
000001020300000400056700800700080500000106000002030009008005940003000006010200000  66  66  66 m_b_metcalf  139
100200300004005060070800009506008900000000800040100023400570000050001000001009007  66  66  66 m_b_metcalf 3308
100002030004500600020070008050000040002090006400000900040007500700900001001030060  66  66  66 m_b_metcalf  366
000001002000020034000430560001304000073010008900800000009000070058000900210060005  66  66  66 m_b_metcalf 4240
012000300405060000760800000006400200090080040000001003500200100000040020000007008  66  66  66 m_b_metcalf 4308
000001002000030040001500600005200070070040008100005300009006000010800009300050080  66  66  66 m_b_metcalf 3705
001007009070000050300090200000503004003000500600109000008010005020000080700400600  66  66  66 m_b_metcalf  260
100002003040500200002000060020040000000708001900063000050000400006000090300070008  66  66  66 m_b_metcalf 4381
000000001000002000000310450006007008002006030070250090001000805009045060300600900  66  66  66 m_b_metcalf 3515
000001002000030450004000016000070000030506800200090074080060200092004000105009000  66  66  66 m_b_metcalf 3862
000001002000020031000400560007000050060004200800090004006050003019700020380009700  66  66  66 m_b_metcalf 4116
001020030450003060003000107040080000800206004000050080708000900020900071010060300  66  66  66 m_b_metcalf  161
010002000300400005000060070800503010007000500040607002020030000900001004000700050  66  66  66 m_b_metcalf 3783
001200000030004200500000060100300070000000003040008001010000004007900000000056900  66  66  66 m_b_metcalf  486
000000100000020034001040560070002006005080300800300090089030700240090000007000000  66  66  66 m_b_metcalf 2032
012000300450200000607000002020300001000005600000040080300010700000006040008900005  66  66  66 m_b_metcalf 4426
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 10762
Joined: 15 May 2006
Location: Berlin

Re: Help With Sudoku Explainer

Postby 1to9only » Sat Oct 12, 2019 10:17 am

my turbots from patterns games 1 to 360 inclusive.
er_66.zip
many turbots
(15.6 KiB) Downloaded 17 times
1to9only
 
Posts: 1632
Joined: 04 April 2018

SE16

Postby 1to9only » Sat Oct 12, 2019 12:35 pm

probably not very useful - but this has 4 turbot fishes - puzzle is m_b_metcalf's modification here of monstersudoku's puzzle here.

Code: Select all
.E..F..N.O.L.P..
K..PBD...A.CE.N.
.....M.AE.......
..IO..L...B..D.H
.PB.OCN..IG...D.
FLDM........NB..
...E....KH..GMO.
......M.C.J....I
P....N.L.K.....O
.BML..GC....H...
..OC.H......BGKJ
.H...BJ...OM.AI.
MJK......N..AI..
.......BH.L...M.
.I..H......JO..F
..L...K.G.....B. ED=9.2/1.2/1.2

Analyzing Sudoku #1
152 Hidden Single
2 Direct Pointing
5 Direct Hidden Pair
1 Naked Single
1 Direct Hidden Triplet
22 Pointing
7 Claiming
2 Naked Pair
1 X-Wing
2 Hidden Pair
1 Naked Triplet
2 Hidden Triplet
1 Jellyfish
4 Turbot Fish
18 Forcing Chain
1 Bidirectional Cycle
3 Region Forcing Chains
6 Dynamic Region Forcing Chains
5 Dynamic Cell Forcing Chains
1 Dynamic Contradiction Forcing Chains
1 Dynamic Double Forcing Chains
Hardest technique: Dynamic Region Forcing Chains
Difficulty: 9.2
1to9only
 
Posts: 1632
Joined: 04 April 2018

Re: Help With Sudoku Explainer

Postby creint » Sat Oct 12, 2019 5:46 pm

tarek wrote:I've now added a satisfactory wxyz-wing and vwxyz-wing (different and better than sunny-shine's implementation) to the Master branch of the repository and should be available in the next release. These when used would make the APE technique redundant.

Code is not easy to read, unless you know what is supposed to do. And it's not easy to extend for larger wings.
An implementation of Almost locked sets could be more useful. Two almost locked sets (naked/hidden) that are sharing cells/links. But implementing this in chains is more powerful.

-About APE, from what I can understand from the code it only uses single cells and not almost locked sets.
-About Locked sets, code can be optimized which could speed up finding forcing-chains. This speedup is visible on larger grids.
creint
 
Posts: 160
Joined: 20 January 2018

Re: Help With Sudoku Explainer

Postby tarek » Sat Oct 12, 2019 11:47 pm

Thanks Mike and 1to9only … testing in progress

1to9only, I can see that your 16x16 SE implementation now is much better than what you presented before!

creint wrote:An implementation of Almost locked sets could be more useful. Two almost locked sets (naked/hidden) that are sharing cells/links. But implementing this in chains is more powerful.

-About APE, from what I can understand from the code it only uses single cells and not almost locked sets.
-About Locked sets, code can be optimized which could speed up finding forcing-chains. This speedup is visible on larger grids.


The wxyz and vwxyz wings as I implemented them are simple types of ALS-xz wing where the smaller ALS is a single bivalue cell. As I have more or less analysed/written them from scratch (they are based on the XY wing code), I'm happy to extend to uvwxyz tuvwxyz wing but this is only to catch these fantastic looking beasts. I can add them as techniques but will be disabled by default

APE is made from 4 separate cells with 3 of those cells being bivalue and are linked to the 4th cell … It is therefore a small subtype of wxyz wing where the larger ALS is made up of 3 cells (2 of them bivalue) with the biggest of these 3 cells having restricted common with the 4th bivalue cell. The logic used by SE to explain APE is not what is used to explain the wxyz wing.

ALS techniques are definitely the way forward …
Optimization is definitely needed as rating puzzles is relatively slow compared to C/C++ implementation

Testing finished...
All Turbot fishes rated 6.6 have been caught by the 2-strong links catcher … There were few puzzles rated 6.6 that were Bidirectional Y or X cycles that were excluded from testing

I will be adding the updated techniques to NewTechniques branch shortly then will update you when they appear in Master branch of the repository
User avatar
tarek
 
Posts: 3531
Joined: 05 January 2006

Re: Help With Sudoku Explainer

Postby 1to9only » Sun Oct 13, 2019 10:41 am

There are other turbot fishes in the form x.x/6.6/6.6 - those from the patterns games are hidden below.
Hidden Text: Show
Code: Select all
..1..2..3.2.....4.5...6.7.....2.3..5..2...3..8..6.9.....5.9...1.4.....3.7..8..9.. # 0047  38    6.7/6.6/6.6 - m_b_metcalf
.....3.6..8...7.....12..3..6......2...9.6.1...5......6..4..19.....4...5..2.9..... # 0068  63    6.7/6.6/6.6 - gsf
...7.3.....9.6.1...6.1....3..7....68....3....54....2..1....4.7...5.8.9.....3.1... # 0087  55    6.7/6.6/6.6 - gsf
..5..6..9.6..2..4.1..3..2....6..3..1.1..5..9.9..2.13....2..7..4.4..3..7.6..4..9.. # 0098 119    6.7/6.6/6.6 - gsf
12.3.....4.....1....5.4..6.6...1..3...72..5.......8..9.9..7..2...36..9.......9..8 # 0195  52    6.7/6.6/6.6 - m_b_metcalf
.12...3..45.2.....6.7.....2.2.3....1.....56......4..8.3...1.4.......6.7...89....5 # 0212  88    6.7/6.6/6.6 - m_b_metcalf
..1.2.3...4.5.3.1.3...4...6.3.....6.7.4...8.5.9.....7.2...9...1.5.7.2.8...6.5.9.. # 0050  58    6.8/6.6/6.6 - TTHsieh
1....2.3...45..2...2..6...4.5.....1...3.7...64.....3...4...68..2..7....5..1.9..7. # 0051  65    6.8/6.6/6.6 - m_b_metcalf
..8.9.5...5..8..3.3..4.5..1..3...7..79.....68..6...3..9..2.6..4.2..4..5...4.7.2.. # 0054  99    6.8/6.6/6.6 + gsf
.....1.2...34..5...6..7...8.1.....3...2.1...64.....2...8...79..7..1....5..5.6..4. # 0061  74    6.8/6.6/6.6 - gsf
..1.2..3.45...3.6...3...1.7.4..8....8..2.5..4....7..8.7.4...5...2.9...78.9..5.3.. # 0062  39    6.8/6.6/6.6 - m_b_metcalf
.....1.2.3.....4...567..8..7...2.6.....1.9.....8.3...4..1..574...3.....9.6.2..... # 0063  57    6.8/6.6/6.6 - JPF
.....1.2.1..34......5.2.6..3...7..5..576.328..1..5...7..9.8.4......39..2.7.4..... # 0065  32    6.8/6.6/6.6 - m_b_metcalf
.....3..1.7.....6...824.9....4..23....5.8....8..9.......96..2...6.....7.1.......6 # 0083  64    6.8/6.6/6.6 - gsf
...7.3.....1.5.7...5.8....3..4....75....3....21....4..8....2.6...2.7.9.....3.6... # 0087  57    6.8/6.6/6.6 - gsf
1....23...4..5..6...37....8..1.......2...6...7...9..8.3.....8...5...4.9...8.....7 # 0088  58    6.8/6.6/6.6 - m_b_metcalf
..1..2..3.4..5.2..2..6...4...7.....1.5..6..8.1.....3...1...8..7..4.9..5.7..2..9.. # 0096  67    6.8/6.6/6.6 - m_b_metcalf
1..........23..4...5..6..7..8.2.9.....5.7.3.....1...4..7..8..5...3..42..........4 # 0109  63    6.8/6.6/6.6 - m_b_metcalf
..31...4........638...7.5....1..5....9..8.6..3..2....9.....7..6.6..2....2..8..4.. # 0158  98    6.8/6.6/6.6 - gsf
1..2..3....4..5.6..2.6....78.1..97........8...7.8...359..45.....1...7.....3..6..8 # 0174  56    6.8/6.6/6.6 - m_b_metcalf
.....1..2..1.2..3..3.4..1....5..36...7..8...94..9...7...61....8.5...8.9.8...5.4.. # 0188 101    6.8/6.6/6.6 - m_b_metcalf
12.5.....4.....8....5.4..1.5...1..8...27..9.......8..7.3..7..9...64..3.......2..8 # 0195 127    6.8/6.6/6.6 + gsf
1...2...3..4....5..6....7......123..2..75.......6....2..84..6...7.....9.9....1..8 # 0214  69    6.8/6.6/6.6 - WosRet
.....7..3..1..245..5..3..2....8...6...7..9..582..16....7....5...932....44...6..3. # 0219  62    6.8/6.6/6.6 - WosRet
..4....7..9..6...33....84....2..1..5.8..3..2.1..2..7....16....96...2..5..4....8.. # 0220  57    6.8/6.6/6.6 - gsf
.......12.....3..4...21.56...7..8.....6.5.8...9.6...51..4.8....6.3..7...27...6... # 0235  96    6.8/6.6/6.6 + champagne
.....1....2..3..4...45....67.3....8.5...1...4.9....7.56....41...3..2..9....1..... # 0236  61    6.8/6.6/6.6 - m_b_metcalf
12.3.....4...5.6....3..4...6..7..2...5..8..1...1.....9.9.5..4......6..9......9..8 # 0239  48    6.8/6.6/6.6 - m_b_metcalf
1..2..3...4..5..6...6..7...4.2....8.....7.....5....1.9...7..2...6..3..5...9..1..7 # 0260  69    6.8/6.6/6.6 - champagne
1..2......2..3......4..56..5..7..8...1.....9...8..9..3..19..4......2..1......8..5 # 0352  66    6.8/6.6/6.6 + 1to9only
..12.34...2.....1.4...1...78..6.9..4..9...6..7..1.2..86...2...5.5.....4...35.78.. # 0038 100    6.9/6.6/6.6 - gsf
..1.2.3...4.5.6.7.5...8...2.8.....9.3.9...4.7.2.....6.6...5...9.1.8.9.3...8.7.1.. # 0050  44    6.9/6.6/6.6 - m_b_metcalf
.....1.2...23..4...1..5...6.7.....8...6.8...78.....9...8...75..4..6....2..1.9..3. # 0061  77    6.9/6.6/6.6 - Mauricio
..8.2..5.34...5.2...5...6.4.5..1....1..2.8..9....9..6.6.1...7...3.7...96.9..3.2.. # 0062  76    6.9/6.6/6.6 - gsf
.....1.2.3.....4...567..8..7...2.6.....9.5.....2.3...9..8..694...3.....5.1.4..... # 0063  59    6.9/6.6/6.6 - JPF
..1...2...2...3.4.5.....6.3...6...7.....4.8...7...2...6.2.9...5.4.8...9...3...1.. # 0114 116    6.9/6.6/6.6 - joel64
.....9..2..7.6..5..2.4..3....2.....3.5..1..7.3.....9....9..7.8..8..4.1..2..6..... # 0122  95    6.9/6.6/6.6 - ronk
1....2..3.4..5..6...76..4..4.....8...9..6..3...3.....9..8..67...5..1..8.9..8....2 # 0145  97    6.9/6.6/6.6 - m_b_metcalf
8..2..9....9..3.2..5.4....64.5..78........5...7.8...935..31.....2...6.....6..4..9 # 0174 113    6.9/6.6/6.6 - gsf
.....1..2..1.5..4..4.7..1....8..54...6..9...37..3...6...21....9.8...9.2.9...8.7.. # 0188 100    6.9/6.6/6.6 - Patrice
12.5.....4.....5....6.1..7.7...6..3...14..6.......1..9.9..8..4...37..9.......9..8 # 0195 128    6.9/6.6/6.6 + gsf
.....1..2....3..41...45.63...57.4....28.6...37..3.......7....6..59...1..81..9...7 # 0207  76    6.9/6.6/6.6 + champagne
.....1..2....2..34..24..51...6....7..8...92..3...5...8..4.1.....679...4.59...4... # 0210  91    6.9/6.6/6.6 + champagne
.12...3..45.2.....6.7.....2.2.3....5.....56......4..8.3...1.7.......6.4...89....1 # 0212  86    6.9/6.6/6.6 - m_b_metcalf
.....1..2....3.41...25.6.7...5..89...9..5....2.69....8.2.3...9..47...2..6....7... # 0213  54    6.9/6.6/6.6 - m_b_metcalf
1...2...3..4....5..6....7......123..2..68.......7....2..84..5...4.....6.5....1..9 # 0214  67    6.9/6.6/6.6 - WosRet
.....1..2..3..456..4..6..7....6...5...1..9..725..37....9....7...158....94...9..8. # 0219  86    6.9/6.6/6.6 - GouinJP
2..4....6.1..9..2.3.6......4..7.1.6.....2.....5.3.9..1......6.7.3..7..9.8....5..4 # 0229  59    6.9/6.6/6.6 - Pat
.....3..8....7..59..1...63....8......8...7..67...35.82..9...4...63..1...15..92... # 0231  87    6.9/6.6/6.6 + Pat
.....1....2..3..4...45....67.8....2.9...1...4.3....7.96....41...8..2..3....1..... # 0236  71    6.9/6.6/6.6 - m_b_metcalf
.....1..2....3.45...46.......7.1..4..6.3....88....52...8...3....5.9....47...2..69 # 0242  76    6.9/6.6/6.6 - m_b_metcalf
.1...2.3.2..3....4..516......1...7...8..4..6...6...4......375..5....9..6.9.5...2. # 0259  48    6.9/6.6/6.6 - m_b_metcalf
1..2..3...4..5..1...3..6...7.4....2.....6.....5....1.7...6..7...7..2..5...8..4..6 # 0260  64    6.9/6.6/6.6 - champagne
1..2....3.2..3..4.......5..3....4.6..7..8.2.....9....8..1.5.3...4.1...9.6....7..1 # 0265  57    6.9/6.6/6.6 - m_b_metcalf
1..23.4..4..5......3...6.2.3.....7...8..7..6...7.....8.9.3...5......5..7..3.68..4 # 0270  62    6.9/6.6/6.6 - m_b_metcalf
1..2....3.4.....5...6..7...8..9.15......5......54.8..1...3..6...9.....4.7....2..9 # 0283  75    6.9/6.6/6.6 - m_b_metcalf
.1..2.3..4..5....6..2....1..7.8.34..2....9..5...25....8..7....3..1....9..4..9.6.. # 0309  61    6.9/6.6/6.6 - m_b_metcalf
1....23...4..5..2...26....7..153.....5.7.....8....69..7....5..8.8.....1...3...2.. # 0327  80    6.9/6.6/6.6 - Robbie
..1..6....2..4..5.3..7....86....7.8...9.6.2...3.5....72....8..9.5..2..1....3..8.. # 0335  86    6.9/6.6/6.6 - m_b_metcalf
1..2......2..3......4..56..7..8..4...1.....6...5..6..3..19..3......2..1......7..8 # 0352  67    6.9/6.6/6.6 + 1to9only
..8..6..3.5..7..8.4..8..5....1..9..5.6..8..9.9..2.13....9..7..4.4..3..5.2..4..6.. # 0098 117    7.0/6.6/6.6 1 gsf
.1..2..3.4.......2.25.6.74...16.28...6.8.1.2.....7.....4..8..7.7..9.6..3..9...6.. # 0170  59    7.0/6.6/6.6 1 joel64
12.6.....4.....8....5.4..1.5...1..8...27..6.......8..9.3..7..9...64..7.......2..8 # 0195  57    7.0/6.6/6.6 2 gsf
........1..2..345..6..7.83....2...1...9..1..4.4..98....84....9..275..6..6...8.... # 0191  30    7.1/6.6/6.6 0 m_b_metcalf
.1...4...3..9....5....6..7.8..5.3.1...7...5...4.6.7..2.2..3....9....1..4...7...5. # 0194  38    7.1/6.6/6.6 1 gsf
12.3.....4.....5....5.4..6.6...7..3...82..4.......1..9.9..8..2...76..9.......9..1 # 0195  28    7.1/6.6/6.6 2 m_b_metcalf
.1.....2.3.42....1....1..5.6..7.4.....8...7.....1.8..6.3..6....8....79.2.9.....4. # 0186  19    7.2/6.6/6.6 0 m_b_metcalf
.9...74..4...5.9.........68....3...5.6.7.5.9.7...1.8..61...3.....7.4...2..38...1. # 0177  21    7.3/6.6/6.6 0 gsf
..35...4........638...7.5....1..4....9..2.6..3..1....5.....7..6.6..9....7..8..2.. # 0158  59    7.4/6.6/6.6 0 gsf
..1....2..3..4...19....13....6..7..8.9..3..7.7..2..1....85....44...7..8..2....5.. # 0220  51    7.4/6.6/6.6 1 gsf
.....4..2....3.45...7....13....9.....5.4.13..9...5..84.7..2.6...35..9...2.1..7... # 0196  37    7.5/6.6/6.6 0 gsf
12.6.....4.....8....5.4..1.5...1..8...97..6.......8..9.3..2..9...64..7.......7..8 # 0195  87    7.6/6.6/6.6 0 gsf
....1..2..2...3..4..56..7....81...6.3.......5.7...58....6..19..2..4...1..9..7.... # 0100  49    7.7/6.6/6.6 1 m_b_metcalf
..32...4........638...7.5....1..2....9..8.6..3..4....2.....1..6.6..9....5..8..9.. # 0158  56    7.7/6.6/6.6 1 gsf
1..23......4..5....6....7..8....9.1.4...6...3.2.3...8...7...9.....9.1.......4...2 # 0163  55    7.7/6.6/6.6 2 gsf
.....4..1..1.5..2..7.6..3....9.....3.2..4..5.3.....4....7..26...5..9..7.9..4..... # 0123  45    7.9/6.6/6.6 0 gsf
..51...4........638...7.5....1..5....2..8.6..3..4....9.....7..6.6..2....7..8..4.. # 0158  40    7.9/6.6/6.6 1 gsf
1..2....3.2..4......5..32..6..7..5...3.....2...4..8..6..19..7......5..9.8....7..4 # 0198  40    7.9/6.6/6.6 2 m_b_metcalf
1..2..3....4..5.1..6.7....43.5..71........4...8.3...579..68.....2...3.....8..2..1 # 0174  70    8.0/6.6/6.6 0 m_b_metcalf
..1....2..3..8...16....13....4..7..8.6..3..4.7..2..5....61....44...7..9..9....6.. # 0220  46    8.1/6.6/6.6 0 gsf
1...2...3.2.4..5....6..3.7..3..7...64..8..7....7..9....5..1.3....1....5.8..6....1 # 0324  68    8.1/6.6/6.6 1 Robbie
..12...3........415...6.2....2..7....8..5.4..1..3....7.....6..4.4..8....9..5..8.. # 0158  60    8.2/6.6/6.6 0 m_b_metcalf
........1.....2......31.24...5..6..7..8..5.3..6.24..8...1...9.4..7.24.5.3..5..7.. # 0183  63    8.2/6.6/6.6 1 m_b_metcalf
....9.......271.....15.67....2.6.1...3.....9.4.......5..7.2.6...4.....3.9.......4 # 0132  39    8.3/6.6/6.6 0 gsf
...........4.1.5...5.2.3.1...67..4...8...4.2...9.3.7...3.1.8.5...5.6.9........... # 0336  22    8.7/6.6/6.6 0 m_b_metcalf
1to9only
 
Posts: 1632
Joined: 04 April 2018

Re: Help With Sudoku Explainer

Postby tarek » Sun Oct 13, 2019 2:07 pm

I will need to stop adding techniques and focus a bit on making them more efficient. The last technique to be added will be the 3 strong-linked turbot which should be the easiest to spot in the Finned swordfish category before focusing on improving efficiency.

As you can see these techniques added are not ground breaking but are aimed at teasing out the easier to spot eliminations from generalised techniques.
User avatar
tarek
 
Posts: 3531
Joined: 05 January 2006

Re: SE16

Postby m_b_metcalf » Sun Oct 13, 2019 9:49 pm

1to9only wrote:probably not very useful - but this has 4 turbot fishes - puzzle is m_b_metcalf's modification here of monstersudoku's puzzle...

The following is a 16x16 that I produced and that I think has a rating of 10.x . Maybe that also is of interest.

Regards,

Mike

Hidden Text: Show
Code: Select all
  .  .  .  8  .  .  .  5  1  .  .  . 13  .  .  7
  . 13  . 15  .  4  .  .  .  .  7  .  8  . 16  .
  .  .  9  5  .  .  2  .  . 12  .  . 10  3  .  .
  .  .  .  . 12  .  .  9  3  .  . 10  .  .  .  .
  6 12  .  .  .  . 10  . 13 14  .  .  .  .  3 16
  .  .  .  .  .  .  .  .  2  .  .  .  .  .  .  .
  .  . 14  . 15 11  .  3  .  .  4  6  .  .  .  .
  9  .  .  2 14  .  6  .  .  7  . 16 11  8  . 12
  3  . 12 16  2  . 14 15  6 10  .  .  9 11  .  1
  .  .  4  . 10 16  . 11  5  .  8  9  . 13  .  .
  .  .  .  .  .  .  .  4  .  .  .  .  .  .  .  .
 10  5  .  .  .  .  8  7  .  3  .  .  .  .  2 14
  .  .  .  .  9  .  . 14 15  .  .  7  .  .  .  .
  .  .  7  6  .  . 16  .  . 11  .  .  1 12  .  .
  . 15  . 11  . 10  .  .  .  . 14  .  6  .  5  .
  2  .  . 12  .  .  .  8  9  .  .  . 15  .  .  4
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 10762
Joined: 15 May 2006
Location: Berlin

SE16 is coming

Postby 1to9only » Mon Oct 14, 2019 9:31 am

m_b_metcalf wrote:The following is a 16x16 that I produced and that I think has a rating of 10.x

SE16 rated this ED=11.6/1.2/1.2
Hidden Text: Show
Code: Select all
Analyzing Sudoku #1
40 Hidden Single
82 Hidden Single (Block)
10 Hidden Single (Column)
15 Hidden Single (Row)
3 Direct Hidden Pair
10 Naked Single
22 Pointing
8 Claiming
1 Naked Pair
2 Hidden Pair
6 Naked Triplet
1 Naked Quintuplet
2 Bidirectional Y-Cycle
8 Forcing Chain
1 Nishio Forcing Chains
2 Cell Forcing Chains
7 Region Forcing Chains
36 Dynamic Region Forcing Chains
9 Dynamic Cell Forcing Chains
28 Dynamic Contradiction Forcing Chains
21 Dynamic Region Forcing Chains (+)
7 Dynamic Cell Forcing Chains (+)
23 Dynamic Contradiction Forcing Chains (+)
4 Dynamic Double Forcing Chains (+ Forcing Chains)
19 Dynamic Region Forcing Chains (+ Forcing Chains)
4 Dynamic Cell Forcing Chains (+ Forcing Chains)
12 Dynamic Contradiction Forcing Chains (+ Forcing Chains)
6 Dynamic Region Forcing Chains (+ Multiple Forcing Chains)
8 Dynamic Contradiction Forcing Chains (+ Multiple Forcing Chains)
4 Dynamic Region Forcing Chains (+ Dynamic Forcing Chains)
1 Dynamic Cell Forcing Chains (+ Multiple Forcing Chains)
Hardest technique: Dynamic Contradiction Forcing Chains (+ Multiple Forcing Chains)
Difficulty: 11.6

mbm116.se16h.zip
11.6 puzzle solving steps
(5.28 KiB) Downloaded 15 times

SE16 is coming, in a few days ...
1to9only
 
Posts: 1632
Joined: 04 April 2018

Re: SE16 is coming

Postby m_b_metcalf » Mon Oct 14, 2019 9:35 am

1to9only wrote:
m_b_metcalf wrote:The following is a 16x16 that I produced and that I think has a rating of 10.x

SE16 rated this ED=11.6/1.2/1.2

Oh, wow!
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 10762
Joined: 15 May 2006
Location: Berlin

Re: Help With Sudoku Explainer

Postby 1to9only » Mon Oct 14, 2019 9:57 am

I'm testing SE16 against some of the 16x16 puzzle collections from the forum. In 24 hrs, it has rated the 1st 90 puzzles from Mathimagic's Sudoku16-MP - the 2nd one is 12.3, there are a few other 12.x, highest is 12.5. Of blue's ultimate 16x16s, the 1st one is 12.x with no final rating as I Ctrl-C'ed.
1to9only
 
Posts: 1632
Joined: 04 April 2018

Re: Help With Sudoku Explainer

Postby tarek » Mon Oct 14, 2019 5:41 pm

I've now completed adding the Fish patterns showing 2 strong links (Skyscraper, 2-String Kite and turbot). I also added Fish patterns with 3 strong links (I still called them Skyscraper (With 3 strong links), 3-String Kite & Turbot (With 3 strong links)).

Some final cleanup & tidying up before updating everything to NewTechnique branch and Final merge into Master branch of the repository.

These techniques are clunky and the next phase will be to improve How these techniques integrate into Sukaku explainer in a way that reduces duplicates and improves efficiency.

The 3 strong link fishes will have a rating of 5.4-5.6 and will sit just after Hidden quad at 5.4

Here is a taster of a generated 3-String kite with a 102 formation

Code: Select all
+----------------+----------------+----------------+
| b58  6    47   | 3    79   179  | 489  1589 2    |
| 1    9    2    | 8    4    5    | 6    3    7    |
| 3   b 58  47   | 6    2    179  | 4589 159  c18  |
+----------------+----------------+----------------+
| 4    12   3    | 5    89   89   | 12   7    6    |
| 6    58   15   | 7    3    2    | 89   189  4    |
| a28  7    9    | 1    6    4    | 3    a28   5   |
+----------------+----------------+----------------+
| 25   3    6    | 4    1    78   | 578 25-8  9    |
| 7    12   8    | 9    5    6    | 12   4    3    |
| 9    4    15   | 2    78   3    | 578  6    c18  |
+----------------+----------------+----------------+
3-String Kite 102
8:a,b & c
r7c8<>8


tarek
User avatar
tarek
 
Posts: 3531
Joined: 05 January 2006

Re: Help With Sudoku Explainer

Postby creint » Mon Oct 14, 2019 8:52 pm

The APE mentioned at http://www.sudokuwiki.org/Aligned_Pair_Exclusion is using multiple ALS to reduce combinations (ALS can even overlap).

Like the following on sudokuwiki, uncheck UR 17,18,19.
..72.34..648..7.2...............6..17..4...6.2..739....63....8.4......9......46..

APE can find exclusions that cannot be found with 'Almost locked sets' using those cells
APE can use ALS from more than 3 constraints, like windoku.
'Almost locked sets' is limited to two ALS from different constraints

Is an generic implementation not better? One that finds all ALS and SDC like structures?
Is the objective adding many possible medium strategies before chains, with overlapping ratings?
creint
 
Posts: 160
Joined: 20 January 2018

Re: Help With Sudoku Explainer

Postby tarek » Mon Oct 14, 2019 9:29 pm

Hi creint,

I would love to have those ALS-XZ ALS-XY done. The Wings were an extension of the XY wing algorithm that sunny-shine added. The 2 strong links and 3 strong links as well was work started by somebody else, that was improved and expanded by us.

Hi The repository would welcome anybody who wants to add anything to the project.

Regarding the APE: I think there could a possibility of a 4 bivalue cell set to form an ALS-XY rule type configuration. In those circumstances the wxyz wing would not cover it. All the examples we have of APE are caught by WXYZ wing and hence my earlier statement. I think a counter example (which would be ALS XY with 4 cells and 4 values) is needed.

Tarek
User avatar
tarek
 
Posts: 3531
Joined: 05 January 2006

Re: Help With Sudoku Explainer

Postby tarek » Tue Oct 15, 2019 6:30 pm

creint,

It was interesting what you said about APE/ATE and sudoku variants …
Luckily we have only 3 constraints in vanilla sudoku and therefore I assert that within vanilla APE and ATE will solve under ALS - XY. Most APE will solve using ALS-XZ or WYXZ wings.

I am sending the generator on a long journey to search for APEs not solvable by WXYZ-wings!

tarek
User avatar
tarek
 
Posts: 3531
Joined: 05 January 2006

PreviousNext

Return to Interactive games