講座題目:樹保持約束求解問題
講座人:李三江 教授
講座時(shí)間:10:00
講座日期:2015-4-29
地點(diǎn):長安校區(qū) 計(jì)算機(jī)科學(xué)學(xué)院學(xué)術(shù)報(bào)告廳
主辦單位:計(jì)算機(jī)科學(xué)學(xué)院
講座內(nèi)容:Tree convex constraints are extensions of the well-known row convex constraints. Just like the latter, every path-consistent tree convex constraint network is globally consistent. This work studies and compares three subclasses of tree convex constraints which are called chain-, path- and tree-preserving constraints respectively. While the tractability of the subclass of chain-preserving constraints has been established before, this work shows that every chain- or path-preserving constraint network is in essence the disjoint union of several independent connected row convex constraint networks, and hence (re-)establish the tractability of these two subclasses of tree convex constraints. We further prove that, when enforcing arc- and path-consistency on a tree-preserving constraint network, in each step, the network remains tree-preserving. This ensures the global consistency of the tree-preserving network if no inconsistency is detected. Moreover, it also guarantees the applicability of the partial path-consistency algorithm to tree-preserving constraint networks, which is usually more efficient than the path-consistency algorithm for large sparse networks. As an application, we show that the class of tree-preserving constraints is useful in solving scene labeling problems.