[论文解读] Algorithms for realizing degree sequences of directed graphs

M. Drew LaMar|arXiv (Cornell University)|Jun 1, 2009

Digital Image Processing Techniques参考文献 8被引用 9

一句话总结

本文提出了一种改进的 Havel-Hakimi 风格算法，用于从度序列构造有向图实现，解决了先前扩展中因未明确定义情况而存在的关键局限性。主要贡献在于对‘有向 3-环锚定’序列（即强制所有实现均包含有向 3-循环的度序列）进行了结构表征，从而实现了一个定义明确的算法，能够生成具有最多双向边的有向图，尤其适用于总度数之和为奇数的欧拉序列。

ABSTRACT

The Havel-Hakimi algorithm for constructing realizations of degree sequences for undirected graphs has been used extensively in the literature. A result by Kleitman and Wang extends the Havel-Hakimi algorithm to degree sequences for directed graphs. In this paper we go a step further and describe a modification of Kleitman and Wang's algorithm that is a more natural extension of Havel-Hakimi's algorithm, in the sense that our extension can be made equivalent to Havel-Hakimi's algorithm when the degree sequence has equal in and out degrees and an even degree sum. We identify special degree sequences, called directed 3-cycle anchored, that are ill-defined for the algorithm and force a particular local structure on all directed graph realizations. We give structural characterizations of these realizations, as well as characterizations of the ill-defined degree sequences, leading to a well-defined algorithm.

研究动机与目标

• 开发一种有向图的自然 Havel-Hakimi 算法扩展，其结构与行为与无向图版本保持一致。
• 识别并解决现有算法因度序列未明确定义而失效的情况。
• 表征‘有向 3-环锚定’序列对所有可能有向图实现所施加的结构约束。
• 提供一个定义明确的算法，用于构造有向图实现，特别是针对总度数之和为奇数的欧拉序列。
• 通过构造具有最多双向边的实现，展示该框架的实用性。

提出的方法

• 通过优先进行对称度数减少，将 Kleitman-Wang 算法修改为更贴近 Havel-Hakimi 方法。
• 引入‘有向 3-环锚定’（⃗C3-anchored）序列作为未明确定义情况的核心类别。
• 利用结构表征，识别出所有 ⃗C3-anchored 序列的实现必须在一个特定顶点集上包含一个诱导有向 3-环。
• 通过归纳法和度序列变换，证明 ⃗C3-anchored 序列的单有向图可实现性。
• 采用两阶段验证过程：首先通过度序列性质识别未明确定义的情况，然后通过结构约束确保算法正确性。
• 重新审视算法，明确步骤以保证其定义明确性，尤其针对欧拉序列。

实验结果

研究问题

• RQ1 能否以一种保持无向版本对称性与简洁性的方法，有意义地将 Havel-Hakimi 算法扩展至有向图？
• RQ2 哪些结构属性定义了导致标准 Havel-Hakimi 算法扩展失效的度序列？
• RQ3 所有未明确定义的度序列的实现是否共享一种共同的局部结构？如果是，其结构是什么？
• RQ4 能否完全通过度序列属性表征未明确定义序列的类别？
• RQ5 使用改进后的算法可以构造出何种类型的有向图实现，特别是针对总度数之和为奇数的欧拉序列？

主要发现

• 算法中识别出的未明确定义序列恰好是‘有向 3-环锚定’（⃗C3-anchored）序列，这些序列强制所有实现都在特定顶点集上包含一个诱导有向 3-环。
• 所有 ⃗C3-anchored 序列都是单有向图可实现的，即至少存在一个有向图实现，且此类实现因存在 3-环而受到结构约束。
• 对于总出度数之和为奇数的欧拉序列，改进后的算法生成的实现中，除一个有向 3-环外，其余均为双向边。
• 算法的正确性通过度序列表征识别 ⃗C3-anchored 序列，并对实现施加结构约束来保证。
• 该框架支持构造具有最多双向边的有向图实现，尤其适用于欧拉序列。
• ⃗C3-anchored 序列可实现性的证明依赖于归纳法，每一步都将问题简化为具有相同结构特性的更小实例。