\(A和其他几个\phi()函数无关,就放到后面去了\)
案例2
顺序总结
VE-Variable Eliminate
第二种消元法复杂度高于第一种的
复杂度还可以从图论的视角分析
导出图和变量消元顺序是一一对应的 scope 就是因子中包含的随机变量 导出图的宽度决定了这个消元顺序对应的时间复杂度 寻找最优消元顺序是NP难问题 可以用启发式规则来消元