Logic Life Search (LLS)

[TheWayOfTheCon]

can you try adding

Code: Select all

--force-change 0 4

to the options? This should tell LLS to make generations 0 and 4 different.

The -c in my commands is a shorthand version of --force-change, but I could try those specific values and see what I get.

Didn't change anything unfortunately.

[Sokwe]

can you try adding

Code: Select all

--force-change 0 4

to the options? This should tell LLS to make generations 0 and 4 different.

The -c in my commands is a shorthand version of --force-change, but I could try those specific values and see what I get.

Didn't change anything unfortunately.

It's best to test with a search you know will complete quickly. Consider this D4+ symmetric p8 oscillator whose envelope fits in an 8x8 bounding box:

Code: Select all

x = 8, y = 8, rule = B3/S13
3b2o$2bo2bo2$2bo2bo$2bo2bo2$2bo2bo$3b2o!

To find this oscillator we can run the following command:

Code: Select all

./lls -s p8 x0 y0 -c 0 4 -b 8 8 -r B3/S13 -p "=12" -s "D4+" -n 5

I included `-n 5` so that LLS will try to find 5 solutions with the above constraints. The search returns only 4 solutions, corresponding to the 4 phases of the oscillator that have 12 cells. Now if I use your original changed phases `-c 1 8` like so:

Code: Select all

./lls -s p8 x0 y0 -c 1 8 -b 8 8 -r B3/S13 -p "=12" -s "D4+" -n 5

I quickly get 5 solutions, at least one of which is not p8. This is because `-c 1 8` is a difference of 7 generations. Notice that any p2 oscillator will be different after 7 generations, so this does not prevent the discovery of p2 oscillators. By contrast, `-c 0 4` gives a difference of 4 generations, and every p2 (and p4) oscillator will be the same after 4 generations.

Also, generations are indexed starting at 0, so you should really use `-c 0 N` to force a change between generation 0 and generation N.

Please test the above searches to make sure you get the same results. If you do not get the same results, please share your results here.

[Disaster16439]

After experiencing the pain of manually inputting stuff into a table, I decided to make a program to generate it. How to use: First, in Golly, switch your rule to LifeSuper. Then, make your pattern, where the state mappings are:

State 0 --> 0

State 1 --> 1

State 2 --> *

State 3 --> 0'

State 4 --> 1'

State 5 --> *'

The later states are variables. - signs are not currently supported. You have to run this script once for every state

Code: Select all

import golly as g
output=""
convertlist=["0","1","*","0'","1'","*'","a","b","c","d","e","f","g","h","i","j","k","l","m","n","o","p","q","r","s","t"]
rect=g.getselrect()
if len(rect)==0:
	g.exit(message="No selection!")
else:
	for y in range(rect[1],rect[1]+rect[3]):
		for x in range(rect[0],rect[0]+rect[2]):
			if x==rect[0]:
				if y==rect[1]:
					output=str(convertlist[g.getcell(x,y)])
				else:
					output+="\n"+str(convertlist[g.getcell(x,y)])
			else:
				output+=","+str(convertlist[g.getcell(x,y)])

with open("llsmakeroutput.txt","w") as f:
	f.write(output)
g.show('Done!')

The script will store it in a file called llsmakeroutput.txt.


Edit: Whoops, included a part from a previous version. fixed.


Edit: Whoops, said whoops instead of fixed. fixed

[LaundryPizza03]

This search found a c/3o instead of the expected 3c/5o.

Code: Select all

(native) gabefrohaug@MacBook-Pro logic-life-search % ./lls -S kissat -b 12 11 -r pB2a345678/S -s p5 x3 -a p1 -p "<=10"
Getting search pattern...
Done

Preprocessing...
Done

Width: 14
Height: 13
Duration: 6

Number of undetermined cells: 594
Number of variables: 2418
Number of clauses: 309397

x = 14, y = 13, rule = B2acn3ar4-cew5-cknr6-ck78/S
bbbbbbbbbbbbbb$
bbbbbbbbbbbbbb$
bbbbbbbbbbbbbb$
bbbbbbbbbobbbb$
bbbbbbbbbobbbb$
bbbbbbbobobbbb$
bbbbbbbobobbbb$
bbbbbbbobobbbb$
bbbbbbbbbobbbb$
bbbbbbbbbobbbb$
bbbbbbbbbbbbbb$
bbbbbbbbbbbbbb$
bbbbbbbbbbbbbb!


Total solver time: 44.02043318748474

Code: Select all

x = 3, y = 7, rule = B2ac3n4cintz5e6i/S
2bo$2bo$obo$obo$obo$2bo$2bo!

EDIT: Probably just a bit-flip error. Try running it 100 times in a row and see how often it finds a non-3c/5o result.
EDIT2: The rule was copied incorrectly the reported result is indeed 3c/5o.

Code: Select all

x = 3, y = 7, rule = B2acn3ar4-cew5-cknr6-ck78/S
2bo$2bo$obo$obo$obo$2bo$2bo!

[hotcrystal0]

Why is LLS saying this in front of all searches I run?

Code: Select all

/home/hotcrystal/logic-life-search/./lls:40: SyntaxWarning: "\ " is an invalid escape sequence. Such sequences will not work in the future. Did you mean "\\ "? A raw string is also an option.
  help="""Impose a symmetry on the pattern Examples: "D4x" enforces reflection symmetry about both axes, "p7" enforces period 7, "p2 RE\ x1" imposes the glide-reflect symmetry of a glider."""

[Sokwe]

Why is LLS saying this in front of all searches I run?

Code: Select all

/home/hotcrystal/logic-life-search/./lls:40: SyntaxWarning: "\ " is an invalid escape sequence. Such sequences will not work in the future. Did you mean "\\ "? A raw string is also an option.
  help="""Impose a symmetry on the pattern Examples: "D4x" enforces reflection symmetry about both axes, "p7" enforces period 7, "p2 RE\ x1" imposes the glide-reflect symmetry of a glider."""

The argparse help string regarding symmetry options fails to escape a backslash. This does not impact LLS in any way other than giving this annoying message.

[g0t0]

How to download LLS in China?
There is not gitlab.com.

[Macbi]

How to download LLS in China?
There is not gitlab.com.

I have created a mirror on GitHub here: https://github.com/OscarCunningham/logic-life-search
Please let me know if that's also inaccessible.