[论文解读] Counting unrooted maps using tree-decomposition

Éric Fusy|ArXiv.org|Jan 6, 2006

semigroups and automata theory参考文献 15被引用 6

一句话总结

本文提出了一种新颖的树分解方法，通过将无根地图转化为受限四边形划分的有根树结构，实现了对无根地图（特别是2-连通和3-连通地图）的高效枚举。该方法利用生成函数和Burnside公式，将无根3-连通地图的前N个系数的计算复杂度优化至$Ó(Nackslashlog N)$，显著优于先前的方法。

ABSTRACT

We present a new method to count unrooted maps on the sphere up to orientation-preserving homeomorphisms. The principle, called tree-decomposition, is to deform a map into an arborescent structure whose nodes are occupied by constrained maps. Tree-decomposition turns out to be very efficient and flexible for the enumeration of constrained families of maps. In this article, the method is applied to count unrooted 2-connected maps and, more importantly, to count unrooted 3-connected maps, which correspond to the combinatorial types of oriented convex polyhedra. Our method improves significantly on the previously best-known complexity to enumerate unrooted 3-connected maps.

研究动机与目标

• 开发一种通用且高效的无根地图枚举方法，尤其针对2-连通和3-连通地图等受限家族。
• 克服先前方法的计算低效问题，特别是Walsh对无根3-连通地图枚举中昂贵的系数提取步骤。
• 将树分解技术应用于四边形划分，作为地图的代理，利用已知的双射关系以简化枚举过程。
• 为$k$-根地图建立代数与复杂度结果，通过Burnside公式实现无根地图计数的高效计算。
• 通过调整分解策略，将该方法扩展至其他地图家族，如无环图和简单地图。

提出的方法

• 该方法使用两种树分解：一种基于多重边，一种基于分离的4-圈，将简单和不可约四边形划分表示为有根树结构。
• 通过角双射将无根地图映射为$k$-根对象，将地图枚举转化为四边形划分枚举。
• 对于$k$-根地图，对称性固定了分解树的核心，从而在$k$-根四边形划分及其组成部分的生成函数之间建立方程关系。
• 利用第一种树分解推导出$k$-根不可约四边形划分的生成函数，利用第二种树分解推导出$k$-根简单四边形划分的生成函数，并对$k=2$的情况进行细致的案例分析。
• 应用Burnside公式，结合生成函数的代数结构，将$k$-根计数合并为无根地图的计数。
• 该方法利用生成函数的D-有限性与代数性，特别是那些关于代数级数$\gamma(z)$的有理函数形式，实现高效的系数计算。

实验结果

研究问题

• RQ1 树分解能否用于推导$ k $-根无根地图（特别是3-连通地图）的高效生成函数？
• RQ2 与先前方法相比，该新方法在枚举无根3-连通地图时的计算复杂度如何？
• RQ3 如何利用多重边和分离4-圈的树分解，将简单和不可约四边形划分分解为有根树结构？
• RQ4 该方法能否通过增加额外的分解层级，扩展至其他地图家族（如无环图或简单地图）？
• RQ5 分解树的核心如何影响$k$-根地图的结构，特别是当$k=2$时？

主要发现

• 在两个变量中，$k$-根不可约四边形划分的生成函数是$(\gamma_1, \gamma_2)$-有理函数，其中$\gamma(z)$是满足$\gamma(z) = z(1 + \gamma(z))^2$的代数级数。
• 在单个变量中，$k$-根简单四边形划分的生成函数是$\gamma$-有理函数，建立了其与核心分解代数结构的直接联系。
• 对于无根3-连通地图，利用生成函数的代数性质与D-有限性，可在$\u00d3(N\log N)$次操作内计算出按边数计数的前$N$个系数。
• 对于以顶点数和边数索引、且满足$i+j \leq N$的无根3-连通地图的系数表，可在$\u00d3(N^2)$次操作内完成计算。
• 该方法优于此前已知的无根3-连通地图枚举复杂度，避免了依赖昂贵的系数提取步骤。
• 通过组合环、多重边和分离4-圈的树分解，该方法可扩展至其他地图家族，如无环图和简单地图。