[论文解读] Hypergraphs: an introduction and review

Xavier Ouvrard|arXiv (Cornell University)|Feb 12, 2020

VLSI and FPGA Design Techniques参考文献 62被引用 22

一句话总结

本文全面综述了超图，介绍了其数学基础，比较了多种定义（包括基于关联的定义与关系式表述），并强调了其在建模多路关系方面相较于传统图的优势。研究表明，超图通过支持多顶点超边，对图进行了推广，并通过关联表示与二分图等价，同时强调了其在协作网络与组合问题中的实用性。

ABSTRACT

Hypergraphs were introduced in 1973 by Bergé. This review aims at giving some hints on the main results that we can find in the literature, both on the mathematical side and on their practical usage. Particularly, different definitions of hypergraphs are compared, some unpublished work on the visualisation of large hypergraphs done by the author. This review does not pretend to be exhaustive.

研究动机与目标

• 从文献中综合超图的关键理论结果与定义，特别是 Berge (1967, 1973)、Voloshin (2009) 和 Bretto (2013) 的工作。
• 比较和对比不同形式的超图定义，包括基于集合的定义、基于关联的定义以及关系式表述。
• 探讨超图在建模复杂系统（如协作网络）中的实际效用，其中成对关系不足以描述系统行为。
• 研究超图与其关联（二分）图之间的结构等价性，并阐明此类表示的局限性。
• 研究超图在解决组合问题（如2-着色、色数、代表性图构造）中的作用。

提出的方法

• 采用集合论定义的超图，即作为一对 (V, E)，其中 V 是顶点的有限集合，E 是 V 的非空子集族，且所有超边的并集覆盖 V。
• 比较三种主要定义：标准基于集合的定义（Berge）、基于关联函数的模型（Stell, 2012），以及关系模型（同样由 Stell, 2012 提出），其中顶点与超边是同一集合中的元素，并通过二元关系关联。
• 引入关联图（或 König 图）的概念，作为超图的二分图表示，其中每个超边被映射为一个新顶点，与构成它的顶点相连。
• 应用超图中的对偶性概念，表明超图与其对偶图具有相同的关联图，这限制了通过二分图表示来区分它们的能力。
• 分析超图的2-着色性，定义超图为2-着色的条件是其顶点可被着色，使得没有超边（单点除外）为单色。
• 使用反例表明，并非所有图都可以是2-均匀超图的代表性图（对偶图的2-截面），特别是在违反顶点-团约束时。

实验结果

研究问题

• RQ1 在表达力与适用性方面，基于集合的、基于关联的、关系式的超图定义之间有何异同？
• RQ2 超图在多价关系建模方面，相较于传统图，其自然性体现在何处？
• RQ3 通过其关联（二分）图表示超图时，其结构局限性是什么，特别是在对偶性与同构性方面？
• RQ4 在何种条件下，给定图可以是某超图的代表性图，而何时这是不可能的？
• RQ5 2-着色性与色数等概念如何从图自然地推广到超图？

主要发现

• 超图通过允许超边连接任意数量的顶点，对图进行了推广，使其适用于建模协作网络等多路交互关系。
• 超图的关联图是一种保持原始超图结构的二分图，但通过此表示无法区分原超图与其对偶超图。
• 若超图的顶点可被着色，使得没有超边（单点除外）为单色，则该超图为2-着色的；若某超图本身不可2-着色，但其所有真子集均可，则称其为凝聚体（condensers）。
• 存在反例表明，并非所有图都可作为2-均匀超图的代表性图，特别是在某顶点以与2-均匀性不兼容的方式属于超过两个团时。
• 图的色数可被重新解释为超图着色的一个特例，但若以 König 表示法表达，该形式会变得繁琐。
• 关系式超图定义（MuRelDef）通过二元关系对顶点与超边实现对称处理，但需通过关联函数重建超边成员关系，而该函数在结构中是隐含的。