我正在查看此算法的article on wikipdia，我看到两个看似矛盾的陈述：
“它还提供了一种确定性方法来检查是否已达到布尔函数的最小形式”
和
“使用范围有限，因为它解决的问题是NP难”
思想？
P.S。是否有一个Visual Studio插件可以通过将此算法应用于突出显示的代码来减少条件逻辑？
答案 0 :(得分：3)
该算法采用指数时间。所有NP完全问题都可以在指数时间内解决。据推测，除了NP难之外，所提到的问题是NP完全的。
这种差异可能是因为你不完全理解NP-hard的定义： http://en.wikipedia.org/wiki/NP-hard
答案 1 :(得分：1)
这些陈述中没有任何矛盾 您可能会对“确定性”在这种情况下的含义感到困惑：
在计算机科学中，确定性算法是一种算法，以非正式的方式表现出可预测的行为。给定一个特定的输入，它将始终产生相同的输出，并且底层机器将始终通过相同的状态序列。
从这个意义上讲，几乎所有广泛使用的CS算法都是确定性的。
我相信你已经知道'NP-hard'意味着什么：）