moebius wrote:Wildmyron,
The problem with the width 16 2c/6 searches is they always miss stuff. I ran a bunch of different searches trying to cover the search tree, but I could never be sure I wasn't missing something. For example, I was looking through my turtle armadas with their variety of tags I never ran across the 9th one in your pictures. Your list of ships does not include the following ones, or anything very close:
Code: Select all
x = 60, y = 39, rule = B3/S23
6bo2bo18bo2bo$4bobo2bobo14bobo2bobo14bobo2bobo$5bo4bo16bo4bo15b2o4b2o$
5bo4bo16bo4bo17bo2bo2$5b2o2b2o16b2o2b2o15b2o4b2o2$4bobo2bobo14bobo2bob
o14bo6bo$bobo2bo2bo2bobo8bobo2bo2bo2bobo$2obob2o2b2obob2o6b2obob2o2b2o
bob2o9b3o4b3o$2obobo4bobob2o6b2obobo4bobob2o11bo4bo$3bobo4bobo12bobo4b
obo11b2obo4bob2o$2b2obob2obob2o10b2obob2obob2o10bo10bo$3bo2bo2bo2bo12b
o2bo2bo2bo11bo3bo2bo3bo$3bo2bo2bo2bo12bo2bo2bo2bo13b2o4b2o$4b2o4b2o14b
2o4b2o12bobo6bobo$44b3o10b3o$4b2o4b2o14b2o4b2o11b2o10b2o$3bo8bo10bo4bo
2bo4bo9bobo6bobo$5bo4bo11bobob3o2b3obobo8bo2bo4bo2bo$2bo2bo4bo2bo9b3o
2b4o2b3o10b2o6b2o$bo3bob2obo3bo13bo2bo$2b5o2b5o15b2o16b2o6b2o$3bob2o2b
2obo36bob2obo$6bo2bo15b2o6b2o10bo2b3o2b3o2bo$26b8o10bo5bo2bo5bo$45b3ob
2o2b2ob3o$3b2o6b2o13bo6bo15bo4bo$4b8o14bo6bo16bo2bo$28bo2bo16b2ob2ob2o
$4bo6bo14b2ob2ob2o15b2o2b2o$4bo6bo15b2o2b2o14bobo4bobo$6bo2bo15bobo4bo
bo12b2o6b2o$4b2ob2ob2o13b2o6b2o12b2obo2bob2o$5b2o2b2o14b2obo2bob2o16b
2o$3bobo4bobo16b2o$3b2o6b2o$3b2obo2bob2o$7b2o!
Some more rigorous enumeration of all the possible tags and tags on tags for the width 16 2c/6 period 3 parasitics will have to be performed before we can conclusively say that period 6 cases do not occur.
Have a happy day,
-Tim Coe
My apologies for not responding earlier, and for prematurely making an unjustified claim. Thank you for posting counterexamples which I believe highlight the deficiency in gfind. I note that the first turtle tag from the first ship you showed, on its own, is also missing from my results:
Code: Select all
x = 14, y = 22, rule = B3/S23
3b2o4b2o$2bo8bo$4bo4bo$bo2bo4bo2bo$o3bob2obo3bo$b5o2b5o$2bob2o2b2obo$
5bo2bo3$2b2o6b2o$3b8o2$3bo6bo$3bo6bo$5bo2bo$3b2ob2ob2o$4b2o2b2o$2bobo
4bobo$2b2o6b2o$2b2obo2bob2o$6b2o!
Sokwe wrote:wildmyron wrote:I think we can push this up to known ship at width 18 now
Personally, I'm not convinced that any current search programs are capable of showing this. gfind
might be able to, but I haven't explored its duplicate row elimination code enough to convince myself that it does (in fact, I sort of suspect it does not).
Indeed, The counterexamples above show that there are indeed valid search results which are lost due to the duplicate elimination, even with hashing disabled. I think it is illustrative that all cases are tagalongs where there is one row between the ship and tagalong which is empty for all phases of one period (p3 in this case).
I have previously considered an alteration to wls/jls which may allow a complete enumeration of all solutions and partials up to a given length within a practical timeframe. Minimal details
here. Essentially it would prevent jls from exploring the combinatoric realm of non-interacting solutions, although as described it wouldn't reject all of them.
wildmyron wrote:wildmyron wrote:I'm currently running 'gfind o8n1vl112' just to have a look at the even symmetry partials as well. If no one else is running them yet, I'll run the l128 searches over the next week or two.
No surprises there - the search was unsuccessful. Took about 10 hours. I'm running the odd and even symmetry searches at l128 now.
Update:
(1,0)c/8 even-symmetric width 16 - still ongoing, mainly due to the machine it's running on being switched off over the holidays.
(1,0)c/8 odd-symmetric width 15 - I didn't really get far on this search before suspending it, if someone else wants to run it, feel free.
The
5S project (Smallest Spaceships Supporting Specific Speeds) is now maintained by AforAmpere. The latest collection is hosted on
GitHub and contains well over 1,000,000 spaceships.
Semi-active here - recovering from a severe case of
LWTDS.