[论文解读] On Point-Determining Graphs

Ira M. Gessel, Ji Li|arXiv (Cornell University)|May 1, 2007

Advanced Combinatorial Mathematics参考文献 11被引用 1

一句话总结

本文利用物种的组合理论，引入并枚举了点确定图、共点确定图、双点确定图以及双色点确定图。它推导出这些图类及其连通变体的生成函数与精确计数，为这些结构图性质提供了一个系统化的代数枚举框架。

ABSTRACT

Point-determining graphs are graphs in which no two vertices have the same neighborhoods, co-point-determining graphs are those whose complements are point-determining, and bi-point-determining graphs are those both point-determining and co-point-determining. Bicolored point-determining graphs are point-determining graphs whose vertices are properly colored with white and black. We use the combinatorial theory of species to enumerate these graphs as well as the connected cases.

研究动机与目标

• 正式定义并分类点确定图、共点确定图、双点确定图以及双色点确定图。
• 解决这些具有结构约束的图类缺乏系统化枚举方法的问题。
• 应用组合物种理论推导生成函数与精确枚举公式。
• 将枚举方法扩展至这些图类型的连通变体。

提出的方法

• 利用组合物种理论作为图枚举的基础框架。
• 将点确定图定义为任意两个顶点不共享相同邻域的图。
• 通过考虑补图来应用对偶性，以定义共点确定图。
• 推导出在 n 个顶点上此类图数量的指数生成函数。
• 应用物种理论构造方法，以建模顶点着色与连通性约束。
• 通过生成函数的代数运算提取精确计数与连通情况的枚举结果。

实验结果

研究问题

• RQ1 如何利用代数组合学系统地枚举点确定图？
• RQ2 在 n 个顶点上，点确定图的精确数量是多少？连通实例的计数有何不同？
• RQ3 共点确定图与双点确定图的计数与它们的点确定图对应物之间有何关系？
• RQ4 在满足正确 2-着色约束下，双色点确定图的枚举结果是什么？
• RQ5 哪些生成函数能够表征这些图类的物种？

主要发现

• 本文推导出点确定图的指数生成函数，从而实现对 n 个顶点上此类图的精确枚举。
• 提出一种基于物种理论分解的方法，用于计算连通点确定图的数量。
• 通过利用补运算的对偶性，获得了共点确定图的枚举结果。
• 双点确定图被证明是点确定图与共点确定图类的交集，其生成函数亦相应推导得出。
• 对于双色点确定图，本文构建了考虑正确 2-着色同时保持点确定性质的生成函数。
• 该框架可计算所有指定图类的精确计数，包括其连通分量。