- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
你可能需要读两遍才能清楚我的想法。请耐心等待。
我正在寻找针对给定问题详尽搜索算法的现有工作。穷举搜索也称为蛮力搜索,或简称蛮力。
其他详尽的搜索算法搜索给定问题的解决方案。通常,此类问题的解决方案是一些满足某些要求的数据。
详尽搜索示例:
您想要 KNAPSACK 问题的解决方案。这是可以装入袋子中的元素,这样就没有其他元素组合可以放入袋子中,并且总和比您的结果组合的值(value)更大。
您可以通过遍历所有可能的组合(详尽的)并搜索适合袋子并且是这些组合中最有值(value)的组合来解决这个问题。
我正在寻找的只是穷举搜索的一个特例:穷举搜索搜索算法作为解决方案。所以最后,我正在寻找一种算法来搜索解决某个给定问题的算法。
你可能会说:去谷歌一下吧。好吧,是的,我已经做到了。我在这里面临的困难是谷歌搜索“搜索另一种算法的算法”结果与“另一种搜索算法”完全相同。显然,这有太多不需要的结果,所以我被困在这里。
如何找到与穷举搜索算法相关的现有工作?
更具体地说:有没有为此编写的软件?您能否指出与该主题相关的任何链接或算法名称/更好的关键字?
更新:
我正在寻找这种算法搜索的目的是解决没有好的启发式已知的问题,例如证明算法或尝试为可能是或可能不是 NP 完全问题的问题寻找其他解决算法(从而证明问题不是 NP 完全,如果可以找到更快的算法;无需任何人工交互)。
最佳答案
你似乎在寻找“程序综合”,它可以在某些有限的情况下工作,前提是你可以正确和正式地指定你的算法应该做什么(不给出实现)。综合是构建门级电路的有效方法,但将综合应用于软件到目前为止更多的是一种研究途径,而不是实际应用。
不过,这里有一些关于这个主题的引用,
(我认为该领域的一些最先进的工作都有一个工具)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
本质上,搜索空间是使用模型检查器(详尽地)探索的。
关于algorithm - 详尽搜索算法 - 现有作品?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31231284/
假设你有两个类A和B。如果它们之间的关系是has-a 即A 有一个 B 如何将信息从 B 传递到 A?例如,假设您在 B 中进行了计算并需要 A 中的答案。 除了将 A 类的指针传递给 B 类并调用一
我正在尝试创建一个随机用户名生成器,当用户单击“gen-button”时,它应该会为他们提供一个随机用户名。我是 javascript 的新手,所以不胜感激:) var nameList = [
我知道这不是一个支持论坛;我正试图将其作为文档请求偷偷放入。 简短的问题:创建在所有方面都与原生元素完全相同的元素的推荐方法是什么? (提供附加功能,是的,但是是 100% 兼容的直接替换原生的) 长
面临一个问题 - 是否真的可以将动态选择属性传递给 FindAll 方法?它不起作用,因为它没有得到认可。 selectAttributes= "'x_name','y_name','z_name',
我有以下代码: function example(){ executing_code; $(function(){ executing_code; }); (function(){ executing
将 apache 版本(5.6.12)升级到最新版本后,mysql 在导入转储文件时返回重复错误。 简单的问题是如何导出适用于所有php mysql和mysql的mysql转储文件。 将文件导入到:服
这个 js fiddle 运行没有错误或问题: http://jsfiddle.net/3j45B/2/ 但是,当嵌入到 http://www.zabb.co.uk/untitled6.html 中时
我有一个脚本可以更新数据库中的日期字段。 (已购买)。 我还在另一部分中使用该数据更新第二个日期字段,该字段采用输入日期并添加 6 年 $duedate。它工作正常,但我收到变量 purchased
这个问题在这里已经有了答案: Logical Operators in C (8 个答案) 关闭 9 年前。 main( ) { int i = 4, j = -1, k = 0, w,
我从 http://en.wikipedia.org/wiki/NOP 中红色定义但我仍然需要一个更简单的定义。 我偶然发现了一段代码,但我不知道它到底做了什么: switch (Something)
关闭。这个问题不满足Stack Overflow guidelines .它目前不接受答案。 想改善这个问题吗?更新问题,使其成为 on-topic对于堆栈溢出。 2年前关闭。 Improve thi
关闭。这个问题是off-topic .它目前不接受答案。 想改进这个问题吗? Update the question所以它是on-topic用于堆栈溢出。 关闭 10 年前。 Improve thi
嘿伙计们,我是一个新人,试图找出一些令人困惑的方法 var delay = (function(){ var timer = 0; return function(ca
我已经根据 MediaRecorder.isTypeSupported 对此进行了研究 Chromium 不支持音频/ogg;编解码器=作品。有谁知道是否有与 MediaRecorder 一起使用的替
我已经根据 MediaRecorder.isTypeSupported 对此进行了研究 Chromium 不支持音频/ogg;编解码器=作品。有谁知道是否有与 MediaRecorder 一起使用的替
我目前正在开发一个 VOIP 应用程序。为此,我使用 PortAudio 库检索和播放声音,并使用 Opus 库编码和解码声音数据包。 目前,我成功地使用了 PortAudio。我的程序只是做: 从麦
当我运行此代码时,它会抛出一个错误,指出“clear”未被识别为内部或外部命令。 #include #include void main() { int a=20; printf("print a n
我想知道下面这行代码是如何工作的? char c = (char) -98; 据我所知,所有有符号数都以2 的补码 形式存储。所以 -98 将以 2 的补码形式存储。因此,如果您键入将其转换为 cha
我在我的 OSX 应用程序中发现了一个问题,我认为这是 Mavericks 的错误。 我有以下层次结构: NSView->NSScrollView->NSClipView->NSTableView 当
这是我驱动器上的地址: C:\Program Files\Java\jdk1.6.0_18\bin 我将如何设置路径变量,以便我可以进入命令窗口 (windowskey+r "cmd") 并能够键入如
我是一名优秀的程序员,十分优秀!