数学 > 组合数学
[提交于 2025年6月30日
]
标题: 半线性和地形类图的紧凑表示
标题: Compact Representation of Semilinear and Terrain-like Graphs
摘要: 我们考虑图的\textit{双团覆盖}的存在性和构造,这些图由其边集被完全二部图覆盖组成。这种覆盖的\textit{大小}是各个二部图大小的总和。小规模的二部图覆盖在计算几何中很常见,并已被证明是图的有用紧凑表示。我们简要回顾了关于二部图覆盖及其应用的经典和最新结果,并给出了具有近线性大小二部图覆盖的新图类。特别是,我们证明了半线性图,其边由有界维空间中的线性关系定义,总是具有大小为$O(n\polylog n)$的二部图覆盖。这推广了许多之前已知的特殊图类的结果,包括区间图、排列图和有界箱维度的图,但也包括新的类,如平面中 L 形状的交图。它还直接推导出 Basit、Chernikov、Starchenko、Tao 和 Tran(\textit{论坛 数学。 西格玛},2021)得出的 Zarankiewicz 问题的界限。我们还考虑了截断图,也称为地形类似图,定义为禁止在四个顶点上具有某种有序模式的有序图。地形类似图包含地形可见图的诱导子图。我们给出了一个简单的证明,这些图具有大小为$O(n\log^3 n)$的二部图划分。这提供了一个经典的 Agarwal、Alon、Aronov 和 Suri 关于多边形可见图的结果(\textit{离散计算几何} 1994)的简单组合类比。 最后,我们证明了存在一些单位圆图族,它们在$n$个顶点上不具有大小为$o(n^{4/3})$的双 clique 覆盖,这表明我们不太可能改进针对高次代数图的 Szemerédi-Trotter 类型的交点界限。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.