变量消元算法

\(A和其他几个\phi()函数无关,就放到后面去了\)

案例2

顺序总结

VE-Variable Eliminate

第二种消元法复杂度高于第一种的

复杂度还可以从图论的视角分析

导出图和变量消元顺序是一一对应的
scope 就是因子中包含的随机变量
导出图的宽度决定了这个消元顺序对应的时间复杂度
寻找最优消元顺序是NP难问题
可以用启发式规则来消元