arXiv 1706.059062017-06cs.CGcs.CC

单位平方可见图的组合性质与识别

Combinatorial Properties and Recognition of Unit Square Visibility Graphs

Katrin Casel, Henning Fernau, Alexander Grigoriev, Markus L. Schmid, Sue Whitesides

摘要：

单位正方形（网格）可见性图形（分别为USV和USGV）通过放置在平面中的单位正方形（在整数网格坐标上）之间的轴平行可见性来描述。我们调查这些图类的组合性质和识别问题的变体的硬度，即，在小区域内用固定的视标数表示USGV的问题，以及USV的一般识别问题。

英文摘要：

Unit square (grid) visibility graphs (USV and USGV, resp.) are described by axis-parallel visibility between unit squares placed (on integer grid coordinates) in the plane. We investigate combinatorial properties of these graph classes and the hardness of variants of the recognition problem, i.e., the problem of representing USGV with fixed visibilities within small area and, for USV, the general recognition problem.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

点可见性图识别是NP难的

Point visibility graph recognition is NP-hard

给定一个3-SAT公式，可以在多项式时间内构造一个图，使得该图是点可见图当且仅当3-SAT公式是可满足的。这一减少建立了点可见性图的识别问题是NP难的。

2016-05-04cs.CCcs.CGcs.DM

点可见图的识别与复杂性

Recognition and Complexity of Point Visibility Graphs

点可见性图是由平面上的一组点导出的图，其中每个顶点对应于一个点，并且只要两个对应的点彼此可见，两个顶点就相邻，即它们之间的开段不包含集合中的任何其他点。研究了点可见图的识别问题：给定一个简单的无向图，判断它是否是平面上某个点集的可见图。我们表明，这个问题是完整的实的存在理论。因此，这个问题就像判定一个多项式不等式系统的实数解的存在性一样困难。证明涉及简单的子结构，迫使在所有实现的一些可见性图，这是适用于Mnëv和Richter-Gebert的代数普遍性建设共线性。这解决了一个长期悬而未决的问题，并为其他类别的可见性图的分析铺平了道路。此外，作为我们的建设之一的推论，我们表明，存在点的可见性图，不承认任何几何实现与点具有整数坐标。

2019-02-04cs.CGmath.CO

关于点可见图的一些结果

Some Results On Point Visibility Graphs

本文提出了识别点可见图的三个必要条件。我们发现，这个识别问题在于PSPACE。我们陈述了点可见性图的新性质以及一些在理解点可见性图中很重要的已知性质。对于平面点可见性图，我们提出了一个完整的特征，从而导致一个线性时间识别和重建算法。

2014-04-04cs.CGcs.DMmath.CO

伪多面体可见图的一个刻画

A Characterization of Visibility Graphs for Pseudo-Polygons

本文给出了伪多边形可见图的一个刻划。我们首先确定了一些关键的组合性质的伪多边形，然后我们给出了一组五个必要条件的基础上，我们确定的属性。然后，我们证明，这些必要条件也是充分的，通过减少到一个特征的顶点边可见性图O'Rourke和Streinu。

2015-04-23cs.CG

VisDiff：用于可见性重建与识别的SDF引导多边形生成

VisDiff: SDF-Guided Polygon Generation for Visibility Reconstruction and Recognition

University of Minnesota（明尼苏达大学）；The University of Texas at Austin（德克萨斯大学奥斯汀分校）

针对缺乏明确定义特征与距离度量的多边形组合结构难以表征的问题，本文提出VisDiff扩散模型，通过先估计SDF再提取顶点的方式从可见性图重建多边形，F1分数较现有方法提升26%。

2025-10-21cs.CGcs.LG

可见性和盘图表示问题的计算方面

Computational Aspects of Problems on Visibility and Disk Graph Representations

本论文主要讨论了在计算几何领域中被广泛研究的两个概念。即可见性和单位圆盘图。在可见性领域，我们研究了多边形的无冲突色保护，为此我们描述了一个多项式时间算法，该算法使用$O(n \log^2 n)$颜色来保护多边形在无冲突设置中，以及多边形可见性图的适当着色，为此我们描述了一个算法，该算法返回简单多边形的适当4-着色。此外，我们还证明了简单多边形可见图的5-可着色性问题是NP-完全的，而带洞多边形可见图的4-可着色性问题是NP-完全的。然后，我们进一步移动与可见性的概念，并定义一个图形类，考虑现实世界中的限制可见性图的应用。也就是说，没有物理对象具有无限的范围，并且两个对象可能从一定距离不可见，尽管其间没有障碍物。为了模拟这个属性，我们引入了单位盘可见性图，并证明了3-着色性问题是NP-完全的单位盘可见性图的一组线段，和一个多边形与孔。在弥合了可视性和单位圆盘图之间的差距之后，我们给出了在一个受限的设置-轴平行单位圆盘图中识别单位圆盘图的结果。我们证明了，当圆盘中心在预先给定的平行线上时，单位圆盘图的识别是NP-完全的。另一方面，如果两条线不平行，那么识别问题是NP难的，即使预先给定的线是轴平行的（即任何一对线都是平行或垂直的）。

