Home

LifeFind

A simple and naïve Game of Life pattern searcher written in Wolfram Language.

这是个用来搜索生命游戏（以及别的 Life-like 的元胞自动机）里的图样的 Mathematica 包。搜索方式是把图样要满足的条件看成一个 SAT 问题，然后用 Mathematica 自带的 SatisfiabilityInstances 函数求解。灵感来自 Oscar Cunningham 写的 Logic Life Search。

这个包就是写着玩的，搜索速度慢得离谱，完全无法搜索周期稍大的图样。如果需要实用一点的搜索工具，推荐使用 Logic Life Search（可搜各种图样），或者 ntzfind（专搜飞船）。更多搜索工具见《生命游戏搜索程序汇总》。

我不怎么懂编程，代码肯定有很多 bug。遇到问题欢迎来提 issue。

具体的用法请点以下的链接。

• 下载与安装

• 搜索图样

  用来搜索图样的 SearchPattern 和 LifeFind 两个函数支持以下选项：

  • "Rule"
  • "Symmetry"
  • "Agar"
  • "Changing"
  • "Periodic"
  • "RandomArray"
  • "KnownCells"
  • "OtherConditions"

• 搜索图样与规则

  在 "Rule" 选项设为 "" 时，SearchPattern 和 LifeFind 两个函数搜索的是未指定的规则，此时它们还支持以下的规则：

  • "Hexagonal"
  • "Totalistic"
  • "Generations"
  • "KnownRules"

• 其它函数

  除了 LifeFind，包里还有别的一些函数：

  • RuleNumber
  • ToRLE
  • FromRLE
  • FromAPGCode
  • PlotAndPrintRLE
  • Predecessor
  • CA
  • ExportGIF
  • ExportSpaceshipGIF
  • PatternRules
  • ToRuleString
  • $Rule

• 范例