[论文解读] Symbolic method and directed graph enumeration

Élie de Panafieu, Sergey Dovgal|arXiv (Cornell University)|Mar 22, 2019

Advanced Combinatorial Mathematics被引用 7

一句话总结

本文引入了箭头积（arrow product）这一新颖的生成函数技术，属于解析组合学范畴，用于简化有向图的计数问题。通过结合符号方法、指数Hadamard积以及利用标记变量的容斥原理，该方法为有向无环图（DAG）、强连通有向图（SCCs）以及所有强连通分量均属于指定族的有向图，提供了简洁的生成函数推导，重新获得了并统一了以往的结果，同时给出了更为简明的证明。

ABSTRACT

We introduce the arrow product, a systematic generating function technique for directed graph enumeration. It provides short proofs for previous results of Gessel on the number of directed acyclic graphs and of Liskovets, Robinson and Wright on the number of strongly connected directed graphs. We also recover Robinson's enumerative results on directed graphs where all strongly connected components belong to a given family.

研究动机与目标

• 开发一种系统化的生成函数方法，用于有向图的计数。
• 统一并简化现有关于DAG与强连通有向图计数的证明。
• 将结果推广至所有强连通分量均属于给定族的有向图。
• 构建一个用于研究随机有向图相变现象的框架。

提出的方法

• 引入箭头积，一种组合运算，可将一个有向图中的任意有向边添加到另一个有向图中。
• 应用指数Hadamard积，实现在指数生成函数与图生成函数之间的转换。
• 使用标记变量（如u）通过容斥原理追踪源点、汇点或特定SCCs。
• 采用多变量生成函数的符号方法，以同时追踪顶点数、边数及分量类型等多重参数。
• 应用循环指标框架与物种理论概念，系统性地处理标记有向图。
• 通过分解推导生成函数：例如，DAG可表示为标记源点与一般有向图的箭头积。

实验结果

研究问题

• RQ1 如何将符号方法扩展，以提供更短、更系统的有向图计数证明？
• RQ2 强连通有向图的生成函数是什么？能否从基本原理出发得到清晰的推导？
• RQ3 能否将带有标记源点的DAG计数方法推广至带有标记源类型强连通分量的有向图？
• RQ4 如何推导出所有强连通分量均受限于给定族的有向图的生成函数？
• RQ5 该框架能否扩展以分析随机有向图中的相变现象？

主要发现

• 带有标记源点的DAG的生成函数为 DAG(z, w, u) = Set((u−1)z, w)/Set(−z, w)，给出了简洁且封闭形式的表达式。
• 强连通有向图的生成函数为 SCC(z, w) = −log(G(z, w) ⊙ 1/G(z, w))，以一种新颖且简明的方式重新获得了已知结果。
• 所有强连通分量均属于族A的有向图的生成函数为 DA(z, w) = 1 / (Set(w, z) ⊙ e−A(z,w))，推广了DAG的计数方法。
• 该方法支持高效计算：在O(nm log(n+m))步内可计算出最多n个顶点和m条边的SCC计数。
• 该框架自然可扩展至标记子族B中的分量，得到 DA(z, w, u) = Set(w, z) ⊙ e(u−1)A(z,w) / (Set(w, z) ⊙ e−A(z,w))。
• 该方法提供了一套统一且系统化的方法，重新获得了并简化了Gessel、Liskovets、Robinson与Wright的研究结果。