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

Search methods

For scripts to aid with computation or simulation in cellular automata.

Search methods

Postby Saka » May 1st, 2018, 4:42 am

What are some methods of searching that programs such as zfind and gfind use? LLS is pretty obvious (SAT solver) but what about zfind, gfind, qfind, and WLS?

I ask because I'd like to try making my own search program, perhaps for LTL rules.
If you're the person that uploaded to Sakagolue illegally, please PM me.
x = 17, y = 10, rule = B3/S23

(Check gen 2)
User avatar
Posts: 2784
Joined: June 19th, 2015, 8:50 pm
Location: In the kingdom of Sultan Hamengkubuwono X

Re: Search methods

Postby calcyman » May 1st, 2018, 11:48 am

David Eppstein wrote a paper explaining how gfind works:

WLS/JLS/lifesrc are similar to LLS, but using an ad hoc solver instead of a commercial SAT solver. Then zfind and ikpx are similar to gfind, but replacing the de Bruijn graph with a large lookup table and an incremental SAT solver, respectively. Finally, qfind is just a parallelised combination of breadth-first and depth-first searching, based on the zfind methodology.
What do you do with ill crystallographers? Take them to the mono-clinic!
User avatar
Posts: 1955
Joined: June 1st, 2009, 4:32 pm

Return to Scripts

Who is online

Users browsing this forum: No registered users and 1 guest