ConwayLife.com - A community for Conway's Game of Life and related cellular automata
Home  •  LifeWiki  •  Forums  •  Download Golly

The Hunt for a Tiny Diagonal Spaceship (Unsuccessful)

For discussion of specific patterns or specific families of patterns, both newly-discovered and well-known.

The Hunt for a Tiny Diagonal Spaceship (Unsuccessful)

Postby Alexey_Nigin » March 17th, 2016, 4:51 pm

Let's use CopperSearch to find a small Copperhead-style diagonal spaceship!

How to do it:

  1. Download CopperSearch (Windows only - sorry for that). If you have previously downloaded version 0.2 or 0.3, please upgrade to v0.4. This is especially important for v0.3 users.
  2. Choose some intact parts of the search space.
  3. Reply and say which ones you have chosen so that other people don't choose the same parts.
  4. Run cs.exe.
  5. Enter search d <number of part>/256, e. g. search d 5/256.
  6. Don't forget that you can parallelize between cores.
  7. Approximately 18 hours later the search will be finished.
  8. If anything other than octagon 2 + some p2 has been found, please post the corresponding .result file here. Otherwise, just notify us that you performed the search.

If you think that parts are too big or too small, you can divide and merge them in an obvious way. When talking about parts here, always precede the part number with # symbol, but don't do so when talking with the program.

--------

