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
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,
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
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: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.
(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.