10:13
官方一手arXiv: OpenAI@Radek Hušek, Robert Šámal
推荐理由：这篇论文给出了一个漂亮的下界：符合条件的立方图至少有2^(n/2-1)个电路双覆盖，和图论猜想完美匹配，图论爱好者可以看看。
圈双覆盖猜想
共 1 条相关 AI 资讯
7月28日
10:13
Szekeres-Seymour的圈双覆盖猜想近期被OpenAI宣布证明。本文研究立方图的计数版本，证明每个2-边连通3-边可着色的n顶点立方图至少有2^(n/2-1)个电路双覆盖，与猜想的下界一致。对于围长至少16的3-边连通立方图，本文给出一个更弱的指数下界。此外，该研究通过OpenAI使用的线性方程组提供了新的组合解释，并刻画了平面性。