[论文解读] Table of minimum ranks of graphs of order at most 7 and selected optimal matrices
本论文通过基于Sage的自定义程序，结合先进的约简技术与界值计算，系统地计算了所有阶数不超过7的简单图的最小秩，生成了一份全面的最小秩表格。该研究精确确定了每张此类图的最小秩，并为部分情况提供了最优对称矩阵，以验证通过手工计算或需额外验证的最小秩结果。
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. We have also established several additional strategies for computation of minimum rank. These techniques have been used to determine the minimum ranks of all graphs of order 7. This paper contains a list of minimum ranks for all graphs of order at most 7. We also present selected optimal matrices.
研究动机与目标
- 计算所有最多7个顶点的简单图的精确最小秩。
- 开发并应用基于开源Sage软件的计算框架，以自动化最小秩的确定过程。
- 通过构造实现最小秩的最优对称矩阵，验证结果的正确性。
- 提供一个公开可访问、机器可读的最小秩数据集及其相关界值，以供研究与基准测试使用。
- 扩展现有的理论界值与约简技术，以改进图论中最小秩计算的方法。
提出的方法
- 实现基于Sage的程序，利用多种图论不变量计算最小秩的下界与上界。
- 将零 forcing 数、直径、团覆盖数以及平面性/非平面性约束作为界值的来源。
- 通过检测诱导子图识别强制最小秩 ≥3 的禁止子图。
- 利用割点与树结构检测进行约简，提升界值的紧致性。
- 为部分图构造最优对称矩阵，以确认下界为紧致，从而证明最小秩已被实现。
- 提供结构化、机器可读的数据集（CSV与Sage脚本），便于未来研究与软件工具的集成。
实验结果
研究问题
- RQ1所有阶数最多为7的简单图的精确最小秩是多少？
- RQ2如何系统性地结合计算技术，以改进稀疏图与稠密图的最小秩界值？
- RQ3哪些图结构（如树、平面图、外平面图、非平面图）能导致更紧或更松的最小秩界值？
- RQ4能否系统性地构造最优对称矩阵，以验证计算所得最小秩的正确性？
- RQ5结构性不变量（如零 forcing 集、直径、诱导子图）在缩小下界与上界差距方面起到何种作用？
主要发现
- 精确计算了所有1052个非同构的阶数不超过7的图的最小秩。
- 对于程序无法计算最小秩的图，通过构造最优对称矩阵，验证了手工计算结果的正确性。
- 该程序成功计算了99%的图的最小秩，仅有少量图（如图558、669、678、679、791、1086、1135）需通过[2, 定理4.1]进行外部理论验证。
- 零 forcing 集大小（ZFS LB）与直径（Diam LB）提供了强有力的下界，而团覆盖数（CC UB）与非平面性（NP UB）则贡献了有用的上界。
- 7阶完全图（K₇）的最小秩为1，与其实现矩阵的秩为1一致。
- 程序输出包含界值与结构标志（如Tree、CV、IS），可高效按结构属性对图进行筛选与分析。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。