[论文解读] A most general edge elimination graph polynomial

Ilia Averbouch, Benny Godlin+1 more|arXiv (Cornell University)|Dec 19, 2007

Advanced Graph Theory Research参考文献 19被引用 4

一句话总结

本文引入了一种新的图多项式 ξ(G,x,y,z)，通过涉及边删除、收缩和提取的递推关系，统一了 Tutte 多项式、匹配多项式、色多项式及其他图不变量。证明了 ξ(G,x,y,z) 是此类多项式中最一般的，既提供了收敛的递归定义，也给出了显式的集合展开公式，并将该框架扩展至带边标签的图，通过 ξₗₐb(G,x,y,z,t̄) 实现。

ABSTRACT

We look for graph polynomials which satisfy recurrence relations on three kinds of edge elimination: edge deletion, edge contraction and deletion of edges together with their end points. Like in the case of deletion and contraction only (W. Tutte, 1954), it turns out that there is a most general polynomial satisfying such recurrence relations, which we call $ξ(G,x,y,z)$. We show that the new polynomial simultaneously generalizes the Tutte polynomial, the matching polynomial, and the recent generalization of the chromatic polynomial proposed by K.Dohmen, A.Pönitz and P.Tittman (2003), including also the independent set polynomial of I. Gutman and F. Harary, (1983) and the vertex-cover polynomial of F,M. Dong, M.D. Hendy, K.T. Teo and C.H.C. Little (2002). We establish two definitions of the new polynomial: first, the most general confluent recursive definition, and then an explicit one, using a set expansion formula, and prove their identity. We further expand this result to edge-labeled graphs as was done for the Tutte polynomial by T. Zaslavsky (1992) and B. Bollobás and O. Riordan (1999). The edge labeled polynomial $ξ_{lab}(G,x,y,z, \bar{t})$ also generalizes the chain polynomial of R.C. Read and E.G. Whitehead Jr. (1999). Finally, we discuss the complexity of computing $ξ(G,x,y,z)$.

研究动机与目标

• 识别满足边删除、收缩和提取（移除边及其端点）线性递推关系的最一般图多项式。
• 在单一框架下统一现有的图多项式，如 Tutte 多项式、匹配多项式和色多项式。
• 为新多项式建立递归定义与显式集合展开定义，并证明二者等价。
• 将该框架扩展至带边标签的图，推广链多项式及其他带标签不变量。
• 分析 ξ(G,x,y,z) 和 ξₗₐb(G,x,y,z,t̄) 的计算复杂性，尤其关注其与树宽和 clique-width 的关系。

提出的方法

• 定义三种基本的边消除操作：删除（G−e）、收缩（G/e）和提取（G†e），后者移除边及其端点。
• 基于这些操作，提出 ξ(G,x,y,z) 的收敛递归定义，包含空图和单顶点图的基例。
• 通过将边的子集划分为删除、收缩和提取三部分，推导出 ξ(G,x,y,z) 的显式集合展开公式。
• 使用归纳法和图的结构分解，证明递归定义与显式定义之间的恒等关系。
• 通过引入带标签变体 ξₗₐb(G,x,y,z,t̄)，将多项式扩展至带边标签的图，其中 t̄ 为边分配标签。
• 利用一阶逻辑（MSOL）证明 ξ(G) 和 ξₗₐb(G) 在树宽有界的图上具有固定参数可解性。

实验结果

研究问题

• RQ1 满足涉及边删除、收缩和提取的线性递推关系的最一般图多项式是什么？
• RQ2 新多项式 ξ(G,x,y,z) 是否能同时推广 Tutte 多项式、匹配多项式和色多项式？
• RQ3 是否存在 ξ(G,x,y,z) 的闭式集合展开公式？该公式是否与递归定义一致？
• RQ4 该框架能否扩展至带边标签的图？该带标签多项式是否推广了已知不变量（如链多项式）？
• RQ5 ξ(G,x,y,z) 和 ξₗₐb(G,x,y,z,t̄) 是否能在树宽或 clique-width 有界的图上以多项式时间计算？

主要发现

• 多项式 ξ(G,x,y,z) 是满足边删除、收缩和提取递推关系的最一般图多项式。
• 通过结构归纳法，证明了 ξ(G,x,y,z) 的递归定义与显式集合展开定义是等价的。
• 多项式 ξ(G,x,y,z) 作为代入实例，统一了 Tutte 多项式、匹配多项式以及 Dohmen–Pönitz–Tittman 色多项式。
• 带边标签的变体 ξₗₐb(G,x,y,z,t̄) 推广了 Read 和 Whitehead 的链多项式，且可用 MSOL 定义。
• ξ(G,x,y,z) 和 ξₗₐb(G,x,y,z,t̄) 在树宽有界的图上可多项式时间计算，且运行时间的指数部分与树宽参数无关。
• ξ(G,x,y,z) 的计算在一般情况下为 #P-难，但在树宽有界的图上具有固定参数可解性；尽管基于 MSOL 的方法中隐藏常数可能限制实际应用。