中文

无长奇环图的着色问题

系统与控制 2026-01-16 v3 机器学习 系统与控制 机器学习

摘要

一个「孔」是长度至少为 4 的诱导环,长度为 k 的「k-孔」是长度为 k 的孔,「奇孔」是长度为奇数的孔。设 2\ell \ge 2 为整数。设 A{\cal A}_{\ell} 为 girth 至少为 22\ell 且不存在长度为至少 2+32\ell+3 的奇孔的图族,设 B{\cal B}_{\ell} 为无三角形且不存在 5-孔且不存在长度为至少 2+32\ell+3 的奇孔的图族,设 G{\cal G}_{\ell} 为 girth 为 2+12\ell+1 且不存在长度为至少 2+52\ell+5 的奇孔的图族。Chudnovsky 等人 \cite{CSS2016} 证明了每个属于 A2{\cal A}_{2} 的图是 58000 可着色的,每个属于 B{\cal B}_{\ell} 的图是 (+1)41(\ell+1)4^{\ell-1} 可着色的,Lan 和 liu \cite{LL2023} 证明了对于 3\ell \geq 3,每个属于 G{\cal G}_{\ell} 的图是 4 可着色的。尚不知道是否存在常数 cc 使得 G2{\cal G}_2 的图是 cc 可着色的。本文证明了每个属于 G2{\cal G}_2 的图是 1456 可着色的,每个属于 A3{\cal A}_{3} 的图是 4 可着色的。我们还证明了每个属于 B{\cal B}_{\ell} 且无 7-孔的图是 (12+8)(12\ell+8) 可着色的。

关键词

引用

@article{arxiv.2504.01807,
  title  = {Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference},
  author = {Robert Lefringhausen and Sami Leon Noel Aziz Hanna and Elias August and Sandra Hirche},
  journal= {arXiv preprint arXiv:2504.01807},
  year   = {2026}
}

备注

Accepted for publication in the Proceedings of the 64th IEEE Conference on Decision and Control