2021-10-31cs.CGmath.CO

更多相关论文收起更多论文

平面动态多边形障碍物的可见性多边形及可见性图

Visibility Polygons and Visibility Graphs among Dynamic Polygonal Obstacles in the Plane

我们设计了一个算法，用于维护动态多边形域中任何查询点的可见性多边形，即，当多边形域被修改为具有对其障碍物的顶点插入和删除时，我们更新存储查询点的可见多边形的数据结构。在对初始输入多边形域进行预处理以构建一些数据结构之后，我们的算法需要O（k（\lg{|VP_{\cal P'}(q)|}）+（\lg{n'}）^{2}+h）（分别为.时间复杂度为O（k（\lg n '）^2+（\lg| VP_{\cal P'}（q）|）+h））更新存储查询点q的可见性多边形VP_{\cal P'}（q）的数据结构的最坏情况时间，当任何顶点v被插入到（相应地，删除）当前多边形结构域\cal P '的任何障碍。这里，n'是\cal P'中顶点的数目，h是\cal P '中障碍物的数目，VP_{\cal P'}（q）是q在\cal P'中的可见性多边形（|VP_{\cal P'}（q）|是VP_{\cal P'}（q）的顶点数），以及k是由于插入（分别是）导致的VP_{\cal P'}（q）中的组合变化的数目。作为上述算法的一个应用，我们还设计了一个用于维护动态多边形域的可见性图的算法，即，当多边形域被修改为具有对其障碍物的顶点插入和删除时，我们更新存储多边形域的可见性图的数据结构。在对初始输入多边形域进行预处理后，我们的动态算法需要O（k（\lg{n'}）^{2}+h）（分别为.当任何顶点v被插入到（分别…

2020-11-19cs.CG

部分可见性表示扩展问题

The Partial Visibility Representation Extension Problem

对于图$G$，当对于每个顶点$v \in V(G)$，$ψ(v)$是水平线段（\emph{bar}）和$uv \in E(G)$当且仅当在$ψ(u)$和$ψ(v)$之间存在无障碍的、垂直的、$\varepsilon$宽的视线时，函数$ψ$被称为$G$的一个\emph{bar visibility representation}。接受这种表示的图是很好理解的（通过简单的刻画），并且在线性时间中是可识别的。对于有向图$G$，$G$的条可见性表示$ψ$另外对于$G$的每个有向边$(u,v)$将条$ψ(u)$严格地置于条$ψ(v)$之下。我们研究了一个广义的识别问题，其中一个功能$ψ'$定义的一个子集$V'$的$V(G)$的，问题是是否有一个酒吧的可见性表示$ψ$的$G$与$ψ(v) = ψ'(v)$的每一个$v \in V'$。我们表明，无向图这个问题连同密切相关的问题是\NP -完全的，但对于某些情况下，涉及有向图，它是可解的多项式时间。

2016-08-30cs.CG

地形可见性图：持久性是不够的

Terrain Visibility Graphs: Persistence is Not Enough

在本文中，我们考虑的可视性图识别和重建问题的背景下，地形。在这里，我们给出了一个图$G$与标记的顶点$v_0, v_1, \ldots, v_{n-1}$，使得标签对应于一个哈密尔顿路径$H$。$G$还可以包含其它边。我们感兴趣的是确定是否存在具有顶点$p_0, p_1, \ldots, p_{n-1}$的地形$T$，使得$G$是$T$的可见性图，并且$T$的边界对应于$H$。$G$被称为是持久的，当且仅当它满足所谓的X-性质和Bar-性质。已知每个“伪地形”都有一个持久可见性图，并且每个持久图都是某个伪地形的可见性图。对于（几何）地形，这种联系并不明显。已知任何地形$T$的可见性图是持久的，但是不清楚是否每个持久图$G$都具有地形$T$，使得$G$是$T$的可见性图。实际上已经有几篇论文声称这是这种情况（尽管没有正式的证明），最近的工作朝着为任何持久图构建地形重建算法的方向迈出了一步。在本文中，我们证明了存在一个持久图$G$，这是不是任何地形$T$的可见性图。这意味着持久性本身不足以表征地形的可见性图，并意味着伪地形是不可拉伸的。

2020-04-02cs.CG

具有平面外障碍表示的图

Graphs with Plane Outside-Obstacle Representations

图的\emph{obstacle representation}由一组多边形障碍物和每个顶点的不同点组成，使得两个点彼此可见当且仅当对应的顶点相邻。障碍表示是对经典多边形顶点可见图的一种推广，其特征和识别问题一直是一个悬而未决的问题。在本文中，我们研究了\emph{plane outside-obstacle representations}，其中所有的障碍物都位于无界面的表示和没有两个可见性段交叉。我们给出了允许这种表示的双连通图的组合特征。基于这个特征，我们提出了一个简单的线性时间识别算法，这些图。作为一个侧面的结果，我们证明了平面顶点-多边形可见图正是最大的外平面图，并且每个弦外平面图有一个外障碍表示。

2013-06-12cs.CGcs.DMcs.DS

3-连通1-平面图的正交多边形可见性表示

Ortho-polygon Visibility Representations of 3-connected 1-plane Graphs

$1$平面图$G$的正交多边形可见性表示$Γ$（$G$的OPVR）是嵌入保持绘图，其将$G$的每个顶点映射到不同的正交多边形，并将$G$的每个边映射到其端顶点之间的垂直或水平可见性。如果$Γ$的每个多边形最多有$k$反射角，则表示$Γ$具有顶点复杂度$k$。已知$3$ -连通$1$ -平面图允许顶点复杂度至多为12的OPVR，而在某些情况下可能需要顶点复杂度至少为2.在本文中，我们通过证明顶点复杂度为5总是足够的，而在某些情况下可能需要顶点复杂度为4来缩小这一差距。这些结果是基于对$3$ -连通$1$ -平面图中B-、T-和W-构型的组合性质的研究。上界的一个含义是存在一个$\tilde{O}(n^\frac{10}{7})$ -时间绘图算法，该算法计算大小为$O(n) \times O(n)$且顶点复杂度至多为5的整数网格上的$n$ -顶点$3$ -连通$1$ -平面图的OPVR.

2018-08-02cs.CGcs.DS

Witness Set: 一个NP∩XP中的可视性问题

Witness Set: A Visibility Problem in $NP\cap XP$

Indian Statistical Institute（印度统计研究所）；Indian Institute of Technology Kharagpur（印度理工学院卡拉格普尔分校）

研究Witness Set问题，其是经典艺术馆问题的对偶问题。该问题针对简单多边形，证明其属于NP和XP，与艺术馆问题不同，后者被证明为存在R完全问题。

2026-05-02cs.CG

识别Penny图和Marble图的困难性：关于实数存在性理论

Recognizing Penny and Marble Graphs is Hard for Existential Theory of the Reals

University of Waterloo（滑铁卢大学）；DePaul University（德保罗大学）

本文证明penny图（平面单位圆盘接触图）和marble图（三维单位球接触图）的识别问题分别为$\exists\mathbb{R}$-完全，并证明penny图刚性为$\forall\mathbb{R}$-完全，解决了长期开放问题。

2026-09-11cs.CG

迈向有向区间图的识别

Towards the Recognition of Oriented Interval Graphs

Universität Passau（帕绍大学）；Charles University, Prague（布拉格查理大学）；Universität Würzburg（维尔茨堡大学）

研究有向区间图识别问题，通过分析方向、团序和包含边相互影响限制的方式，给出两个约束版本识别问题的线性时间算法，改进相关二次时间算法。

2026-07-07cs.CGcs.DM

通过强化学习学习放置守卫：顶点守卫艺术画廊问题的无几何神经策略

Learning to Place Guards by Reinforcement: A Geo-Free Neural Policy for the Vertex-Guard Art Gallery Problem

School of Applied Mathematics；Informatics, University J. J. Strossmayer of Osijek, Croatia

针对顶点守卫艺术画廊问题，训练强化学习策略在无几何推理下放置守卫，发现编码器已内化几何知识，失败源于解码器校准而非知识缺失。

2026-06-23cs.CGcs.LG

几何图的距离测度

Distance Measures for Geometric Graphs

University of California, Berkeley（加州大学伯克利分校）；Tulane University（杜兰大学）

几何图是一种组合图，具有从其在欧几里得空间中的嵌入继承的几何形状。在模式识别中，对两个这样的几何图的组合结构和几何结构的（不）相似性进行有意义的度量是一个具有挑战性的问题。本文研究了几何图的两种距离测度，即几何编辑距离（GED）和几何图距离（GGD）。前者基于编辑一个图以将其转换为另一个图的想法，而后者则受到图的不精确匹配的启发。几十年来，这两个概念都被用来衡量属性图之间的相似性。然而，如果不加任何修改地使用，它们就不能为几何图形提供有意义的距离度量--甚至不再是度量。我们已经为几何图的上下文策划了它们的相关成本函数。除了研究GED和GGD的度量属性，我们还研究了这两个概念的比较。我们进一步我们的理解GGD的计算方面，显示的距离是$\mathcal{NP}$ -难以计算，即使图形是平面和任意的成本系数是允许的。

2022-09-26cs.CGcs.CV