arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1409.7410cs.AIcs.CCmath.RA
收藏

再论图模型中的代数和推理复杂性

Revisiting Algebra and Complexity of Inference in Graphical Models

University of Alberta(阿尔伯塔大学)

Siamak Ravanbakhsh, Russell Greiner

摘要:

本文利用代数结构提供的抽象,研究了图模型中推理的形式和复杂性。特别是,我们广泛的形式化推理问题的图形模型,将它们视为一系列的操作的基础上交换半群。然后,我们研究的计算复杂性的推理组织成一个“推理层次”的各种问题。当推理问题的底层结构是一个交换半环(即两个交换半群与分配律的组合)时,一个称为信念传播的消息传递过程可以利用这个分配律来对某些问题进行多项式时间推理。在建立NP-困难的推断在任何交换半环,我们调查之间的关系,在此设置的代数性质,并进一步表明,多项式时间的推理使用分配律不(平凡)扩展到推理问题,表示使用两个以上的交换半群。然后,我们扩展的代数处理的消息传递过程调查传播,提供了一个新的角度使用两个交换半环的组合。这一提法概括了调查传播的应用,以新的设置。

英文摘要:

This paper studies the form and complexity of inference in graphical models using the abstraction offered by algebraic structures. In particular, we broadly formalize inference problems in graphical models by viewing them as a sequence of operations based on commutative semigroups. We then study the computational complexity of inference by organizing various problems into an "inference hierarchy". When the underlying structure of an inference problem is a commutative semiring -- i.e. a combination of two commutative semigroups with the distributive law -- a message passing procedure called belief propagation can leverage this distributive law to perform polynomial-time inference for certain problems. After establishing the NP-hardness of inference in any commutative semiring, we investigate the relation between algebraic properties in this setting and further show that polynomial-time inference using distributive law does not (trivially) extend to inference problems that are expressed using more than two commutative semigroups. We then extend the algebraic treatment of message passing procedures to survey propagation, providing a novel perspective using a combination of two commutative semirings. This formulation generalizes the application of survey propagation to new settings.

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

↑