[论文解读] Constructive Graph Theory: Generation Methods, Structure and Dynamic Characterization of Closed Classes of Graphs -- A survey

Mikhail A. Iordanski|arXiv (Cornell University)|Nov 22, 2020

Model-Driven Software Engineering Techniques参考文献 1被引用 5

一句话总结

本文提出了一种基于粘合操作（并集与交集）的构造图论框架，用于生成和表征图的闭类。该框架建立了此类类别的基本元素与操作基础，证明了每个闭类均具有唯一的元素基，并至少存在一个操作基，其应用涵盖哈密顿图、二分图与平面图，实现了图性质的动态表征，并通过受限粘合操作实现最优图合成。

ABSTRACT

The processes of constructing some graphs from others using binary operations of union with intersection (gluing) are studied. For graph classes closed with respect to gluing operations the elemental and operational bases are introduced. The generating bases together with the system of restrictions on the gluing operation that preserves the characteristic properties of graphs form constructive descriptions of the closed classes of graphs. It is shown that each closed class of graphs has a unique elemental basis and at least one operational basis. A constructive description of a closed class of all graphs and all bases precompletion closed sub-classes of it are considered. For each of them its characteristic properties and a diagram of the inclusion of sub-classes in super classes is given. Constructive descriptions are obtained for some classes of graphs with classical properties. In conclusion, some possible applications of constructive graph theory are discussed.

研究动机与目标

• 开发一种系统化框架，通过二元粘合操作生成并表征图的闭类。
• 定义并证明任意图闭类均存在唯一元素基与操作基。
• 建立动态表征条件，以确定在粘合过程中图的特征性质（如哈密顿性、二分性）是否得以保持。
• 通过规范超叠加与克隆操作实现最优图合成，以支持大规模图建模。
• 在图编码、线性布局及复杂图的物理-数学建模中展示实际应用。

提出的方法

• 使用二元集合论粘合操作：从不相交图中选取同构子图进行并集与交集操作。
• 定义超叠加与规范超叠加操作，通过重复粘合从基集生成图。
• 引入元素基 $B_e$，作为生成整个闭类的最小完备图系统。
• 引入操作基 $B_o$，作为保持闭包性质的最小完备粘合子图类型（同构类）系统。
• 对粘合子图施加限制（如 $H_g$, $H_b$），以确保哈密顿性或二分性等性质的保持。
• 运用动态表征引理，判断粘合操作结果是否保持特定图性质。

实验结果

研究问题

• RQ1 粘合操作在何种条件下可保持结果图的特征性质（如哈密顿性、二分性或平面性）？
• RQ2 每个图的闭类是否均可由唯一的元素基与至少一个操作基唯一描述？
• RQ3 如何利用规范超叠加实现从基图出发的高效且结构化的图构造？
• RQ4 经典图类（如哈密顿图或二分图）的最小操作基是什么？
• RQ5 构造性描述如何减少图代码长度，并简化无标签图表示中的解码过程？

主要发现

• 每个图的闭类均具有唯一的元素基，确保该类的最小生成集。
• 每个闭类至少存在一个操作基，且可能存在多个操作基——例如，哈密顿图类存在三个操作基。
• 哈密顿图类是规范 $\prec H_g\succ$-闭的，其元素基为 $\{C_1, C_2, \ldots\}$，并存在两个不同的操作基：$\{O_1, K_2, L_3, L_4, \ldots\}$ 与 $\{O_1, K_2, (L_{n'} \circ L_{n''}) O_0\}$（其中 $n', n'' \geq 2$）。
• 二分图类是 $H_b$-闭的，其元素基为 $\{O_1, K_2\}$，操作基为 $\{O_0, O_2\}$，且在粘合子图中存在关于链奇偶性的动态表征条件。
• 对于平面图，存在三种操作基，证实了同一类图在生成基结构上的多样性。
• 构造性描述可减少图表示中的冗余，并通过克隆操作实现最优合成，尤其在大规模图的超级计算机建模中具有显著优势。