一种寻找优三角剖分实用算法.pdfVIP

一种寻找最优三角剖分的实用算法

基里尔・特和丹・盖克

计算机科学系

特拉维夫理工

学院

海法32000，以色列

kirill@cs.technion.ac.il,dang@cs.technion.ac.il

开发了一种名为QUICKTREE的算法，用于找到给定无向图一个三角剖分，

使得其最大团的大小最小，并且没有其他三角剖分是子图。我们已经在

最多包含100个节点的图上测试了QUICKTREE，其中最优三角剖分的最大团的大

小为11。这是第一个能够在合理时间内对如此规模的图进行最优三角剖分的算法。

该算法在约束满足问题和通过团树推理算法进行贝叶斯推断中非常有用。

引言

如果一个无向图对于每个长度大于3的环包含一条弦，即连接两个非相邻顶点

的边，则该图是三角化的（或称弦图）。给定一个无向图，其一个三角化的超

图称为三角剖分。我们研究的问题是找到一个三角剖分，使得其最大团

的大小最小，并且边极小的，即没有其他三角剖分是子图。这样的三

角剖分称为最优三角剖分，其最大团的大小减1称为树宽。

引起我们关注这一问题的AI应用是更新问题，即在给定其他随量特定值的

情况下，计算贝叶斯网络中一个随量的后验概率（Pe86；LS88；Pe88；

JLO90）。这一应用也在（BG96）中进行了讨论。Dechter证明，如果能够获

得