估计降序二元决策图效率的启发式方法？
降序二元决策图 (ROBDD) 是多变量布尔函数的高效数据结构<代码>f(x1,x2,...,xn)。我想直观地了解它们的效率。 例如，对于数据压缩，我们知道低熵…
P != NP 问题
这不是一个“纯粹的”编程问题，但由于它深入涉及编程理论，我认为最好在这里问。 关于P NP问题，摘录自http://en.wikipedia.org/wiki/P_versus_NP_pr…
在 Brainfuck 中实现控制结构
对于外行来说，Brainfuck 是一种图灵完备的语言，只有 8 个命令，所有命令都有C 中的字面等价物： bf c ---------------------- > ++ptr < --ptr …
解释 Vinay Deolalikar 的证明 P != NP
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. 这个问题似乎与帮助中心中定义的范围内…
哪种正式语言类是具有唯一键的 XML 和 JSON（它们不是上下文无关的）
Closed. This question is off-topic. It is not currently accepting answers. 想要改进此问题吗？更新问题，使其关于- Stack Overflow 的主题。 12…
如何编写一个函数来比较多组布尔（真/假）答案并对其进行排名？
我已经开始了一个项目，事实证明它比我最初想象的要复杂得多。我正在尝试规划一个基于布尔（真/假）问题和答案的系统。系统上的用户可以回答大量布尔…
“语义”的简单定义因为它通常与编程语言/API 相关使用？
今天我突然想到，虽然我在提到语言元素和命名约定时已经采用并且不经常使用“语义”一词，但我对正式定义没有任何感觉。 我试图在编程领域找到一个正…
过去他们如何直接输入机器代码？
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
Fitch 格式证明 - 有自动求解器吗？
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
