[论文解读] Program for calculating bounds on the minimum rank of a graph using Sage

Laura DeLoss, Jason Grout+3 more|ArXiv.org|Dec 9, 2008

Cybersecurity and Information Systems参考文献 1被引用 7

一句话总结

本文提出了一种基于Sage的计算程序，利用多种图论技术计算图的最小秩的上下界。该程序实现了通过零填充、团覆盖、平面性/非平面性、路径/非路径检测以及结构特性得出的边界，对K₃和佩特尔斯图等小图实现了精确的最小秩计算。

ABSTRACT

The minimum rank of a simple graph $G$ is defined to be the smallest possible rank over all symmetric real matrices whose $ij$th entry (for $i eq j$) is nonzero whenever $\{i,j\}$ is an edge in $G$ and is zero otherwise. Minimum rank is a difficult parameter to compute. However, there are now a number of known reduction techniques and bounds that can be programmed on a computer; we have developed a program using the open-source mathematics software Sage to implement several techniques. In this note, we provide the source code for this program.

研究动机与目标

• 开发一种计算工具，利用多种理论边界估算图的最小秩。
• 将已知的约简技术与边界整合到一个开源软件包中。
• 针对阶数不超过7的图，提供最小秩的精确或紧致边界，利用预计算数据。
• 使研究人员能够通过Sage中可配置的测试选项高效计算并比较多种边界。
• 通过在图族上实现自动化、可复现且可扩展的计算，支持最小秩的研究。

提出的方法

• 使用Sage（版本3.1.2）作为图分析与符号计算的计算环境。
• 实现一个核心函数minrank_bounds，通过可配置的测试计算下界和上界。
• 将零填充数用作下界，利用最小秩 ≥ 零填充数这一事实。
• 利用图的结构特性（例如平面性、外平面性、路径相似性）推导上界。
• 通过团覆盖和基于阶数的边界（例如|G|−1）作为额外的上界来源。
• 通过割点和连通分量的递归分解支持，将子图上的边界聚合。

实验结果

研究问题

• RQ1 能否开发一种系统化、自动化的途径，以计算图的最小秩的紧致边界？
• RQ2 各种图论不变量（例如零填充、平面性、团覆盖）在缩小可能的最小秩取值范围方面有多高效？
• RQ3 在多大程度上可以利用小图（阶数≤7）的预计算最小秩来改进边界计算？
• RQ4 当上下界一致时，该程序能否可靠地检测出精确的最小秩值？
• RQ5 不同测试组合如何影响计算边界的紧致性和效率？

主要发现

• 对于完全图K₃，程序将下界和上界均计算为1，确认了精确的最小秩。
• 对于佩特尔斯图，程序计算出下界为5（最优下界来自零填充），上界为6，边界紧致。
• 程序识别出佩特尔斯图不是平面图，得出上界为6；且不是路径图，得出上界为8。
• 对于希伍德图，程序通过零填充得出下界为8，通过非平面性得出上界为10。
• 程序成功计算出图集（Atlas of Graphs）中1252个图的精确最小秩，其中119个图通过下界与上界一致确认了精确边界。
• write_spreadsheet函数生成包含详细边界和属性（包括零填充下界和禁止子图指示符）的CSV文件。