arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 0709.1190cs.ITcs.AImath.IT
收藏

任意图上加权b-匹配的置信传播及其与具有最优解的线性规划的关系

Belief-Propagation for Weighted b-Matchings on Arbitrary Graphs and its Relation to Linear Programs with Integer Solutions

Stanford University(斯坦福大学);Microsoft Research(微软研究院);Politecnico Di Torino(都灵理工大学)

Mohsen Bayati, Christian Borgs, Jennifer Chayes, Riccardo Zecchina

摘要:

我们考虑的一般问题,找到最小重量$\bm$ -匹配任意图。我们证明了,只要线性规划(LP)松弛的问题没有分数解,那么置信传播(BP)算法收敛到正确的解决方案。我们还表明,当LP松弛有一个分数的解决方案,然后BP算法可以用来解决LP松弛。我们的证明是基于图覆盖的概念,并扩展了(Bayati-Shah-Sharma 2005和Huang-Jebara 2007)的分析。这些结果在以下几个方面是值得注意的:(1)这是一个非常少数的证明证明BP的正确性,没有任何限制的图结构。(2)同步和异步BP的证明工作的变种,这是第一个证明的收敛性和正确性的异步BP算法的组合优化问题。

英文摘要:

We consider the general problem of finding the minimum weight $\bm$-matching on arbitrary graphs. We prove that, whenever the linear programming (LP) relaxation of the problem has no fractional solutions, then the belief propagation (BP) algorithm converges to the correct solution. We also show that when the LP relaxation has a fractional solution then the BP algorithm can be used to solve the LP relaxation. Our proof is based on the notion of graph covers and extends the analysis of (Bayati-Shah-Sharma 2005 and Huang-Jebara 2007}. These results are notable in the following regards: (1) It is one of a very small number of proofs showing correctness of BP without any constraint on the graph structure. (2) Variants of the proof work for both synchronous and asynchronous BP; it is the first proof of convergence and correctness of an asynchronous BP algorithm for a combinatorial optimization problem.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