algorithm - 详尽搜索算法 - 现有作品？

Question

你可能需要读两遍才能清楚我的想法。请耐心等待。
我正在寻找针对给定问题详尽搜索算法的现有工作。穷举搜索也称为蛮力搜索，或简称蛮力。

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

详尽搜索示例:
您想要 KNAPSACK 问题的解决方案。这是可以装入袋子中的元素，这样就没有其他元素组合可以放入袋子中，并且总和比您的结果组合的值(value)更大。
您可以通过遍历所有可能的组合(详尽的)并搜索适合袋子并且是这些组合中最有值(value)的组合来解决这个问题。

我正在寻找的只是穷举搜索的一个特例:穷举搜索搜索算法作为解决方案。所以最后，我正在寻找一种算法来搜索解决某个给定问题的算法。

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

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

更新:
我正在寻找这种算法搜索的目的是解决没有好的启发式已知的问题，例如证明算法或尝试为可能是或可能不是 NP 完全问题的问题寻找其他解决算法(从而证明问题不是 NP 完全，如果可以找到更快的算法；无需任何人工交互)。

Answer 1

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

不过，这里有一些关于这个主题的引用，

(我认为该领域的一些最先进的工作都有一个工具) Armando Solar-Lezama 绘制的程序草图

查看有关该主题的 Microsoft 研究页面，他们认为这是热门话题:http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html

我见过的其他一些类似的东西: 基于模型检查的遗传规划与互斥的应用。 (Katz & Peled @ TACAS '08)，他们在 ArXiv 上有更新的版本:http://arxiv.org/abs/1402.6785

本质上，搜索空间是使用模型检查器(详尽地)探索的。