Code: Select all
./lls -r B012345678/S123456 -b 5 -s p2Search found 900 matches
- March 30th, 2022, 5:54 am
- Forum: Scripts
- Topic: Logic Life Search
- Replies: 256
- Views: 158455
Re: Logic Life Search
Thanks. I don't have time to look at this right now, but I'll add it as a test case. Note to self: also fails.
- March 25th, 2022, 8:22 am
- Forum: General Discussion
- Topic: Thread for basic questions
- Replies: 4817
- Views: 1236468
Re: Thread for basic questions
You're right. I believe that one is an open problem.
- March 25th, 2022, 8:10 am
- Forum: General Discussion
- Topic: Thread for basic questions
- Replies: 4817
- Views: 1236468
Re: Thread for basic questions
Is a 10 x 10 solid square of cells glider constructible? And if not is there a Garden of Eden predecessor? What, garden of edens aren’t meant to have predecessors. A pattern with predecessors doesn’t mean it must have glider synthesis, although I believe a 10x10 is not hard. They mean 'if not, is t...
- March 15th, 2022, 12:16 pm
- Forum: Patterns
- Topic: POTY 2021 Voting Thread
- Replies: 44
- Views: 4937
Re: POTY 2021 Voting Thread
#01 *
#02 **
#03 *
#04 **
#06 *
#07 ***
#08 **
#09 **
#10 *
#11 *
#14 **
#15 *
#16 *
#17 ***
#18 ***
#19 *
#20 **
#23 *
#24 *
#26 *
#28 ***
#29 *
#31 ***
#32 *
#02 **
#03 *
#04 **
#06 *
#07 ***
#08 **
#09 **
#10 *
#11 *
#14 **
#15 *
#16 *
#17 ***
#18 ***
#19 *
#20 **
#23 *
#24 *
#26 *
#28 ***
#29 *
#31 ***
#32 *
- March 15th, 2022, 12:03 pm
- Forum: Patterns
- Topic: POTY 2021 Voting Thread
- Replies: 44
- Views: 4937
Re: POTY 2021 Voting Thread
a number of asterisks from one to three
Simply replace the name of each pattern with the number of asterisks that you want to give it
- March 11th, 2022, 11:52 pm
- Forum: Website Discussion
- Topic: Proposed home page refresh
- Replies: 65
- Views: 12082
Re: Proposed home page refresh
For me the site looks weird when I'm using my phone (Firefox on Android).
- Screenshot_2022-03-12-03-50-27-37_3aea4af51f236e4932235fdada7d1643.jpg (945.35 KiB) Viewed 2725 times
- March 10th, 2022, 5:06 pm
- Forum: General Discussion
- Topic: Thread for basic questions
- Replies: 4817
- Views: 1236468
Re: Thread for basic questions
Further back: x = 32, y = 32, rule = B3/S23 2bo13b2o2b2o8b2o$o4b2obo2b4o4bo3b4o$ob2ob4ob2o2bo2bobo2b2o2b4o$6bo2b2o b4obo6bobo4bo$b2obo2b2o4bo2b3o2bobob2o2b2o$4bob4o2bo4b2obobobo2bobo$b 2o2bo9b2obob2o2b3obobo$4b2o2bo2bobo4bo2bobob4o$obo4b4o3b3ob2ob2o$7bo2b o2bo8bo$4b2obob4ob2o3bobob5obobo$b2o3bo4bo2b...
- March 10th, 2022, 1:12 pm
- Forum: General Discussion
- Topic: Thread for basic questions
- Replies: 4817
- Views: 1236468
Re: Thread for basic questions
How is a 30 x 30 square of cells not a solution to the grandfather problem? x = 32, y = 28, rule = B3/S23 32o3$32o3$32o3$32o3$32o3$32o3$32o3$32o3$32o3$32o! Does that have a grandfather? x = 36, y = 32, rule = B3/S23 10b2o$2b2ob2obo14bobo2bo2b2obo$9b5ob2o2b2obo5bo$bo2bo2bo4bo2b2ob2o2bo 2b2o2bobo2bo$...
- March 9th, 2022, 5:24 pm
- Forum: The Sandbox
- Topic: Imperial Earth, Pentominoes, and SAT solvers
- Replies: 5
- Views: 511
Re: Imperial Earth, Pentominoes, and SAT solvers
No. You would think kissat would have a faster way to do this, but as far as I can tell there's no inbuilt option to find all solutions.
- March 9th, 2022, 4:54 pm
- Forum: The Sandbox
- Topic: Imperial Earth, Pentominoes, and SAT solvers
- Replies: 5
- Views: 511
Re: Imperial Earth, Pentominoes, and SAT solvers
For each letter, at least one of the placement variables must be true (one clause per letter). For each placement and cell it covers, either the placement variable is false or the cell variable is true (5 clauses per placement). These are known as 'cardinality constraints'. The trick is to know tha...
- March 9th, 2022, 11:30 am
- Forum: Patterns
- Topic: Challenge: Self-Synthesizing Spaceship (COMPLETED)
- Replies: 51
- Views: 30553
Re: Challenge: Self-Synthesizing Spaceship (COMPLETED)
Are we getting close to being able to construct ships which travel at any rational speed we specify (less than the speed limit)? It seems like this ship is very close, except that it needs to be able to zig and zag different amounts.
- February 25th, 2022, 8:46 am
- Forum: The Sandbox
- Topic: Dots and boxes
- Replies: 19
- Views: 766
Re: Dots and boxes
Fifteenth move: x = 26, y = 26, rule = B3e4ejr5cinqy6-ei78/S2ei3aejkr4-cny5-e678 3ob3ob3ob3ob3ob3ob2o$2ob3ob3ob3ob3ob3ob3o$9bo6bo8bo$8bo8bo6bo$2o2b2o2b 2o6b2o2b2o2b2o$2o2b2o2b2o6b2o2b2o2b2o$9bo6bo3b2o2bo$8bo8bo2b2o3bo$2ob 4ob3ob3ob3ob2ob3o$3ob2ob3ob3ob3ob4ob2o$8bo8bo7bo$9bo6bo7bo$2o2b2o2b2o 6b2o2b2...
- February 25th, 2022, 7:32 am
- Forum: The Sandbox
- Topic: Dots and boxes
- Replies: 19
- Views: 766
Re: Dots and boxes
seriously, there were moves that gave macbi 2 boxes, or even 1, and you chose one that gave him 3??? Yes, but it won't matter. We would have traded the two 1 boxes and the two 2 boxes and I would have gotten the 3 anyway. Edit: whoops, thirteenth move is actually this: x = 26, y = 26, rule = B3e4ej...
- February 24th, 2022, 6:17 am
- Forum: Website Discussion
- Topic: Thread for your website-related questions
- Replies: 351
- Views: 57392
- February 23rd, 2022, 7:47 am
- Forum: The Sandbox
- Topic: Dots and boxes
- Replies: 19
- Views: 766
Re: Dots and boxes
11th move: x = 26, y = 26, rule = B3e4ejr5cinqy6-ei78/S2ei3aejkr4-cny5-e678 2ob3ob3o2b2o2b2o2b2o2b2o$3ob3ob2o2b2o2b2o2b2o2b2o$8bo8bo$9bo6bo$2o2b2o 2b2o2b2o2b2o2b2o2b2o$2o2b2o2b2o2b2o2b2o2b2o2b2o$8bo8bo$9bo6bo$2o2b2o2b 2ob3ob3ob4ob2o$2o2b2o2b3ob3ob3ob2ob3o$9bo6bo$8bo8bo$2o2b2o2b2o2b2o2b2o 2b2o2b2o$2...
- February 22nd, 2022, 6:23 am
- Forum: The Sandbox
- Topic: Dots and boxes
- Replies: 19
- Views: 766
Re: Dots and boxes
ninth move: x = 26, y = 26, rule = B3e4ejr5cinqy6-ei78/S2ei3aejkr4-cny5-e678 2ob3ob3o2b2o2b2o2b2o2b2o$3ob3ob2o2b2o2b2o2b2o2b2o$8bo$9bo$2o2b2o2b2o2b 2o2b2o2b2o2b2o$2o2b2o2b2o2b2o2b2o2b2o2b2o$8bo$9bo$2o2b2o2b2o2b2o2b2ob 4ob2o$2o2b2o2b2o2b2o2b3ob2ob3o$9bo6bo$8bo8bo$2o2b2o2b2o2b2o2b2o2b2o2b 2o$2o2b2o2b...
- February 21st, 2022, 6:21 pm
- Forum: The Sandbox
- Topic: Dots and boxes
- Replies: 19
- Views: 766
Re: Dots and boxes
seventh move: x = 26, y = 26, rule = B3e4ejr5cinqy6-ei78/S2ei3aejkr4-cny5-e678 2ob3ob3o2b2o2b2o2b2o2b2o$3ob3ob2o2b2o2b2o2b2o2b2o$8bo$9bo$2o2b2o2b2o2b 2o2b2o2b2o2b2o$2o2b2o2b2o2b2o2b2o2b2o2b2o$8bo$9bo$2o2b2o2b2o2b2o2b2o2b 2o2b2o$2o2b2o2b2o2b2o2b2o2b2o2b2o$9bo6bo$8bo8bo$2o2b2o2b2o2b2o2b2o2b2o 2b2o$2o...
- February 21st, 2022, 10:07 am
- Forum: The Sandbox
- Topic: Dots and boxes
- Replies: 19
- Views: 766
Re: Dots and boxes
fifth move: x = 26, y = 26, rule = B3e4ejr5cinqy6-ei78/S2ei3aejkr4-cny5-e678 3ob3ob2o2b2o2b2o2b2o2b2o$2ob3ob3o2b2o2b2o2b2o2b2o$9bo$8bo$2o2b2o2b2o2b 2o2b2o2b2o2b2o$2o2b2o2b2o2b2o2b2o2b2o2b2o$9bo$8bo$2o2b2o2b2o2b2o2b2o2b 2o2b2o$2o2b2o2b2o2b2o2b2o2b2o2b2o$8bo$9bo$2o2b2o2b2o2b2o2b2o2b2o2b2o$ 2o2b2o2b2o...
- February 21st, 2022, 1:36 am
- Forum: The Sandbox
- Topic: Dots and boxes
- Replies: 19
- Views: 766
Re: Dots and boxes
third move: x = 26, y = 26, rule = B3e4ejr5cinqy6-ei78/S2ei3aejkr4-cny5-e678 3ob3ob2o2b2o2b2o2b2o2b2o$2ob3ob3o2b2o2b2o2b2o2b2o$9bo$8bo$2o2b2o2b2o2b 2o2b2o2b2o2b2o$2o2b2o2b2o2b2o2b2o2b2o2b2o$9bo$8bo$2o2b2o2b2o2b2o2b2o2b 2o2b2o$2o2b2o2b2o2b2o2b2o2b2o2b2o$8bo$9bo$2o2b2o2b2o2b2o2b2o2b2o2b2o$ 2o2b2o2b2o...
- February 20th, 2022, 2:37 pm
- Forum: Patterns
- Topic: Soup search results
- Replies: 2591
- Views: 1917517
Re: Soup search results
Not in jslife as far as I can tell. Period 7. Yes, the ship form appeared before the block form. x = 21, y = 21, rule = B3/S23 10b2o$10bobo$11b2o2$9b6o$5b2obo6bo$4bobobob6o$4bobobo$b2obobobo2b5o$ob obobobobo5bo$2o2bobo2bobo2bobo2b2o$4bo5bobobobobobo$5b5o2bobobob2o$12b obobo$5b6obobobo$5bo6bob2o$6b6...
- February 20th, 2022, 10:51 am
- Forum: The Sandbox
- Topic: Dots and boxes
- Replies: 19
- Views: 766
Re: Dots and boxes
In fact Berlekamp wrote a whole book on the subject. https://www.routledge.com/The-Dots-and- ... 1568811291
- February 20th, 2022, 6:21 am
- Forum: The Sandbox
- Topic: Dots and boxes
- Replies: 19
- Views: 766
Re: Dots and boxes
first move: x = 26, y = 26, rule = B3e4ejr5cinqy6-ei78/S2ei3aejkr4-cny5-e678 3ob3ob2o2b2o2b2o2b2o2b2o$2ob3ob3o2b2o2b2o2b2o2b2o3$2o2b2o2b2o2b2o2b2o 2b2o2b2o$2o2b2o2b2o2b2o2b2o2b2o2b2o3$2o2b2o2b2o2b2o2b2o2b2o2b2o$2o2b2o 2b2o2b2o2b2o2b2o2b2o3$2o2b2o2b2o2b2o2b2o2b2o2b2o$2o2b2o2b2o2b2o2b2o2b 2o2b2o3$2o2...
- February 18th, 2022, 12:50 pm
- Forum: General Discussion
- Topic: Algorithm for reversing the GoL rules
- Replies: 8
- Views: 918
Re: Algorithm for reversing the GoL rules
I'm pretty confident I could reverse 12x12 grids with some modifications of my software, but what I'm seeking now are new tips to jump on 16x16 grids. Would any LLS experts out there care to throw together a quick walkthrough of how to do the setup to find predecessors of 16x16 grids? I suspect LLS...
- January 31st, 2022, 2:31 pm
- Forum: General Discussion
- Topic: Question about RLE format
- Replies: 2
- Views: 605
Re: Question about RLE format
The $ represents starting a new line. So 2$ means to start a new line twice. In other words, finish the current line and then leave one entirety blank line.
- January 30th, 2022, 9:38 am
- Forum: General Discussion
- Topic: Unproven conjectures
- Replies: 347
- Views: 134991
Re: Unproven conjectures
What's the maxium speed for any spaceship in Life? Is there a specific calculator for such speed(s), depending on the direction? If a ship translates itself by (x,y) the number of generations it takes to do that must be at least 2(x+y). Can we make sure that all such speed(s) can be achieved by act...