#1: Searched by Alexey_Nigin
#2: Searched by Alexey_Nigin
#3: Searched by Alexey_Nigin
#4: Searched by skomick
#5: Searched by skomick
#6: Searched by thunk
#7: Searched by skomick
#8: Searched by skomick
#9: Searched by skomick
#10: Searched by skomick
#11: Searched by skomick
#12: Searched by skomick
#13: Searched by skomick
#14: Searched by skomick
#15: Searched by skomick
#16: Searched by skomick
#17: Searched by Bullet51
#18: Searched by Bullet51
#19: Searched by Bullet51
#20: Searched by Bullet51
#21: Searched by Bullet51
#22: Searched by Bullet51
#23: Searched by Bullet51
#24: Searched by Bullet51
#25: Searched by Bullet51
#26: Searched by Bullet51
#27: Searched by Bullet51
#28: Searched by Bullet51
#29: Searched by Bullet51
#30: Searched by Bullet51
#31: Searched by Bullet51
#32: Searched by Bullet51
#33: Searched by Hdjensofjfnen
#34: Searched by Hdjensofjfnen
#35: Searched by Hdjensofjfnen
#36: Searched by Hdjensofjfnen
#37: Searched by gameoflifeboy
#38: Searched by Alexey_Nigin
#39: Searched by Alexey_Nigin
#40: Searched by Alexey_Nigin
#41: Searched by gameoflifeboy
#42: Searched by Alexey_Nigin
#43: Searched by Alexey_Nigin
#44: Searched by Alexey_Nigin
#45: Searched by Alexey_Nigin
#46: Searched by Alexey_Nigin
#47: Searched by Alexey_Nigin
#48: Searched by Alexey_Nigin
#49: Searched by Alexey_Nigin
#50: Searched by Alexey_Nigin
#51: Searched by Bullet51
#52: Searched by Bullet51
#53: Searched by Bullet51
#54: Searched by Bullet51
#55: Searched by BlinkerSpawn
#56: Searched by BlinkerSpawn
#57: Searched by ygh
#58: Searched by thunk
#59: Searched by thunk
#60: Searched by thunk
#61: Searched by thunk
#62: Searched by thunk
#63: Searched by thunk
#64: Searched by biggiemac
#65: Searched by biggiemac
#66: Searched by biggiemac
#67: Searched by biggiemac
#68: Searched by biggiemac
#69: Searched by biggiemac
#70: Searched by biggiemac
#71: Searched by biggiemac
#72: Searched by Alexey_Nigin
#73: Searched by Alexey_Nigin
#74: Searched by Alexey_Nigin
#75: Searched by Alexey_Nigin
#76: Searched by Alexey_Nigin
#77: Searched by Alexey_Nigin
#78: Searched by dsmiller
#79: Searched by Bullet51
#80: Searched by Alexey_Nigin
#81: Searched by Alexey_Nigin
#82: Searched by Alexey_Nigin
#83: Searched by Kazyan
#84: Searched by dsmiller
#85: Searched by dsmiller
#86: Searched by dsmiller
#87: Searched by dsmiller
#88: Searched by dsmiller
#89: Searched by dsmiller
#90: Searched by dsmiller
#91: Searched by dsmiller
#92: Searched by dsmiller
#93: Searched by dsmiller
#94: Searched by dsmiller
#95: Searched by dsmiller
#96: Searched by dsmiller
#97: Searched by dsmiller
#98: Searched by dsmiller
#99: Searched by dsmiller
#100: Searched by dsmiller
#101: Searched by Hdjensofjfnen
#102: Searched by skomick
#103: Searched by skomick
#104: Searched by skomick
#105: Searched by biggiemac
#106: Searched by biggiemac
#107: Searched by biggiemac
#108: Searched by biggiemac
#109: Searched by biggiemac
#110: Searched by biggiemac
#111: Searched by biggiemac
#112: Searched by biggiemac
#113: Searched by skomick
#114: Searched by skomick
#115: Searched by skomick
#116: Searched by skomick
#117: Searched by skomick
#118: Searched by skomick
#119: Searched by skomick
#120: Searched by skomick
#121: Searched by skomick
#122: Searched by skomick
#123: Searched by skomick
#124: Searched by skomick
#125: Searched by skomick
#126: Searched by skomick
#127: Searched by skomick
#128: Searched by skomick
#129: Searched by skomick
#130: Searched by dvgrn
#131: Searched by dvgrn
#132: Searched by dvgrn
#133: Searched by thunk
#134: Searched by thunk
#135: Searched by thunk
#136: Searched by thunk
#137: Searched by thunk
#138: Searched by thunk
#139: Searched by thunk
#140: Searched by thunk
#141: Searched by thunk
#142: Searched by thunk
#143: Searched by thunk
#144: Searched by drc
#145: Searched by Bullet51
#146: Searched by Bullet51
#147: Searched by Bullet51
#148: Searched by Bullet51
#149: Searched by Bullet51
#150: Searched by Bullet51
#151: Searched by Bullet51
#152: Searched by Bullet51
#153: Searched by Bullet51
#154: Searched by Bullet51
#155: Searched by Bullet51
#156: Searched by Bullet51
#157: Searched by Bullet51
#158: Searched by Bullet51
#159: Searched by Bullet51
#160: Searched by Hdjensofjfnen
#161: Searched by thunk
#162: Searched by thunk
#163: Searched by thunk
#164: Searched by thunk
#165: Searched by thunk
#166: Searched by thunk
#167: Searched by Hdjensofjfnen
#168: Searched by thunk
#169: Searched by Hdjensofjfnen
#170: Searched by thunk
#171: Searched by Bullet51
#172: Searched by thunk
#173: Searched by thunk
#174: Searched by thunk
#175: Searched by thunk
#176: Searched by Bullet51
#177: Searched by Bullet51
#178: Searched by Bullet51
#179: Searched by Bullet51
#180: Searched by Bullet51
#181: Searched by Bullet51
#182: Searched by Bullet51
#183: Searched by Bullet51
#184: Searched by Bullet51
#185: Searched by biggiemac
#186: Searched by biggiemac
#187: Searched by biggiemac
#188: Searched by biggiemac
#189: Searched by biggiemac
#190: Searched by biggiemac
#191: Searched by biggiemac
#192: Searched by Hdjensofjfnen
#193: Searched by biggiemac
#194: Searched by biggiemac
#195: Searched by biggiemac
#196: Searched by biggiemac
#197: Searched by biggiemac
#198: Searched by biggiemac
#199: Searched by biggiemac
#200: Searched by biggiemac
#201: Searched by Hdjensofjfnen
#202: Searched by thunk
#203: Searched by thunk
#204: Searched by thunk
#205: Searched by thunk
#206: Searched by thunk
#207: Searched by thunk
#208: Searched by thunk
#209: Searched by thunk
#210: Searched by thunk
#211: Searched by thunk
#212: Searched by thunk
#213: Searched by thunk
#214: Searched by thunk
#215: Searched by thunk
#216: Searched by Hdjensofjfnen
#217: Searched by biggiemac
#218: Searched by biggiemac
#219: Searched by biggiemac
#220: Searched by biggiemac
#221: Searched by biggiemac
#222: Searched by biggiemac
#223: Searched by biggiemac
#224: Searched by biggiemac
#225: Searched by thunk
#226: Searched by thunk
#227: Searched by thunk
#228: Searched by thunk
#229: Searched by thunk
#230: Searched by thunk
#231: Searched by thunk
#232: Searched by thunk
#233: Searched by thunk
#234: Searched by thunk
#235: Searched by thunk
#236: Searched by thunk
#237: Searched by thunk
#238: Searched by thunk
#239: Searched by thunk
#240: Searched by thunk
#241: Searched by Bullet51
#242: Searched by Bullet51
#243: Searched by Bullet51
#244: Searched by Bullet51
#245: Searched by Bullet51
#246: Searched by Bullet51
#247: Searched by Bullet51
#248: Searched by drc
#249: Searched by Bullet51
#250: Searched by Bullet51
#251: Searched by Bullet51
#252: Searched by Bullet51
#253: Searched by Bullet51
#254: Searched by Bullet51
#255: Searched by Bullet51
#256: Searched by Bullet51
Last edited by Alexey_Nigin on March 22nd, 2016, 6:21 am, edited 33 times in total.
There are 10 types of people in the world: those who understand binary and those who don't.
User avatar
Alexey_Nigin
 
