Algorithm 算法的穷举搜索-现有作品？

你可能要读两遍，这样我的想法就清楚了。请耐心等待。
我正在寻找针对给定问题的呼气搜索算法的现有工作。穷举搜索也称为暴力搜索，或简称暴力搜索

其他穷举搜索算法搜索给定问题的解决方案。通常，此类问题的解决方案是一些满足某些要求的数据

详尽的搜索示例：
你想要一个背包问题的解决方案。即可以装入袋子中的对象，这样就不会有其他适合袋子的对象组合，并且它们的总和将比结果组合的值更大。
你可以通过检查所有可能的组合（详尽无遗）来解决这个问题，并搜索适合袋子的组合，以及其中最有价值的组合

我要找的只是穷举搜索的一个特例：穷举搜索，它搜索一个算法作为解决方案。因此，最后，我正在寻找一种算法，它可以搜索解决某个给定问题的算法。

你可能会说：谷歌去吧。嗯，是的，我已经做到了。我在这里面临的困难是，谷歌搜索“搜索另一个算法的算法”的结果与“另一个搜索算法”的结果完全相同。显然，这有太多不想要的结果，所以我被困在这里

如何找到与算法穷举搜索相关的现有工作？
更具体地说：有没有为此编写过任何软件？你能给我指出与本主题相关的任何链接或算法名称/更好的关键字吗

更新：

---

我寻找这种算法搜索的目的是解决没有好的启发式方法的问题，例如，为可能是或可能不是NP完全问题的问题提供算法或尝试寻找其他解决算法（因此，如果能找到更快的算法，证明问题不是NP完全问题；没有任何人机交互）。

我认为这是不可能的（至少没有对算法类别的限制）而且，在任何情况下，搜索空间都会非常大，相比之下，它会使普通的暴力变得更加温和。例如，你可以列举特定计算模型的算法（例如图灵机器）但是当停止的问题出现时——你怎么知道它是否解决了你的问题呢？如果你有一系列依赖于离散参数的算法，那么你当然可以强行选择参数

---

有大量关于遗传编程的文献（请参阅）。这可能会给你一些启示。特别是，在这种情况下经常使用的树数据结构（基本上是表达式树或更普遍的抽象语法树）可能允许暴力枚举。

你似乎在寻找“程序合成”，它可以在某些有限的情况下工作，前提是您可以正确且正式地指定算法应该做什么（无需给出实现）。 综合是构建门级电路的有效方法，但将综合应用于软件到目前为止仍然是一种研究途径，而不是实际应用

不过，这里有一些关于这个主题的参考资料

（在我看来，该领域一些最先进的工作有一个工具） Armando Solar Lezama绘制的程序草图

查看有关该主题的Microsoft研究页面，他们认为这是一个热门话题：

我还见过一些类似的东西： 基于模型检查的遗传编程，应用于互斥。（Katz&Peled@TACAS'08），他们在ArXiv上有一个更新的版本：

基本上，搜索空间是使用模型检查器（彻底）进行探索的。

看看谷歌DeepMind的Alex Graves、Greg Wayne和Ivo Danihelka

摘要：

我们通过将神经网络耦合到 外部记忆资源，他们可以通过注意力与之互动 组合系统类似于图灵机或Von Neumann架构，但可端到端微分，允许 通过梯度下降进行有效训练。初步结果 证明神经图灵机可以推断出简单的算法 例如从输入和输出中复制、排序和关联调用 示例。

---

我使用遗传编程来进化/生成旅行推销员问题的启发式。进化的启发式在测试问题（随机图和其他取自TSPLIB的图）上优于最近邻。如果您想要源代码，可以从这里下载：

，标题为“lambda表达式的系统搜索”在lambda演算中表示的小型类型安全函数程序的空间中执行穷举枚举。

？您遇到过吗？他们寻找a（n最优）相反，具有特定效果的操作序列，既不知道也不关心算法。@greybeard谢谢你的关键词。我以前不知道它们。这似乎与我正在寻找的非常相似。