0


完美图的MAP估计

MAP Estimation with Perfect Graphs
课程网址: http://videolectures.net/mlss09us_jebara_mapepg/  
主讲教师: Tony Jebara
开课单位: 哥伦比亚大学
开课时间: 2009-07-30
课程语种: 英语
中文简介:
有效地找到图形模型的最大后验(MAP)配置是一个重要的问题,其通常使用消息传递算法和线性编程来实现。这种算法的最优性仅适用于单连通图,如树。最近,与其他人一起,我们已经表明匹配和b匹配也允许在最大乘积信念传播下的精确MAP估计。这导致我们考虑树木,匹配和b匹配的概括:所谓的完美图形的迷人家族。虽然一般循环图形模型中的MAP估计是NP,但对于特定形式的完美图形,问题在于P.这个结果利用了最近在定义完美图形方面的进展(强完美图形定理已在40年后得到解决),线性编程MAP估计的松弛和最近的收敛消息传递方案。特别是,我们将任何图形模型转换为所谓的nand Markov随机场。这个模型可以直接放松到线性程序中,通过测试图形完美度可以确定其完整性。使用多项式时间算法有效地执行该完美测试。或者,可以使用来自完美图论的已知分解工具来证明某些图的完美性。因此,提供了一般图形框架,用于确定何时任何图形模型中的MAP估计在P中,具有积分线性编程松弛并且可通过消息传递精确地恢复。
课程简介: Efficiently finding the maximum a posteriori (MAP) configuration of a graphical model is an important problem which is often implemented using message passing algorithms and linear programming. The optimality of such algorithms is only well established for singly-connected graphs such as trees. Recently, along with others, we have shown that matching and b-matching also admit exact MAP estimation under max product belief propagation. This leads us to consider a generalization of trees, matchings and b-matchings: the fascinating family of so-called perfect graphs. While MAP estimation in general loopy graphical models is NP, for perfect graphs of a particular form, the problem is in P. This result leverages recent progress in defining perfect graphs (the strong perfect graph theorem which has been resolved after 4 decades), linear programming relaxations of MAP estimation and recent convergent message passing schemes. In particular, we convert any graphical model into a so-called nand Markov random field. This model is straightforward to relax into a linear program whose integrality can be established in general by testing for graph perfection. This perfection test is performed efficiently using a polynomial time algorithm. Alternatively, known decomposition tools from perfect graph theory may be used to prove perfection for certain graphs. Thus, a general graph framework is provided for determining when MAP estimation in any graphical model is in P, has an integral linear programming relaxation and is exactly recoverable by message passing.
关 键 词: 最大后验配置; 消息传递算法; 线性编程
课程来源: 视频讲座网
最后编审: 2019-07-18:cjy
阅读次数: 65