中文

平面Braces中三角形顶点的紧下界与薄边及非薄边的上界

组合数学 2025-10-30 v1 离散数学

摘要

对于图 \GG\GG 的顶点集合 X\VV(\GG)X \subseteq \VV(\GG),我们记由 \GG\GG 的边中恰好有一个端点在 XX 上的边集为 (X)\partial(X),并称其为 XX 的割或边割 (X)\partial(X)。若图 \GG=(\VV,\EE)\GG=(\VV,\EE) 满足:对所有 e\EE(\GG)e \in \EE(\GG),存在一个完美匹配 MM 使得 eMe \in M,则称 \GG\GG 为匹配覆盖图。若匹配覆盖图 \GG\GG 的割 CC 满足:对任意边 ee,存在一个完美匹配 MeM_{e} 使得 eMee \in M_{e}CMe=1|C \cap M_{e}| = 1,则称 CC 为分离割。若匹配覆盖图 \GG\GG 的割 CC 满足对其每个完美匹配 MM 都有 CM=1|C \cap M| = 1,则称 CC\GG\GG 的紧割。对于 X,Y\VV(\GG)X, Y \subseteq \VV(\GG),记由 \EE(\GG)\EE(\GG) 中一个端点在 XX 而另一个端点在 YY 上的边集为 E[X,Y]E[X,Y]。若 (X)=E[X,X]\partial(X)=E[X,\overline{X}] 为边割,其中 X=\VV(\GG)X\overline{X}=\VV(\GG) \setminus X,且 X=1|X|=1X=1|\overline{X}|=1,则称该割为平凡割。若匹配覆盖图中不存在非平凡紧割,则若其为二分图则称为brace,若为非二分图则称为brick。若在brace \GG\GG 中的边 ee 满足:对于 \GGe\GG - e 的每个紧割 (X)\partial(X),都有 X3|X| \le 3X3|\overline{X}| \le 3,则称 ee 为薄边。Carvalho、Lucchesi和Murty猜想存在正常数 cc,使得每个brace \GG\GG 至少有 c\VV(\GG)c|\VV(\GG)| 条薄边。He和Lu 证明了brace中薄边数的下界以三角形顶点数为度量。我们询问是否存在不含三角形顶点的平面brace。我们以否定方式作答,说明此类平面brace集合为空。我们能够给出三角形顶点数在平面brace中的数量上紧的下界。我们证明了平面brace中非薄边和薄边的紧上界。

引用

@article{arxiv.2510.25188,
  title  = {A Tight Lower Bound on Cubic Vertices and Upper Bounds on Thin and Non-thin edges in Planar Braces},
  author = {Koustav De},
  journal= {arXiv preprint arXiv:2510.25188},
  year   = {2025}
}