我应该通过使用 3-SAT 问题来证明贝叶斯网络 (BN) 中的精确推理是 NP-hard 和 P-hard。

所以，我确实通过定义 3-CNF 制定了一个 3-SAT 问题：

我将其简化为贝叶斯网络中的推理，并产生所有条件概率，并且我知道哪个变量赋值会导致整个表达式为真。

我知道P和NP之间的区别。（如果我错了，请纠正我）：

输入大小的任何 P 问题$n$可以解决$\mathcal{O}(n^c)$. 对于 NP，多项式时间无法确定，因此是不确定的多项式时间。科学家试图回答的问题是，能够验证解决方案的计算机是否也能够找到解决方案。P=NP？

但是，我仍然不确定如何证明贝叶斯网络中的精确推理是 NP-hard 和 P-hard。