无长奇环图的着色问题
系统与控制
2026-01-16 v3 机器学习
系统与控制
机器学习
摘要
一个「孔」是长度至少为 4 的诱导环,长度为 k 的「k-孔」是长度为 k 的孔,「奇孔」是长度为奇数的孔。设 为整数。设 为 girth 至少为 且不存在长度为至少 的奇孔的图族,设 为无三角形且不存在 5-孔且不存在长度为至少 的奇孔的图族,设 为 girth 为 且不存在长度为至少 的奇孔的图族。Chudnovsky 等人 \cite{CSS2016} 证明了每个属于 的图是 58000 可着色的,每个属于 的图是 可着色的,Lan 和 liu \cite{LL2023} 证明了对于 ,每个属于 的图是 4 可着色的。尚不知道是否存在常数 使得 的图是 可着色的。本文证明了每个属于 的图是 1456 可着色的,每个属于 的图是 4 可着色的。我们还证明了每个属于 且无 7-孔的图是 可着色的。
引用
@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