[论文解读] Exact counting of Euler Tours for Graphs of Bounded Treewidth

Prasad Chebolu, Mary Cryan+1 more|arXiv (Cornell University)|Oct 1, 2013

Advanced Graph Theory Research参考文献 3被引用 3

一句话总结

本文提出了一种多项式时间算法，用于精确计数无向欧拉图中具有有界树宽的欧拉回路，该方法基于在优美树分解上的动态规划。关键贡献是将先前针对系列-并联图（树宽为2）的结果扩展到所有固定树宽的图，从而解决了该图类在计数复杂性领域长期存在的开放问题。

ABSTRACT

In this paper we give a simple polynomial-time algorithm to exactly count the number of Euler Tours (ETs) of any Eulerian graph of bounded treewidth. The problems of counting ETs are known to be #P-complete for general graphs (Brightwell and Winkler, (Brightwell and Winkler, 2005). To date, no polynomial-time algorithm for counting Euler tours of any class of graphs is known except for the very special case of series-parallel graphs (which have treewidth 2).

研究动机与目标

• 为有界树宽的无向欧拉图中的欧拉回路开发一种高效的精确计数算法。
• 将已知的针对系列-并联图（树宽为2）的多项式时间结果扩展至所有固定树宽的图。
• 解决一般图中欧拉回路计数的计算困难性问题，该问题已被证明为#P-完全。
• 提供一种构造性方法，利用树分解和在分解上的动态规划。

提出的方法

• 该算法使用输入图的优美树分解，这是处理有界树宽图的标准技术。
• 它维护动态规划表，用于跟踪每个子树中部分森林的载荷向量和根向量。
• 对于树分解中的合并节点，该算法使用组合规则将左右子树的解组合起来，以保持根分配和载荷传播的一致性。
• 通过检查根向量上的条件来计算有效组合，以确保结果森林中无环且连通性正确。
• 采用自底向上的递归遍历树分解，从叶子节点初始化表，并在内部节点处合并表。
• 通过施加对应于有效欧拉定向和一致边遍历的约束来保证正确性。

实验结果

研究问题

• RQ1 尽管该问题在一般图中为#P-完全，是否能在有界树宽图中以多项式时间精确计数欧拉回路？
• RQ2 是否存在一种基于树分解的动态规划方法，能够通过跟踪载荷和根向量等结构属性来高效计数欧拉回路？
• RQ3 如何利用有向欧拉图中欧拉回路与入边树形图之间的关系，来在有界树宽的无向图中实现计数？
• RQ4 该算法能否扩展以计算其他图多项式（如Martin多项式）在有界树宽图上的值？

主要发现

• 本文提出了一种多项式时间算法，用于在任意有界树宽的欧拉图中计数欧拉回路，解决了计数复杂性领域的一个开放问题。
• 该算法基于在优美树分解上的动态规划，其状态表跟踪部分森林的载荷和根向量。
• 该方法通过在约束下组合子树解，正确处理了合并节点，以确保无环性和一致的根分配。
• 该方法将先前针对系列-并联图（树宽为2）的工作推广至所有固定树宽d的图。
• 该算法的正确性基于对欧拉回路与分解中入边树形图及森林结构之间关系的精确刻画。
• 该工作为潜在计算其他图多项式（如Martin多项式）在有界树宽图上的值提供了基础。