贝叶斯网络推理之loop cutset求解

为了不间断的锻炼自己的书面表达能力，尽可能的多将自己看到的理解的东西写出来。
最近在看贝叶斯推理中loop cutset的相关文献，今天说一下其精确求解算法。
loop cutset是一个NP问题，自问题一开始提出，学者们就主要在启发式算法上面做工作，典型算法就是贪心算法，1990年stillman提出的MGA是其典型代表；1998年其随机算法被提出。
而第一个精确求解算法是2006年Razgon提出的，2008年Fomin将算法复杂度提高至O(1.7548ⁿ). 2010年算法复杂度又被提高至O(1.7348ⁿ).
精确算法主要思想是依靠图的分解将问题简化，继而求解。