开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >是否有可能估计z3的运行时间，或者DPLL(T)算法的运行时间？即使是最坏的情况

问是否有可能估计z3的运行时间，或者DPLL(T)算法的运行时间？即使是最坏的情况
EN

Stack Overflow用户

提问于 2016-08-11 00:21:28

回答 1查看 155关注 0票数 0

我正在致力于可视化微软z3的原型。我想知道是否有可能估计z3或算法的运行时间？如果我能得到最坏的运行时间，那就太好了。

另外，在z3中，有没有什么方法可以通过理论求解器获得每个检查进程的运行时间？

谢谢你的回答。

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2016-08-11 04:55:14

这在一般情况下是不可能的。SAT是一个NP完全问题，SMT至少和SAT一样难。

票数 1

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/38878804

复制

相似问题