Levin search

新的守恒定律量化了程序发现的成本

一篇新论文引入了一种用于程序发现的守恒定律，该定律表明将结构化知识注入搜索算法会直接权衡搜索工作量。该定律量化了找到生成给定序列的最短程序的成本，表明像 Levin 搜索和进化算法这样的现有方法具有与搜索问题的耦合宽度相关的指数级最坏情况下界。该研究提出了一种替代方法，该方法分析候选程序的结构，而不仅仅是其分数，尽管对于通用目标可能不完整，但在恢复测试序列（包括基本细胞自动机）的很大一部分的生成程序方面取得了成功。