通过 Zigzag 图搜索识别(单位)区间图
数据结构与算法
2020-10-08 v1
摘要
Corneil、Olariu 和 Stewart [SODA 1998; SIAM Journal on Discrete Mathematics 2009] 提出了一种通过六次图搜索识别区间图的算法。Li 和 Wu [Discrete Mathematics & Theoretical Computer Science 2014] 将其简化为仅四次。然而,后一算法的极大简洁性被复杂且冗长的证明所掩盖。本文的主要目的在于为 Li 和 Wu 的算法给出一个全新的且显著简短的证明,以及一种更简单的实现。我们也给出了 Corneil [Discrete Applied Mathematics 2004] 的单位区间图识别算法的一种自包含且更简单的解释,该解释基于三次图搜索扫描。此外,我们表明两次扫描已足够。在通向主要结果的证明过程中,我们作出了若干可能具有独立意义的新结构观察。
引用
@article{arxiv.2010.03354,
title = {Recognizing (Unit) Interval Graphs by Zigzag Graph Searches},
author = {Yixin Cao},
journal= {arXiv preprint arXiv:2010.03354},
year = {2020}
}
备注
To appear in SOSA 2021