Posts: 323
Joined: August 4th, 2014, 12:33 pm
Location: Ann Arbor, MI

Re: The Hunt for a Tiny Diagonal Spaceship

Postby drc » March 17th, 2016, 5:03 pm

I'll do #144 and #248, because why not
This post was brought to you by the letter D, for dishes that Andrew J. Wade won't do. (Also Daniel, which happens to be me.)
Current rule interest: B2ce3-ir4a5y/S2-c3-y
User avatar
drc
 
Posts: 1664
Joined: December 3rd, 2015, 4:11 pm
Location: creating useless things in OCA

Re: The Hunt for a Tiny Diagonal Spaceship

Postby skomick » March 17th, 2016, 5:19 pm

I am currently searching #4. I pressed enter and have only the program text, my search line, and a blinking cursor. I assume all is well.
Shannon Omick
skomick
 
Posts: 73
Joined: February 11th, 2011, 11:41 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Postby Alexey_Nigin » March 17th, 2016, 5:45 pm

Shannon Omick wrote:I am currently searching #4. I pressed enter and have only the program text, my search line, and a blinking cursor. I assume all is well.


Yes, it should be like this. I am not very good at making user-friendly interface. Anyway, the program will notify you when the search is finished.
There are 10 types of people in the world: those who understand binary and those who don't.
User avatar
Alexey_Nigin
 
Posts: 323
Joined: August 4th, 2014, 12:33 pm
Location: Ann Arbor, MI

Re: The Hunt for a Tiny Diagonal Spaceship

Postby dvgrn » March 17th, 2016, 6:05 pm

skomick wrote:I am currently searching #4. I pressed enter and have only the program text, my search line, and a blinking cursor. I assume all is well.

Ooh, a super-low-tech distributed search! I can't resist -- I'll take let's say 130 through 143. I also have a mysterious blinking cursor and no apparent activity:

This is CopperSearch version 0.2

search d 130/256
[]
([] represents the blinking cursor)

