The exact chromatic number of the convex segment disjointness graph
设$P$是平面中处于严格凸位置的一组$n$点。设$D_n$是图,其顶点集是$P$中所有端点为线段的集合,其中不相交的线段是相邻的。这个图的色数首先由Araujo,Dumitrescu,Hurtado,Noy和Urrutia [2005]研究,然后由Dujmović和Wood [2007]研究。改进他们的估计,我们证明了以下精确公式:$$χ(D_n) = n - \left\lfloor \sqrt{2n + \tfrac{1}{4}} - \tfrac{1}{2}\right\rfloor.$$
2018-04-03 cs.CG math.CO
The chromatic number of the convex segment disjointness graph
设$P$是平面上一般凸位置的$n$点的集合。设$D_n$是图,其顶点集是$P$中所有端点为线段的集合,其中不相交的线段是相邻的。这个图的色数首先由Araujo等人[ \emph{CGTA},2005]研究。先前的最佳界限是$\frac{3n}{4}\leqχ(D_n) <n-\sqrt{\frac{n}{2}}$(忽略低阶项)。本文改进了$χ(D_n)\geq n-\sqrt{2n}$的下界,得到了$χ(D_n)$的近紧界.
2011-05-26 cs.CG math.CO
Realization of shift graphs as disjointness graphs of 1-intersecting curves in the plane
证明了移位图可以实现为平面上1-相交曲线的不交图。这意味着后一类图不是$χ$ -有界的。
2018-02-27 cs.DM math.CO
On the chromatic number of disjointness graphs of curves
用$ω(G)$和$χ(G)$分别表示图$G$的团数和色数.曲线族(平面中的连续弧)的{ \em不相交图}是其顶点对应于曲线的图,并且其中两个顶点由边连接当且仅当对应的曲线不相交。一条曲线称为{ \em $x$ -monotone},如果每条垂直线与它相交至多一点。如果$x$ -单调曲线的左端点位于$y$ -轴上,则该曲线{ \em接地}。我们证明了如果$G$是一族接地$x$ -单调曲线的不交图,使得$ω(G)=k$,则$χ(G)\leq \binom{k+1}{2}$ .如果我们只要求每一条曲线都是$x$ -单调的并且与$y$ -轴相交,那么我们有$χ(G)\leq \frac{k+1}{2}\binom{k+2}{3}$。这两个边界都是最佳可能的。证明了最后一个结果的紧密性的构造解决了一个25年前的问题:它给出了存在$x$ -单调曲线的$K_k$ -free不相交图,使得它们的任何适当着色至少使用$Ω(k^{4})$颜色.这将上限匹配到常数因子。
2018-11-22 math.CO
The Chromatic Number of the Disjointness Graph of the Double Chain
研究双链点配置中不相交线段着色的最小颜色数,证明所需颜色数为上下链点数之和减去一个基于下链点数的下取整表达式,且该数充分。
2020-03-18 math.CO
Hypergraphs of bounded disjointness
一个$k$ -一致超图是$s$ -几乎相交的,如果它的每一条边与其它$s$边恰好不相交. Gerbner,Lemons,Palmer,Patkós和Szécsi证明了对每个$k$和$s>s_0(k)$,每个$k$ -一致$s$ -几乎相交超图至多有$(s+1)\binom{2k-2}{k-1}$边.我们证明了这个猜想的一个加强版本,并确定了极值图。我们也给出了一些相关的结果和图形。
2013-09-19 math.CO
Segment representation of a subclass of co-planar graphs
一个图被称为线段图,如果它的顶点可以映射到平面中的线段,使得两个顶点之间有一条边当且仅当它们对应的线段相交。Kratochvíl和Kubarna [``On intersection representations of co-可平面图'',离散数学,178(1-3):251-255,1998]提出了可平面图的补图是否是段图的问题。我们证明了所有部分2-树的补图都是段图。
2010-11-05 math.CO
Box and segment intersection graphs with large girth and chromatic number
证明了$\mathbb{R}^3$中存在轴对齐盒的交图和$\mathbb{R}^3$中直线的交图,它们具有任意大的围长和色数.
2021-07-07 math.CO
Intersections, circuits, and colorability of line segments
我们推导出尖锐的上限和下界的交叉点和封闭的区域,可以发生在具有一定结构的线段的集合中的数量的部分。我们考虑的片段,其基础可平面图是Halin图,仙人掌图,极大可平面图,和三角形自由可平面图,以及随机产生的片段集。我们还将这些结果应用到Erdens-Faber-Lovász(EFL)猜想的一个变体中,该猜想指出$m$线段的交点可以用$m$颜色着色,因此没有线段包含具有相同颜色的点。我们研究了一个与线段的EFL猜想相关的最优化问题,确定了它的复杂性,并给出了一些计算方法。
2018-08-22 math.CO
Symmetric contact systems of segments, pseudotriangulations and inductive constructions for corresponding surface graphs
本文研究了平面上线段的对称接触系所产生的商曲面图,以及对称点伪三角剖分所产生的商曲面图,其中对称点伪三角剖分是由有穷级的平移或旋转所产生的。这些结果推广了著名的Schlassen的结果,在线段的情况下,以及Streinu和Haas等人的结果,在伪三角剖分的情况下。我们的主要工具是一个新的归纳特征的适当类别的表面图。我们还讨论了我们的结果在几何刚性理论领域的一些后果。
2022-03-21 math.CO
Drawings of Planar Graphs with Few Slopes and Segments
研究了具有较少线段和斜率的可平面图的直线图。所有的树都得到了最优结果。得到了外平面图、2-树和平面3-树的紧界。证明了$n$顶点上的3连通平面图有一个至多有${5/2}n$段和至多有$2n$斜率的平面图.本文证明了每一个三次3连通平面图都有一个平面图,它有三个斜率(和三个外表面的弯曲)。在一个配套文件中,也考虑了非可平面图的几个斜率的绘图。
2006-06-19 math.CO
Intersection Graphs of L-Shapes and Segments in the Plane
L形是具有公共端点的水平段和垂直段的结合。它们有四个旋转:L、Γ、LE{}和\eeG。$k$ -弯曲路径是平面中的简单路径,其方向从水平到垂直改变$k$次。如果一个图允许一个交表示,其中每个顶点都用L、L{}或Γ、$k$ -弯曲路径或线段表示,则这个图分别称为$\{L\}$ -图、$\{L,Γ\}$ -图、$B_k$ -VPG-图或SEG-图.受Middendorf和Pfeiffer [Discrete Mathematics,108(1):365- 372,1992]中关于每个$\{L,Γ\}$ -图都是SEG-图的一个定理的启发,我们研究了SEG-图的几个已知子类,并证明了它们是$\{L\}$ -图,或对某些小常数$k$是$B_k$ -VPG-图.我们证明了所有的平面$3$ -树、可平面图的线图和可平面图的全剖分都是$\{L\}$ -图。进一步证明了可平面图的所有补图都是$B_{17}$ -VPG-图,全剖分图的所有补图都是$B_2$ -VPG-图.在这里,完全细分是每个边至少被细分一次的图。
2016-01-07 math.CO
Menger's Theorem for Temporal Paths (Not Walks)
本文研究了时序图中基于时序路径(而非游走)的连通性与鲁棒性问题,探讨了顶点不相交、严格与非严格等不同设定,证明了当时序顶点不相交时序路径最大数量为1时Menger定理成立。
2025-10-14 cs.DM math.CO
Subtrees and independent subsets in unicyclic graphs and unicyclic graphs with fixed segment sequence
在拓扑指数的研究中,有两个负相关是众所周知的:子树数与Wiener指数(距离和)之间的相关,以及Merrifield-Simmons指数(独立顶点子集数)与Hosoya指数(独立边子集数)之间的相关。也就是说,在某一类图中,最大化一个指标的极值图通常最小化另一个指标,反之亦然。本文首先研究了单圈图和具有给定围长的单圈图的子树个数,通过与已知结果的比较,进一步证实了它与Wiener指标的相反性质。然后,我们考虑具有给定段序列的单圈图,并刻画了具有最大子树数的极值结构。此外,我们证明了这些图是不是极值的维纳指数。我们还确定了极值结构,最大限度地提高了一个给定的段序列的单圈图之间的独立顶点子集的数量,并表明,他们不是极值的独立边子集的数量。这些结果可能是上述负相关在这两对指数之间的极值结构中失败的第一个例子。
2020-01-22 math.CO
Refining the Hierarchies of Classes of Geometric Intersection Graphs
分析了几何交图的性质,证明了几何交图的某些自然类之间的严格包含性。特别地,我们证明了以下性质:-图$G$是外平面的当且仅当$G$的1-细分是外段。- 对于每个整数$k\ge 1$,$k$不同长度段的交图类是$k+1$不同长度段的交图类的严格子类. - 对于每个整数$k\ge 1$,$k$不同大小的圆的交图类是$k+1$不同大小的圆的交图类的严格子类. - 外段图类是外弦图类的严格子类。
2017-02-01 math.CO
A Random-Line-Graph Approach to Overlapping Line Segments
我们研究由独立定位的针形成的图(即,单位正方形中的线段)。为了从数学上描述图形结构,我们推导出两条线段相交的概率,并确定相关的量,例如给定一定数量的线段$N$,相交点的分布。我们将线段之间的交点解释为节点,将线段之间的连接解释为空间网络中的边,我们称之为随机线图(RLG)。使用随机几何图的研究方法,我们表明,要连接的RLG的概率经历了急剧的转变,如果线的数量超过阈值$N^*$。
2020-07-30 cond-mat.soft math.CO
Interval-Permutation Segment Graphs
在这项工作中,我们介绍了\emph{interval permutation segment (IP-SEG)}模型,自然推广的几何求交模型的间隔和置换图。我们研究了IP-SEG模型中的两个图类的性质,并给出了这些图类的禁止子图族。此外,我们提出了多项式算法的集团和独立集问题,这些类,当模型作为输入的一部分。
2019-08-27 cs.DM math.CO
3-colorable planar graphs have an intersection segment representation using 3 slopes
LIRMM, Université de Montpellier, CNRS(蒙彼利埃大学,法国国家科学研究中心)
本文证明了3色可图的平面图可以使用3种斜率的线段表示,解决了Scheinerman关于平面图交集图的猜想。
2025-11-25 cs.DM math.CO
Intersection graphs of segments and $\exists\mathbb{R}$
一个顶点集为$\{v_1,v_2,\ldots,v_n\}$的图$G$是一个线段交图,如果在平面中存在线段$s_1,\ldots,s_n$使得$s_i$和$s_j$有公共点当且仅当$\{v_i,v_j\}$是$G$的一条边.在这篇文章中,我们考虑的算法问题,测试是否一个给定的抽象图是一个相交图的部分。事实证明,这个问题是完整的一个有趣的最近推出的一类计算问题,表示为$\exists\mathbb{R}$。这类问题可以在多项式时间内归结为实数上多个变量的多项式不等式系统的可解性。我们讨论了$\exists\mathbb{R}$的定义中的一些微妙之处,我们提供了一个完整的和流线型的帐户证明的$\exists\mathbb{R}$ -完整的识别问题段相交图。在此过程中,我们建立了$\exists\mathbb{R}$ -其他几个问题的完备性。我们还提出了一个决策算法,由于Muchnik,一阶理论的实数。
2014-06-10 cs.CG math.CO
Integer realizations of disk and segment graphs
圆盘图是平面中圆盘的交图,单位圆盘图是平面中相同半径圆盘的交图,线段图是平面中线段的交图。可以看出,每个圆盘图都可以由中心在整数网格上且半径为整数的圆盘来实现;类似地,每个单位圆盘图都可以由中心在整数网格上且半径相等的圆盘来实现;每个线段图都可以由端点位于整数网格上的线段来实现。在这里,我们表明,存在盘图$n$顶点,使在每一个实现整数磁盘至少有一个坐标或半径是$2^{2^{Ω(n)}}$,另一方面,每个磁盘图可以实现磁盘的整数坐标和半径,最多$2^{2^{O(n)}}$ ;我们显示了类似的结果,为单位盘图和段图。对于(单位)盘图,这回答了一个问题的Spinrad,和段图,这改善了以前的结果Kratochv\'ıl和Matou{\displaystyle\matou}ek。
2011-11-28 cs.CG math.CO math.MG
Unsolved Problems in Visibility Graphs of Points, Segments and Polygons
在这篇综述论文中,我们提出了开放的问题和插图的点,段和多边形的可见性图,以及必要的背景,以了解他们。
2012-02-11 cs.CG cs.DM math.CO
Intersection Graphs of Rays and Grounded Segments
我们考虑了几类平面中线段的交图,并证明了这几类交图之间的新的等价性和分离性结果。特别地,我们证明了:(1)接地段的交图和向下射线的交图形成同一个图类,(2)不是每个射线的交图都是向下射线的交图,(3)不是每个射线的交图都是外段图。第一个结果回答了Cabello和Jejči提出的一个开放问题。第三个结果证实了Cabello的猜想。因此,我们完全阐明了这些类的段图之间的包容关系的剩余的开放性问题。我们进一步描述了识别问题的复杂性的类外段,接地段,射线相交图。我们证明了这些识别问题对于实数的存在论是完备的。即使将1字符串实现作为附加输入也是如此。
2016-12-12 cs.CC cs.CG cs.DM
Independence number of intersection graphs of axis-parallel segments
证明了平面上$n$轴平行段的任意无三角形交图的独立数$α$至少为$α\ge n/4 + Ω(\sqrt{n})$。我们补充说,在这个类满足$α\le n/4 + c \sqrt{n}$的绝对常数$c$,这表明我们的结果的最优性的图的建设。
2022-05-30 cs.CG cs.DM math.CO
A structure theorem for pseudo-segments and its applications
本文证明了伪线段交图的一个强化版Szemerédi正则引理,并据此改进简单拓扑图中不相交边的上界,得到n顶点且无k条两两不相交边的简单拓扑图至多有n(log n)^{O(log k)}条边。
2023-12-02 cs.CG math.CO
Triangle-free intersection graphs of line segments with large chromatic number
在20世纪70年代,Erdos提出了平面上线段的交图的色数是否受其团数的函数限制的问题。我们的答案是否定的。具体来说,对于每个正整数$k$,我们构建了一个三角形的免费家庭的线段在平面上的色数大于$k$。我们的结构反驳了Scott的一个猜想,即不包括任何固定图的诱导剖分的图的色数由它们的团数的函数有界。
2014-12-26 cs.CG cs.DM math.CO
Bar 1-Visibility Drawings of 1-Planar Graphs
图$G$的条1可见性绘图是$G$的绘图,其中每个顶点被绘制为称为条的水平线段,每个边缘被绘制为垂直线段,其中表示边缘的垂直线段必须连接表示端顶点的水平线段,并且对应于边缘的垂直线段与最多一个不是边缘的端点的条相交。如果$G$具有条形图1可见性图形,则图形$G$为条形图1可见。一个图$G$是1-平面的,如果$G$在一个二维平面中有一个绘图,使得一条边至多与另一条边相交。本文给出了求对角网格图和极大外1-平面图的条1-可见图的线性时间算法。我们还证明了递归四边形1-平面图和伪双轮1-平面图是棒1-可见图。
2013-02-20 cs.DM cs.DS math.CO
Twin-width VIII: delineation and win-wins
我们引入了划界的概念。如果对于$\mathcal C$的子类的每个遗传闭包$\mathcal D$,它认为$\mathcal D$具有有界孪生宽度当且仅当$\mathcal D$是单子依赖的,则称为描绘了图类$\mathcal C$。一个类$\mathcal C$的描述的有效加强意味着对$\mathcal C$的易处理的FO模型检查是完全理解的:在$\mathcal C$的子类的遗传闭包$\mathcal D$上,当$\mathcal D$具有有界孪生宽度时,FO模型检查是固定参数易处理的(FPT)。有序图[BGOdMSTT,STOC '22]和置换图[BKTW,JACM '22]被有效地描述,而次立方图则不是。一方面,我们证明了区间图,甚至,有根有向路图划定。另一方面,我们表明,段图,有向路径图,和可见性图的简单多边形不划定。为了在区间图(划定)和轴平行的两条线段图(不)之间绘制划定边界,我们研究了限制线段相交类的孪生宽度。已知(无三角形)纯平行轴单位段图具有无界的孪晶宽度[BGKTW,SODA '21]。我们证明了无$K_{t,t}$段图和无轴$H_t$段图具有有界的孪生宽度,其中$H_t$是高度为$t$的半图或梯子.相反,轴平行的$H_4$ -自由的两段图具有无限的孪生宽度。我们的新结果,结合已知的FPT算法FO模型检测的图与$O(1)$ -序列,导致双赢的论点。例如,我们推…
2022-04-01 cs.DM cs.DS cs.LO