中文

$\overline{P_{2}\cup P_{3}}$-无共可比较图的 LexCycle

组合数学 2023-06-22 v5

摘要

GG 是共可比较图,当且仅当其补图 G\overline{G} 的边存在一个无环传递定向。LBFS+^{+} 是通用字典广度优先搜索(LBFS)的一种变体,它使用特定的平局决胜机制。从 GG 的某个排序 σ0\sigma_{0} 开始,设 {σi}i1\{\sigma_{i}\}_{i\geq 1} 为满足 σi=\sigma_{i}=LBFS+(G,σi1)^{+}(G, \sigma_{i-1}) 的排序序列。LexCycle(GG) 定义为通过此类 LBFS+^{+} 扫描序列得到的 GG 的顶点排序循环的最大长度。Dusart 和 Habib 在 2017 年猜想如果 GG 是共可比较图,则 LexCycle(GG)=2,并证明了该猜想对区间图成立。在本文中,我们证明了如果 GGP2P3\overline{P_{2}\cup P_{3}}-无共可比较图,则 LexCycle(GG)=2,其中 P2P3\overline{P_{2}\cup P_{3}} 是补图为 P2P_{2}P3P_{3} 不相交并集的图。作为推论,该结论适用于无菱形共可比较图、围长至少为 4 的共可比较图以及区间图。

关键词

引用

@article{arxiv.1904.08076,
  title  = {The LexCycle on $\overline{P_{2}\cup P_{3}}$-free Cocomparability Graphs},
  author = {Xiao-Lu Gao and Shou-Jun Xu},
  journal= {arXiv preprint arXiv:1904.08076},
  year   = {2023}
}

备注

11 pages, 9 figures