arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2402.12014math.CO
收藏

3-双临界半完全有向图

The 3-dicritical semi-complete digraphs

Frédéric Havet, Florian Hörsch, Lucas Picasarri-Arrieta

AI总结:

本文证明了3-双临界半完全有向图仅有有限个,并通过计算机辅助完整刻画得到全部八个此类图,其中两个为竞赛图,同时给出了3-双临界有向图最大弧数的一般上界。

摘要:

如果一个有向图不能被顶点划分为两个诱导无环有向图的集合,但它的每个真子有向图都可以,则称其为$3$-双临界的。我们给出了一个人类可读的证明,证明3-双临界半完全有向图的数量是有限的。此外,我们给出了一个计算机辅助证明,完整刻画了3-双临界半完全有向图。这样的有向图共有八个,其中两个是竞赛图。最后,我们给出了$3$-双临界有向图中最大弧数的一个一般上界。

英文摘要:

A digraph is $3$-dicritical if it cannot be vertex-partitioned into two sets inducing acyclic digraphs, but each of its proper subdigraphs can. We give a human-readable proof that the number of 3-dicritical semi-complete digraphs is finite. Further, we give a computer-assisted proof of a full characterization of 3-dicritical semi-complete digraphs. There are eight such digraphs, two of which are tournaments. We finally give a general upper bound on the maximum number of arcs in a $3$-dicritical digraph.

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

↑