The Hunt for a Tiny Diagonal Spaceship (Unsuccessful)

For discussion of specific patterns or specific families of patterns, both newly-discovered and well-known.
User avatar
Alexey_Nigin
Posts: 323
Joined: August 4th, 2014, 12:33 pm
Location: Ann Arbor, MI
Contact:

The Hunt for a Tiny Diagonal Spaceship (Unsuccessful)

Post by Alexey_Nigin » March 17th, 2016, 4:51 pm

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

How to do it:
  • 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.
  • Choose some intact parts of the search space.
  • Reply and say which ones you have chosen so that other people don't choose the same parts.
  • Run cs.exe.
  • Enter search d <number of part>/256, e. g. search d 5/256.
  • Don't forget that you can parallelize between cores.
  • Approximately 18 hours later the search will be finished.
  • 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
drc
Posts: 1664
Joined: December 3rd, 2015, 4:11 pm
Location: creating useless things in OCA

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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

skomick
Posts: 74
Joined: February 11th, 2011, 11:41 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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

User avatar
Alexey_Nigin
Posts: 323
Joined: August 4th, 2014, 12:33 pm
Location: Ann Arbor, MI
Contact:

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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
dvgrn
Moderator
Posts: 5891
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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:

Code: Select all

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

Code: Select all

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.

Bullet51
Posts: 536
Joined: July 21st, 2014, 4:35 am

Re: The Hunt for a Tiny Diagonal Spaceship

Post by Bullet51 » March 17th, 2016, 6:51 pm

I am searching #51 , #52 , #53 and #54.
Still drifting.

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

Post by 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
biggiemac
Posts: 504
Joined: September 17th, 2014, 12:21 am
Location: California, USA

Re: The Hunt for a Tiny Diagonal Spaceship

Post by biggiemac » March 17th, 2016, 7:09 pm

Starting 68-71 for now. Curious to see if this turns up anything.
Physics: sophistication from simplicity.

muzik
Posts: 3505
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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!

User avatar
biggiemac
Posts: 504
Joined: September 17th, 2014, 12:21 am
Location: California, USA

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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.

muzik
Posts: 3505
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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!

skomick
Posts: 74
Joined: February 11th, 2011, 11:41 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Post by skomick » March 17th, 2016, 7:26 pm

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

Code: Select all

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

dsmiller
Posts: 12
Joined: October 9th, 2014, 9:14 pm
Location: Emmaus, Pennsylvania

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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

fluffykitty
Posts: 638
Joined: June 14th, 2014, 5:03 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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

User avatar
Kazyan
Posts: 867
Joined: February 6th, 2014, 11:02 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Post by Kazyan » March 17th, 2016, 9:20 pm

Taking #83.
Tanner Jacobi

User avatar
velcrorex
Posts: 339
Joined: November 1st, 2009, 1:33 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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
dvgrn
Moderator
Posts: 5891
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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:

Code: Select all

......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
Hdjensofjfnen
Posts: 1338
Joined: March 15th, 2016, 6:41 pm
Location: r cis θ

Re: The Hunt for a Tiny Diagonal Spaceship

Post by Hdjensofjfnen » March 17th, 2016, 10:57 pm

So we're waiting on:

n = 1, 2, 3, 4, 144, and 248.
"A man said to the universe:
'Sir, I exist!'
'However,' replied the universe,
'The fact has not created in me
A sense of obligation.'" -Stephen Crane

Code: Select all

x = 7, y = 5, rule = B3/S2-i3-y4i
4b3o$6bo$o3b3o$2o$bo!

fluffykitty
Posts: 638
Joined: June 14th, 2014, 5:03 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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

User avatar
gameoflifeboy
Posts: 474
Joined: January 15th, 2015, 2:08 am

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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.

Bullet51
Posts: 536
Joined: July 21st, 2014, 4:35 am

Re: The Hunt for a Tiny Diagonal Spaceship

Post by Bullet51 » March 18th, 2016, 4:29 am

Now I am searching #79.
Still drifting.

skomick
Posts: 74
Joined: February 11th, 2011, 11:41 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Post by skomick » March 18th, 2016, 7:53 am

#4 is finished with nothing found. I'll search #5 next.
Shannon Omick

User avatar
dvgrn
Moderator
Posts: 5891
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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 --

Code: Select all

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...

Sokwe
Moderator
Posts: 1480
Joined: July 9th, 2009, 2:44 pm

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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

User avatar
dvgrn
Moderator
Posts: 5891
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: The Hunt for a Tiny Diagonal Spaceship

Post by 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.

Post Reply