American Dream

From LifeWiki
Jump to navigation Jump to search
This article is a stub. You can help LifeWiki by expanding it.
American Dream
x = 26, y = 13, rule = B3/S23 21bo$20bo$2b3ob3obobobobob2obobo$2bob3o2bobobob4obo$3b2o2b2obob3obob2o b3o$2b2o2bo2bobobo4bo2bo2b2o$3b8obob8ob2o$2b2obob3obobobo2b2obo2bo$2bo bo2bobo2b5ob2o2bo$3bob2o2bobobo2b3o2bo$6bobob3obobob2o2bo$9b2obob3obob 2o$12b3o! #C [[ THUMBSIZE 2 THEME 6 GRID GRIDMAJOR 0 SUPPRESS THUMBLAUNCH ]] #C [[ THUMBSIZE 3 ZOOM 18 HEIGHT 500 ]]
Pattern type Miscellaneous
Number of cells 128
Bounding box 24 × 13
Static symmetry C1
Discovered by Ilkka Törmä
Ville Salo
Year of discovery 2022

American Dream is a pattern with a finite population which has an infinite-population parent but no finite-population parents, found and proven by Ilkka Törmä and Ville Salo in January 2022 using the PicoSAT[1] SAT solver.[2] It is the first known pattern having this property, and gets its name from its similarity to an outline of the map of the contiguous United States.

To obtain American Dream, advance the "almost parent" pattern shown on the left below one generation. The result is shown on the right, below. Then discard the top row, leaving the pattern shown in the infobox. To get an infinite parent of American Dream, repeatedly extend the top three rows of "almost parent" at T = 0 upward.

x = 28, y = 33, rule = B3/S23 2bobobobo3bo3bo5b2o$2bo3bo3bo3bobobobob2o$4bo3bobobobo3bobobo$2bobobob o3bo3bo5b2o$2bo3bo3bo3bobobobob2o$4bo3bobobobo3bobobo$2bobobobo3bo3bo 5b2o$2bo3bo3bo3bobobobob2o$4bo3bobobobo3bobobo$2bobobobo3bo3bo5b2o$2bo 3bo3bo3bobobobob2o$4bo3bobobobo3bobobo$2bobobobo3bo3bo5b2o$2bo3bo3bo3b obobobob2o$4bo3bobobobo3bobobo$2bobobobo3bo3bo5b2o$2bo3bo3bo3bobobobob 2o$4bo3bobobobo3bobo2b2o$2bobobobo3bo3bo5b3o$2bo3bo3bo3bobobob6o$4bo3b obobobo3bo3bob2o$b2o2bobo11bo4b4o$o3bo4b2ob2ob3obo2bo2bo$2bo4b2o3b2ob 2o4b3obo$bob3o4bo3bo5bobo$4bo2bo2bo6b3o$obo3bob2ob4o3bobobobo$2bo2b2ob obo3b2o6bobo$2b2obobo2bo4bob3ob6o$b3o2bo4bob2o2bo5b2o$b3ob2ob2ob2o3bo 2bo$2b9o$o3b2o2b2obobo! #C [[ THUMBSIZE 2 THEME 6 GRID GRIDMAJOR 0 SUPPRESS THUMBLAUNCH ]] #C [[ THUMBSIZE 3 ZOOM 15 HEIGHT 700 ]]
"almost parent" T = 0
(click above to open LifeViewer)
x = 24, y = 31, rule = B3/S23 2bobobo7bobo3b3o18$19bo$18bo$3ob3obobobobob2obobo$ob3o2bobobob4obo$b2o 2b2obob3obob2ob3o$2o2bo2bobobo4bo2bo2b2o$b8obob8ob2o$2obob3obobobo2b2o bo2bo$obo2bobo2b5ob2o2bo$bob2o2bobobo2b3o2bo$4bobob3obobob2o2bo$7b2ob ob3obob2o$10b3o! #C [[ THUMBSIZE 2 THEME 6 GRID GRIDMAJOR 0 SUPPRESS THUMBLAUNCH ]] #C [[ THUMBSIZE 3 ZOOM 15 HEIGHT 700 ]]
"almost parent" T = 1
(click above to open LifeViewer)

References

  1. ↑ PicoSAT
  2. ↑ Ville Salo (January 18, 2022). Re: Unproven conjectures (discussion thread) at the ConwayLife.com forums