arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2605.00524math.CO
收藏

图幂的独立数和色数的惯性型界限的优化与复杂性

Optimization and complexity of inertia-type bounds on the independence and chromatic numbers of graph powers

Eindhoven University of Technology(埃因霍温理工大学);Vrije Universiteit Brussel(布鲁塞尔自由大学);Maastricht University(马斯特里赫特大学)

Aida Abiad, Stan van Hoesel, Valentin Michaux

AI总结:

本文研究了图幂的独立数和色数的惯性型界限的优化与复杂性,改进了MILP方法并证明了固定k时问题可在多项式时间内解决。

摘要:

惯性界自1971年由Cvetković提出,是谱图理论中的基本结果,为图的独立数提供了一个上界,基于图的加权邻接矩阵的谱信息。最近,这一界被扩展为所谓的惯性型界,用于估计图幂($k$-独立数和距离-$k$着色数)的独立数和色数。这些界最近在编码理论和量子信息理论中找到了应用。惯性型界依赖于一个次数为$k$的多项式以及图的特征值。目前,优化这些界需要解决多个MILP问题,随着图的规模或$k$的增长,计算负担迅速增加。这一计算障碍是这些界实际应用的主要障碍。此外,我们对这些界的表现的理解也有限,即使对于小的$k$也是如此。本文研究了它们的优化与复杂性。特别是,我们改进了MILP公式,减少了计算负担并显著降低了运行时间。此外,我们证明了与这些界相关的优化问题在固定$k$和小$k$时可在多项式时间内解决。

英文摘要:

The inertia bound, introduced by Cvetković in 1971, is a fundamental result in spectral graph theory that provides an upper bound for the independence number of a graph in terms of spectral information about a weighted adjacency matrix of the graph. Recently, this bound has been extended to the so-called inertia-type bounds for estimating the independence and chromatic numbers of graph powers ($k$-independence number and distance-$k$ chromatic number of a graph). These bounds have recently found applications in coding theory and quantum information theory. The inertia-type bounds depend on the choice of a polynomial of degree $k$ and on the eigenvalues of the graph. Currently, optimizing these bounds requires solving several MILPs, which quickly becomes computationally demanding as the graph size or $k$ grows. This computational barrier is a major obstacle to the practical use of these bounds. Moreover, we have a limited theoretical understanding of their performance, even for small $k$. In this paper, we investigate their optimization and complexity. In particular, we improve the MILP formulations, reducing their computational burden and significantly decreasing the running time. Furthermore, we show that the optimization problems associated with the bounds are solvable in polynomial arithmetic time for every fixed $k$, given exact spectral input.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