I'm finding it a little odd that cmd.exe process is showing no activity in Task Manager -- 0% CPU and minimal unchanging ~1MB memory use. But it does seem to be working -- search lines like

search d 1/262144

return after a minute or so with

Search finished
Patterns found: 0
Average speed: 852 sps

whereas "search d 1/262143" and "search e 1/262144" return the appropriate errors instantly.

Maybe a cs-v0.3 could put out a progress report at the start, and after every few minutes?

EDIT: My mistake -- the cmd.exe processes are at 0%, but there are also cs.exe processes maxing out a core each at 25%. That makes much more sense.

It seems to work okay on my system to run copies of cs.exe adding up to anything short of 100% -- if I try for 100%, Windows does start to lag a little.
User avatar
dvgrn
Moderator
 
Posts: 5448
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: The Hunt for a Tiny Diagonal Spaceship

Postby Bullet51 » March 17th, 2016, 6:51 pm

I am searching #51 , #52 , #53 and #54.
Still drifting.
Bullet51
 
Posts: 518
Joined: July 21st, 2014, 4:35 am

Re: The Hunt for a Tiny Diagonal Spaceship

Postby drc » March 17th, 2016, 6:59 pm

dvgrn wrote:I'll take let's say 130 through 143

i see what you did there.
This post was brought to you by the letter D, for dishes that Andrew J. Wade won't do. (Also Daniel, which happens to be me.)
Current rule interest: B2ce3-ir4a5y/S2-c3-y
User avatar
drc
 
Posts: 1664
Joined: December 3rd, 2015, 4:11 pm
Location: creating useless things in OCA

Re: The Hunt for a Tiny Diagonal Spaceship

Postby biggiemac » March 17th, 2016, 7:09 pm

Starting 68-71 for now. Curious to see if this turns up anything.
Physics: sophistication from simplicity.
User avatar
biggiemac
 
Posts: 503
Joined: September 17th, 2014, 12:21 am
Location: California, USA

Re: The Hunt for a Tiny Diagonal Spaceship

Postby muzik » March 17th, 2016, 7:11 pm

What do these numbers mean?

Tomorrow I might try 13, 37, 66, 6, 9, 11, 42 and 69.
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3287
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: The Hunt for a Tiny Diagonal Spaceship

Postby biggiemac » March 17th, 2016, 7:14 pm

The search space can be naturally divided into subsections, and the computer can search one subsection at a time. 256 is a natural number of subsections because it is 2^8. The numbers just specify which subsection your instance is looking at.

Also, avoid taking overlapping subsections (e.g, I claimed 68-71 so if you did 69 it would be redundant).

Also also each one takes about 18 hours according to Alexey so you can probably only do as many in a day as you have computer cores.
Physics: sophistication from simplicity.
User avatar
biggiemac
 
Posts: 503
Joined: September 17th, 2014, 12:21 am
Location: California, USA

Re: The Hunt for a Tiny Diagonal Spaceship

Postby muzik » March 17th, 2016, 7:20 pm

Fine then. Won't be able to do all of those. I'll keep 6
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3287
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: The Hunt for a Tiny Diagonal Spaceship

Postby skomick » March 17th, 2016, 7:26 pm

dvgrn wrote:... I also have a mysterious blinking cursor and no apparent activity:

This is CopperSearch version 0.2

search d 130/256
[]
([] represents the blinking cursor)

I'm finding it a little odd that cmd.exe process is showing no activity in Task Manager -- 0% CPU and minimal unchanging ~1MB memory use. But it does seem to be working ...

Thanks for checking! :)
Shannon Omick
skomick
 
Posts: 73
Joined: February 11th, 2011, 11:41 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Postby dsmiller » March 17th, 2016, 7:45 pm

I'll do 98 and 99 (one at a time, since I'm using my computer for other things as well).
David S. Miller
dsmiller
 
Posts: 12
Joined: October 9th, 2014, 9:14 pm
Location: Emmaus, Pennsylvania

Re: The Hunt for a Tiny Diagonal Spaceship

