数学>组合数学
职务: 使用Sage计算图的最小秩的边界的程序
摘要: 简单图$G$的最小秩定义为当$\{i,j\}$是$G$中的边时,其$ij$th项(对于$i\neqj$)非零的所有对称实矩阵上的最小可能秩,否则为零。 最小秩是一个很难计算的参数。 然而,现在有许多已知的约简技术和边界可以在计算机上编程; 我们已经使用开源数学软件Sage开发了一个程序来实现几种技术。 在本说明中,我们提供了此程序的源代码。