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

分裂图中的准核

Quasi-kernels in split graphs

Hélène Langlois, Frédéric Meunier, Romeo Rizzi, Stéphane Vialette, Yacong Zhou

AI总结:

本文研究分裂图中的小准核问题,证明了每个无汇分裂有向图存在大小至多2/3|V(D)|的准核,并证明计算最小准核是W[2]-难的。

摘要:

在有向图中,准核是一个独立顶点子集,且从每个顶点到该子集的最短路径长度至多为二。由Erdős和Székely于1976年提出的“小准核猜想”假设:每个无汇有向图都有一个准核,其大小在顶点总数的一个比例之内。该猜想甚至更精确地给出了1/2的比例,但即使采用更大的比例,这一性质也仅在少数图类上成立。本文关注分裂图中的小准核。这类图在猜想的研究中扮演了特殊角色,因为它曾被用来反驳一个加强版本——该加强版本假设存在两个不相交的准核。本文证明了每个无汇分裂有向图D都有一个大小至多为2/3|V(D)|的准核,并且当该图是完全分裂图的一个定向时,准核大小甚至至多为二。本文还证明了在分裂有向图中计算最小尺寸的准核是W[2]-难的。

英文摘要:

In a digraph, a quasi-kernel is a subset of vertices that is independent and such that the shortest path from every vertex to this subset is of length at most two. The ``small quasi-kernel conjecture,'' proposed by Erdős and Székely in 1976, postulates that every sink-free digraph has a quasi-kernel whose size is within a fraction of the total number of vertices. The conjecture is even more precise with a $1/2$ ratio, but even with larger ratio, this property is known to hold only for few classes of graphs. The focus here is on small quasi-kernels in split graphs. This family of graphs has played a special role in the study of the conjecture since it was used to disprove a strengthening that postulated the existence of two disjoint quasi-kernels. The paper proves that every sink-free split digraph $D$ has a quasi-kernel of size at most $\frac{2}{3}|V(D)|$, and even of size at most two when the graph is an orientation of a complete split graph. It is also shown that computing a quasi-kernel of minimal size in a split digraph is W[2]-hard.

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

↑