A geometric intersection graph is constructed over a set of geometric objects, where each vertex represents a distinct object and an edge connects two vertices if and only if the corresponding objects intersect. We examine the problem of finding a maximum clique in the intersection graphs of segments and disks under grounded and stabbed constraints. In the grounded setting, all objects lie above a common horizontal line and touch that line. In the stabbed setting, all objects can be stabbed with a common line. - We prove that finding a maximum clique is NP-hard for the intersection graphs of upward rays. This strengthens the previously known NP-hardness for ray graphs and settles the open question for the grounded segment graphs. The hardness result holds in the stabbed setting. - We show that the problem is polynomial-time solvable for intersection graphs of grounded unit-length segments, but NP-hard for stabbed unit-length segments. - We give a polynomial-time algorithm for the case of grounded disks. If the grounded constraint is relaxed, then we give an $O(n^3 f(n))$-time $3/2$-approximation for disk intersection graphs with radii in the interval $[1,3]$, where $n$ is the number of disks and $f(n)$ is the time to compute a maximum clique in an $n$-vertex cobipartite graph. This is faster than previously known randomized EPTAS, QPTAS, or 2-approximation algorithms for arbitrary disks. We obtain our result by proving that pairwise intersecting disks with radii in $[1,3]$ are 3-pierceable, which extends the 3-pierceable property from the long known unit disk case to a broader class.
翻译:几何交图构建于一组几何对象之上,其中每个顶点代表一个独立对象,当且仅当对应对象相交时,两个顶点之间通过边连接。本文研究在接地约束与穿刺约束下,线段与圆盘交图中寻找最大团的问题。在接地设定中,所有对象位于一条公共水平线上方且与该线相切;在穿刺设定中,所有对象可被一条公共直线贯穿。 - 我们证明了在向上射线交图中寻找最大团是NP难的。该结论强化了先前射线图NP难性的已知结果,并解决了接地线段图领域的开放性问题。此难度结论在穿刺设定中同样成立。 - 我们证明该问题在接地单位长度线段交图中存在多项式时间解法,但在穿刺单位长度线段交图中为NP难。 - 针对接地圆盘情形,我们提出多项式时间算法。若放宽接地约束,对于半径在区间$[1,3]$内的圆盘交图,我们给出$O(n^3 f(n))$时间的$3/2$近似算法,其中$n$为圆盘数量,$f(n)$为计算$n$顶点共二分图最大团的时间。该算法较现有针对任意圆盘的随机EPTAS、QPTAS或2近似算法更为高效。我们通过证明半径在$[1,3]$区间内两两相交的圆盘具有3可穿刺性获得此结果,这将长期已知的单位圆盘3可穿刺性质扩展至更广的对象类别。