Postby fluffykitty » March 17th, 2016, 9:15 pm

Updated list (omitted elements are Intact):
#1: To be searched by Alexey_Nigin
#2: To be searched by Alexey_Nigin
#3: To be searched by Alexey_Nigin
#4: To be searched by skomick
#6: To be searched by muzik
#51: To be searched by Bullet51
#52: To be searched by Bullet51
#53: To be searched by Bullet51
#54: To be searched by Bullet51
#68: To be searched by biggiemac
#69: To be searched by biggiemac
#70: To be searched by biggiemac
#71: To be searched by biggiemac
#83: To be searched by Kazyan
#98: To be searched by dsmiller
#99: To be searched by dsmiller
#130: To be searched by dvgrn
#131: To be searched by dvgrn
#132: To be searched by dvgrn
#133: To be searched by dvgrn
#134: To be searched by dvgrn
#135: To be searched by dvgrn
#136: To be searched by dvgrn
#137: To be searched by dvgrn
#138: To be searched by dvgrn
#139: To be searched by dvgrn
#140: To be searched by dvgrn
#141: To be searched by dvgrn
#142: To be searched by dvgrn
#143: To be searched by dvgrn
#144: To be searched by drc
#248: To be searched by drc
Last edited by fluffykitty on March 17th, 2016, 11:19 pm, edited 1 time in total.
I like making rules
fluffykitty
 
Posts: 376
Joined: June 14th, 2014, 5:03 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Postby Kazyan » March 17th, 2016, 9:20 pm

Taking #83.
Tanner Jacobi
User avatar
Kazyan
 
Posts: 788
Joined: February 6th, 2014, 11:02 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Postby velcrorex » March 17th, 2016, 9:26 pm

What is this search doing? Seeing what happens to all nxn patterns with a diagonal symmetry?
-Josh Ball.
User avatar
velcrorex
 
Posts: 339
Joined: November 1st, 2009, 1:33 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Postby dvgrn » March 17th, 2016, 10:06 pm

velcrorex wrote:What is this search doing? Seeing what happens to all nxn patterns with a diagonal symmetry?

Not quite. I'd like to know that in a little more detail too -- but not quite enough to read carefully through the code yet, apparently... though there isn't really all that much code, so it wouldn't be too hard.

The big hint is that the "d" in the search command matches a "d.field" in the ZIP file, which has the following content:

......ABC.
.....abcde
....fghijk
...1lmnopq
..fl2rstuv
.agmr3wxy.
Abhnsw4z..
Bciotxz...
Cdjpuy....
.ekqv.....

So that's, um, 26+3+4 = 33 different cell states, so each search is doing all combinations of 25 cells ON and OFF, with the other 8 held constant... or anyway I'm guessing it comes out to that, more or less. 2^25 tests seems like a reasonable day's work for one core.

Will the search notice things that are predecessors of diagonal spaceships, or will it only care if the pattern actually evolves into exactly itself again, at some offset? Will it silently throw away zero-offset things (i.e., oscillators) no matter how high the period? It would be a shame to miss a period 19, 23, 38 or 41 oscillator just because of not looking... is there a highest period spaceship that the code will find?
User avatar
dvgrn
Moderator
 
Posts: 5448
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: The Hunt for a Tiny Diagonal Spaceship

Postby Hdjensofjfnen » March 17th, 2016, 10:57 pm

So we're waiting on:

n = 1, 2, 3, 4, 144, and 248.
Life is hard. Deal with it.
My favorite oscillator of all time:
x = 7, y = 5, rule = B3/S2-i3-y4i
4b3o$6bo$o3b3o$2o$bo!
User avatar
Hdjensofjfnen
 
Posts: 1058
Joined: March 15th, 2016, 6:41 pm
Location: r cis θ

Re: The Hunt for a Tiny Diagonal Spaceship

Postby fluffykitty » March 17th, 2016, 11:18 pm

