Variable Elimination Analysis Variable Elimination Complexity Elimination on Graph Finding Elimination Order Variable Elimination Complexity 消元Z主要有两步,一步是因子求积,第二步是边缘化,即对所有含有Z的因子进行一个求和,得到一个新的因子,并将变量Z边缘化掉。因此,每一个因子乘积最多被加一次(消元变量和他无关的时候就不用加这个因子了)。 想要消元B,做因子乘积的时候,把和b有关的因子乘积乘起来,为了求右边那个大表格的每一行,我们需要乘以的二元因子数量是 m k − 1 m_{k}-1 mk