No, we are waiting for 1, 2, 3, 4, 6, 51, 52, 53, 54, 68, 69, 70, 71, 83, 98, 99, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 248.
I like making rules
fluffykitty
 
Posts: 376
Joined: June 14th, 2014, 5:03 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Postby gameoflifeboy » March 18th, 2016, 12:30 am

I will be claiming #37 and #41 (maybe more later).

By the way, when you edit a post to mention my searches, please say "To be searched by gameoflifeboy". I know that some of you know my first name, but it makes me uncomfortable to hear it mentioned on the Game of Life forums; since this is practically my first real venture into online posting, I'm not yet used to hearing my name mentioned online.
User avatar
gameoflifeboy
 
Posts: 474
Joined: January 15th, 2015, 2:08 am

Re: The Hunt for a Tiny Diagonal Spaceship

Postby Bullet51 » March 18th, 2016, 4:29 am

Now I am searching #79.
Still drifting.
Bullet51
 
Posts: 518
Joined: July 21st, 2014, 4:35 am

Re: The Hunt for a Tiny Diagonal Spaceship

Postby skomick » March 18th, 2016, 7:53 am

#4 is finished with nothing found. I'll search #5 next.
Shannon Omick
skomick
 
Posts: 73
Joined: February 11th, 2011, 11:41 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Postby dvgrn » March 18th, 2016, 9:47 am

skomick wrote:#4 is finished with nothing found. I'll search #5 next.

The #132/256 search that I started running last night has actually reported something --

Found p10 (50% done)

-- but it looks like I'll have to be patient until the search is done, sometime later today, to find out what it is. Ooh, I hate being patient. Want CResult to have been reported to the console as it was generated, not just written to a file at the end of the run...

The pattern will probably be a p10 oscillator, I suppose. But I don't see anything really likely in the p10 jslife collection. The known small bilaterally symmetric p10s are all significantly too big for CopperSearch's search space, aren't they? It's somewhat likely to be a tiny predecessor of one of those known p10s, but that still seems like it will be a somewhat interesting new discovery.

What else could it be that I'm not thinking of? Further bulletins as events warrant...
User avatar
dvgrn
Moderator
 
Posts: 5448
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Re: The Hunt for a Tiny Diagonal Spaceship

Postby Sokwe » March 18th, 2016, 1:15 pm

dvgrn wrote:What else could it be that I'm not thinking of?

A p5 and a p2. For example, an octagon 2 and a beacon.
-Matthias Merzenich
Sokwe
Moderator
 
Posts: 1439
Joined: July 9th, 2009, 2:44 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Postby dvgrn » March 18th, 2016, 1:54 pm

Sokwe wrote:
dvgrn wrote:What else could it be that I'm not thinking of?

A p5 and a p2. For example, an octagon 2 and a beacon.

Ah, I bet that will be it -- or maybe more likely, some random junk including a couple of blinkers, replacing the beacon.

The 132/256 search should be done soon -- at least, a search that I started at about the same time has completed.

My patience didn't quite hold out -- I tried to run a shorter search to report the p10 ahead of schedule, but for some reason the trick didn't work. My theory was that a search of 8480/16384 should have turned up anything at the 50% mark of 132/156... or possibly 8479/16384, if IntToStr rounds instead of truncating.

But there was nothing there, and nothing in the range 33918-33923/65536, either. Why not, I wonder? Maybe the invariant bits get set up differently somehow depending on how many of them there are? Or am I just stubbornly making repeated mistakes in basic arithmetic?

The more I think about it, the more a re-implementation of CopperSearch looks like a good idea. I could be wrong, but it seems as if a LifeAPI-based version of CopperSearch should be able to get through the entire search space in not much more than 18 hours.

Anyone care to volunteer to step in with an optimized rewrite before summer, since that's the timeline Alexey mentioned? Might allow for completing a distributed search with a space that's several bits larger.
User avatar
dvgrn
Moderator
 
Posts: 5448
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI

Next

Return to Patterns

Who is online

Users browsing this forum: No registered users and 3 guests