Some Results On Convex Greedy Embedding Conjecture for 3-Connected Planar Graphs
图$G = (V,E)$到度量空间$(X,d)$中的贪婪嵌入是一个函数$x : V(G) \to X$，使得在对每对不相邻的顶点$x(s), x(t)$的嵌入中，存在另一个与$x(s)$相邻的顶点$x(u)$，该顶点比$x(s)$更靠近$x(t)$。这种贪婪嵌入的概念是由Papadimitriou和Ratajczak（Theor. Comput. Sci. 2005），其中作者证明了每个3-连通平面图在欧几里得平面中有一个贪婪嵌入（可能是平面的和凸的）。最近，贪婪嵌入猜想已经被Leighton和Moitra证明（FOCS 2008）。然而，他们的算法并没有导致一个绘图是平面和凸的所有3-连通平面图在欧几里德平面。本文研究了平面凸贪婪嵌入猜想，并取得了一些进展。给出了平面凸贪婪嵌入的一个新的刻画：给定一个3连通平面图$G = (V,E)$，$G$的嵌入$x: V \to \bbbr^2$是平面凸贪婪嵌入当且仅当在嵌入$x$中，最大权生成树的权（$T$）和最小权生成树的权（$\func{MST}$）满足$\WT(T)/\WT(\func{MST}) \leq (\card{V}-1)^{1 - δ}$，对于某些$0 < δ\leq 1$ .
2009-05-23 cs.CG cs.DM cs.DS
Optimally fast incremental Manhattan plane embedding and planar tight span construction
我们描述了一个数据结构，一个矩形复形，可以用来表示超凸度量空间，具有相同的拓扑结构（虽然不一定是相同的距离函数）作为子集的平面。我们展示了如何使用这种数据结构来构造一个度量空间的紧跨度，当紧跨度同胚于平面的一个子集时，时间为O（n^2），以及如何在时间为O（n）的平面紧跨度上添加一个点。作为这种构造的一个应用，我们展示了如何测试一个给定的有限度量空间是否在时间O（n^2）内等距嵌入曼哈顿平面，并向空间添加一个点，并重新测试它是否在时间O（n）内具有这样的嵌入。
2011-10-28 cs.CG cs.DS
Planar Embeddings with Small and Uniform Faces
出于寻找平面嵌入，导致良好的美学图纸，我们研究的问题MINMAXFACE和嵌入一个给定的双连通多重图，使最大的脸是尽可能小的，使所有的面具有相同的大小，分别MINMAXFACE和MINMAXORMFACES。我们证明了一个复杂性二分法MINMAXFACE，并表明，决定是否最大是至多$k$是多项式时间可解的$k \leq 4$和NP-完全$k \geq 5$。此外，我们给出了一个6-近似最小化平面嵌入中的最大面。对于非线性函数，我们证明了该问题对于奇数$k \geq 7$和偶数$k \geq 10$是NP完全的。此外，我们还刻画了允许3-和4-一致嵌入的双连通平面多重图（在$k$ -一致嵌入中，所有的面都有大小$k$），并给出了一个有效的算法来检验6-一致嵌入的存在性。
2014-09-15 cs.CC cs.CG cs.DM
Identifying Cluttering Edges in Near-Planar Graphs
本文提出一种启发式方法，通过识别近平面图中的杂乱边并调整其权重，显著提升弹簧类图绘制算法在增广网格图、增广三角剖分和深度三角剖分上的布局质量。
2023-04-17 cs.CG cs.DS
Monotone Grid Drawings of Planar Graphs
平面图的单调图$G$是$G$的平面直线图，其中在某个方向上，$G$的每对顶点之间存在单调路径。最近，平面图的单调绘制被提出作为图形可视化的新标准。平面图的单调图是单调网格图，如果图中的每个顶点都画在一个网格点上。本文研究了平面图在可变嵌入下的单调网格图。我们证明了$n$顶点的每个连通平面图在大小为$O(n)\times O(n^2)$的网格上都有一个单调的网格图，并且这样的图可以在O（n）时间内找到。
2013-10-23 cs.CG cs.DS
2-Level Quasi-Planarity or How Caterpillars Climb (SPQR-)Trees
给定一个二分图$G=(V_b,V_r,E)$，$2$ -级拟平面性问题要求存在一个平面中的$G$的绘图，使得$V_b$和$V_r$中的顶点分别位于两条平行线$\ell_b$和$\ell_r$上，$E$中的每条边都画在由$\ell_b$和$\ell_r$限定的平面的无界带中，并且$E$中没有三条边两两相交。证明了$2$ -级拟平面问题是NP-完全的。这回答了杜伊莫维奇、波尔和伍德的一个悬而未决的问题。此外，我们表明，问题成为线性时间可解的，如果在$V_b$沿$\ell_b$的顶点的顺序是规定的。我们的贡献提供了第一个结果的计算复杂性识别准平面图，这是一个长期存在的开放问题。我们的线性时间算法利用了几个成分，包括一个组合表征的积极的情况下的问题，在存在的一个平面嵌入与毛虫状结构，和SPQR树为基础的算法，用于测试存在这样的平面嵌入。我们的算法建立在一个分类的类型的嵌入相对于它们包含的毛毛虫的一部分的结构，并执行一个计算的可实现的嵌入类型的基础上，通过恒定大小的小工具，其功能的简洁描述。
2020-11-04 cs.CG cs.DS
Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration
给定图$G$和$H$，我们提出了一种方法，隐式枚举的拓扑子嵌入的$H$在$G$使用决策图。我们展示了一个有用的应用程序，我们的方法枚举子图的特征在于禁止拓扑未成年人，即，平面，outerplanar，串并联，仙人掌子图。计算实验表明，我们的方法可以找到所有平面子图在一个给定的图在最多五个数量级的速度比一个天真的回溯为基础的方法。
2019-11-18 cs.DS math.CO
Simultaneous Embedding of Planar Graphs
同时嵌入是指同时表示一系列共享部分或全部顶点的图。这构成了动态图形可视化的基础，因此是一个重要的研究领域。最近有大量的工作调查同时嵌入问题从理论和实践的角度来看。我们调查最近的工作在这个话题上。
2015-06-19 cs.DM cs.DS
Planar L-Drawings of Bimodal Graphs
在有向图（有向图）的平面L-图中，每条边e被表示为一个由开始于e的尾部的垂直段和结束于e的头部的水平段组成的线段。不同的边可以重叠，但不能交叉。我们主要关注的是双峰图，即，允许平面嵌入的有向图，其中每个顶点周围的输入边和输出边是连续的。我们证明了每个不含2-圈的平面双峰图都有一个平面L-图。这包括向上平面图类。最后，外平面有向图允许平面L-绘图-尽管它们不总是具有双峰嵌入-但不一定具有外平面嵌入。
2020-08-18 cs.CG cs.DM cs.DS
Dynamic Planar Embedding is in DynFO
本文证明动态平面嵌入属于 DynFO：通过仅维护三连通分量嵌入及分离对二染色，支持边插入、删除并拒绝破坏平面性的插入。
2023-07-17 cs.CC cs.DS cs.LO
Recognizing and Embedding Simple Optimal 2-Planar Graphs
在超平面图的区域中，即可以在边缘交叉上具有某些局部限制的图，识别问题在不同图类的密度问题之后是突出的。对于1-平面图，识别问题已经得到解决，即它在一般情况下是NP-完全的，而最优1-平面图，即具有最大密度的图，可以在线性时间内识别。对于2-平面图，图像不太完整。正如预期的那样，识别问题已被发现是NP完全的一般。本文研究简单最优2-平面图的识别问题。我们利用这样的图的组合特征，并提出了一个线性时间算法的识别和嵌入。
2021-08-03 cs.DM cs.DS
Graph Planarity Testing with Hierarchical Embedding Constraints
层次嵌入约束定义了一组允许的循环顺序的边缘事件的顶点图。这些约束表示在FPQ树。FPQ-树是PQ-树的变体，除了P-和Q-节点之外还包括F-节点。F节点表示固定的置换，即，它无法逆转。设$G$是一个图，使得$G$的每个顶点都配备有一组FPQ树，该FPQ树编码其关联边的层次嵌入约束。我们研究的问题，测试是否$G$承认一个平面嵌入，这样，对于每个顶点$v$的$G$，循环顺序的事件到$v$的边缘描述的至少一个FPQ树与~ $v$。我们证明了这个问题是固定参数易处理的双连通图，其中的参数是$G$的树宽和与$G$的每个顶点相关联的FPQ-树的数量。我们还证明了，如果仅用FPQ-树的数目来参数化，则该问题是NP-完全的，如果仅用树宽来参数化，则该问题是W[1]-困难的。除了其本身的有趣性之外，层次嵌入约束的平面性测试研究还可以用于解决其他平面性测试问题。特别是，我们将我们的技术应用于研究的NodeTrix平面性测试的聚类图。我们发现，NodeTrix平面性测试与固定的双方是固定参数的参数化时，参数化的集群的大小和树宽的多图通过折叠集群到单顶点，只要这个图是bconnected。
2019-11-16 cs.DS
Worst-Case Polylog Incremental SPQR-trees: Embeddings, Planarity, and Triconnectivity
我们发现，每个标记的平面图$G$可以分配一个规范的嵌入$ϕ(G)$，这样，对于任何平面$G'$，从$G$不同的插入或删除一个边缘，局部变化的组合嵌入的数量需要从$ϕ(G)$到$ϕ(G')$是$O(\log n)$。相比之下，存在嵌入式图，其中$Ω(n)$变化是必要的，以适应一个插入的边。我们提供了一个匹配的$Ω(\log n)$局部变化的下限，虽然我们的上限是最坏的情况下，我们的下限保持在摊销的情况下。我们的证明是基于BC树和SPQR树，我们开发的\emph{pre-split}变种，这些一般的图形，基于一种新的有偏重路径分解，其中的结构变化对应的边缘插入和删除的基础图形组成的最多$O(\log n)$基本操作的一个特别简单的形式。作为次要的结果，我们展示了如何在最坏的情况下$O(\log^3 n)$时间确定性地在底层图中的边插入下保持预分裂树。使用此，我们获得确定性的数据结构，增量平面性测试，增量平面嵌入，增量三连通性，每一个最坏的情况下$O(\log^3 n)$更新和查询时间，回答了一个开放的问题La Poutré和Westbrook从1998年。
2019-10-20 cs.DS
On the Planar Edge-Length Ratio of Planar Graphs
图的直线图的边长比是图中最长边和最短边的长度之比。平面图的平面边长比是该图的任意平面直线图的最小边长比。本文研究了平面图的平面边长比。证明了存在平面边长比在$Ω(n)$中的$n$ -顶点平面图，这个界是紧的。我们还证明了几类平面图的平面边长比的上界，包括系列平行图和二部平面图。
2020-04-11 cs.CG cs.DS math.CO
A New Perspective on Clustered Planarity as a Combinatorial Embedding Problem
聚类平面性问题（c-planarity）询问层次聚类图是否允许平面绘图，使得聚类可以很好地由区域表示。我们引入了cd树数据结构，并给出了c平面性的一个新的刻画。它导致在以下情况下的c-平面性测试的有效算法。(i)每个簇和每个协簇（簇的补簇）最多有两个连通的分量。(ii)每个簇最多有五条向外的边。此外，cd树揭示了c-平面性和平面性之间的有趣联系，并限制了顶点周围边的顺序。一方面，这引起了一堆新的开放问题的c-平面性，另一方面，它提供了一个新的角度对以前的结果。
2015-06-18 cs.DM cs.DS math.CO
Parallel Construction of Compact Planar Embeddings
现代数据集的庞大规模迫使数据结构设计者认真考虑并行构造和紧凑性。为了实现这些目标，我们需要设计一个具有良好的可扩展性和低内存消耗的并行算法。具有良好可扩展性的算法在可用核的数量增加时提高其性能，并且具有低内存消耗的算法使用与非紧凑形式的数据集所使用的空间成比例的内存。在这项工作中，我们讨论了工程的并行算法与线性工作和对数跨度的建设的紧凑表示的平面嵌入。我们还对我们的实现进行了实验研究，并通过实验证明它具有良好的可扩展性和较低的内存消耗。此外，我们描述和测试实验查询支持的紧凑表示。
2017-05-01 cs.DS
Low Treewidth Embeddings of Planar and Minor-Free Metrics
Cohen-Addad，Filtser，Klein和Le [FOCS'20]构造了一个将直径为$D$的无minor图随机嵌入到树宽为$O_ε(\log n)$的图中，并带有期望的加性失真$+εD$ . Cohen-Addad等人随后使用嵌入设计了容量受限车辆路径问题的第一个准多项式时间近似方案（QPTAS）。Filtser和Le [STOC'21]使用嵌入（以不同的方式）设计了一个QPTAS，用于度量Baker的问题，在小的自由图。在这项工作中，我们设计了一个新的嵌入技术，以提高Cohen-Addad等人的树宽界指数$O_ε(\log\log n)^2$。作为推论，我们获得了第一个有效的PTAS的能力限制的车辆路径问题的小自由图。我们还显着提高了运行时间的QPTAS的度量贝克的问题，从$n^{O_ε(\log(n))}$到$n^{O_ε(\log\log(n))^3}$的图。将我们的嵌入技术应用于平面图，我们得到了一个确定性嵌入的平面图的直径$D$到图的树宽$O((\log\log n)^2)/ε)$和添加剂失真$+εD$，可以在近线性时间内构造。重要的推论，我们的结果包括双准则PTAS度量贝克的问题和PTAS的车辆路径问题的能力有界的平面图，都运行在几乎线性的时间。我们的算法的运行时间是显着优于以前的算法，需要二次时间。在我们的嵌入的一个关键思想是一个（精确的）仿真器的树度量与树…
2022-03-29 cs.DS
Embeddings of Planar Quasimetrics into Directed \ell_1$ and Polylogarithmic Approximation for Directed Sparsest-Cut
多商品流割间隙是影响分治算法性能的一个基本参数，在各种无向图中得到了广泛的研究. Linial、London和Rabinovich以及Aumann和Rabani已经证明，对于一般的$n$ -顶点图，它是由$O(\log n)$有界的，而Gupta-Newman-Rabinovich-Sinclair猜想断言，对于任何排除某些固定子图的图族，它是$O(1)$。我们证明了\emph{directed}平面图上的多商品流割间隙是$O(\log^3 n)$。这是超常数树宽有向图族的第一个\emph{sub-polynomial}界。我们注意到，对于一般的有向图，Chuzhoy和Khanna已经证明了间隙是$\widetildeΩ(n^{1/7})$，甚至对于有向无圈图也是如此。作为我们结果的直接结果，我们还获得了有向非二部稀疏割和有向平面图的有向多割问题的第一个多项式时间多对数近似算法，这扩展了Rao关于无向平面图的长期结果（具有稍弱的界）。在我们的结果的核心，我们调查低失真准度量嵌入到\emph{directed} $\ell_1$。更准确地说，我们构造了平面有向图的最短路拟度量空间的$O(\log^2 n)$ -Lipschitz拟划分，推广了度量嵌入理论中Lipschitz划分的概念。这种构造结合了双Lipschitz嵌入理论的思想，并使用工具在有向平面图上形成数据结构。
2021-11-15 cs.DS
Fast and Compact Planar Embeddings
平面图的表示有很多，但很少有像Turán（1984）那样优雅的：它简单实用，每条边仅使用4位，可以处理自循环和多边，并且可以存储任何指定的嵌入。它的主要缺点是“它不允许有效的搜索”（Jacobson，1989）。在本文中，我们将展示如何添加一个次线性位数图兰的表示，使其支持快速导航，同时保持简单。作为继承的简单性的结果，我们提供了第一个高效的并行结构的紧凑编码的平面图嵌入。我们的实验结果表明，所得到的表示使用约6位每边缘在实践中，支持基本的导航操作在几微秒内，并可以建立顺序在低于1微秒每边缘的速率，具有线性加速比与并行效率约50%的大型数据集。
2018-02-18 cs.DS
Bar 1-Visibility Graphs and their relation to other Nearly Planar Graphs
一个图被称为一个强（或。弱）条1-可见性图，如果其顶点可以被表示为平面中的水平段（条），使得其边缘全部（分别顶点对的子集），这些顶点对的条具有连接它们的$ε$粗垂直线，该垂直线至多与另一条相交。我们探讨了弱（分别）之间的关系。强）棒1-可见性图和其他近平面图类。特别是，我们研究了它们的关系1-平面图，这有一个图纸，最多有一个交叉每边;准平面图，这有一个图纸，没有三个相互交叉的边缘;平面1-流网络的平方，这是向上有向图与在或出度最多为1。我们的主要结果是，1-平面图和平面1-流网络的（无向）平方是弱棒1-可见性图，这些是准平面图。
2013-12-19 cs.CG cs.DS math.CO
Planarity Testing Revisited
平面性测试是确定给定图是否是平面图的问题，而平面嵌入是相应的构造问题。Allender和Mahajan借助于Reingold的结果，确定了这类问题的有界空间复杂度恰好为Logspace。不幸的是，该算法是相当令人生畏的，概括起来说，有界亏格的情况似乎是一个很高的要求。在这项工作中，我们提出了一个简单的平面嵌入算法运行在对数空间。我们希望这个算法将更易于推广。该算法是基于3-连通平面图具有唯一嵌入、Tutte关于圈冲突图的判别准则的一个变体以及圈基的显式变化这一事实。对于平面图。我们还提出了一个对数空间算法来找到平面性的障碍，即一个Kuratowski未成年人，如果图是非平面的。据我们所知，这是这个问题的第一个对数空间算法。
2011-01-13 cs.CC cs.DS
A Planarity Test via Construction Sequences
最佳线性时间算法测试的平面图是众所周知的超过35年。然而，这些算法非常复杂，最近的出版物仍然试图给出更简单的线性时间测试。我们给出了一个简单的减少，从平面性测试的问题，计算一个3-连通图的某种结构。该方法与以前的平面性测试不同;作为关键概念，我们在每个时间点保持3连接的平面嵌入。该算法在线性时间内运行，如果输入图是平面的，则计算平面嵌入，否则计算Kuratowski细分。
2012-02-22 cs.DM cs.DS
Planar Embedding of Okamura-Seymour Quasimetrics in Polynomial Time with an Application to Distributed SSSP
University of Massachusetts, Amherst（马萨诸塞大学阿默斯特分校）
提出首个多项式时间算法，将 Okamura-Seymour 拟度量嵌入平面图，并应用于分布式 CONGEST 模型中的平面有向图单源最短路径近似，达到接近最优的轮数复杂度。
2026-07-03 cs.DS
Rectilinear Planarity Testing of Plane Series-Parallel Graphs in Linear Time
一个平面图是直线平面图，如果它允许一个嵌入保持直线图，其中每个边是水平的或垂直的。本文证明了对于任意具有$n$顶点的平面串-平行图$G$，直线平面性检验都可以在最优$O(n)$时间内求解.若$G$是直线平面图，则可以在$O(n)$时间内构造出$G$的保嵌入直线平面图.我们的研究结果是基于直线平面串联平行图的正交螺旋的间隔，他们的组件可以有一个特征，它导致了一个算法，可以很容易地实现。
2021-02-26 cs.DS
Efficiently Partitioning the Edges of a 1-Planar Graph into a Planar Graph and a Forest
1-平面图是可以在平面中绘制的图，使得任何边与至多一个其它边相交。阿克曼证明了1-平面图的边可以划分为平面图和森林，并声称该证明导致了线性时间算法。然而，目前尚不清楚如何从他的证明中获得这样的算法。在本文中，我们首先reprove阿克曼的结果（事实上，我们证明了一个稍微更一般的声明），然后表明，分裂可以发现在线性时间使用边收缩数据结构由Holm等人。
2021-04-29 cs.DS
Common-Face Embeddings of Planar Graphs
给定一个平面图G和一个序列C_1，...，C_q，其中每个C_i是G的顶点子集族，我们希望找到G的平面嵌入，如果存在的话，使得对于{1，. q}时，嵌入中存在面F_i，其边界至少包含C_i中每个集合的一个顶点。该问题可应用于从地理数据中恢复拓扑信息和VLSI中的约束布局设计。设I为输入大小，即，G中的顶点和边的总数以及族C_i，计重数。我们表明，这个问题是NP-完全的一般。我们还证明了对于每个输入族C_i，C_i中的每个集合诱导输入图G的一个连通子图的特殊情况，它在O（Ilog I）时间内是可解的.请注意，简单地找到平面嵌入的经典问题是q=0的这种情况的进一步特殊情况。因此，附加约束C_1，.，C_q只会引起开销的对数因子。
2001-02-10 cs.DM cs.DS
Upward Point-Set Embeddability
研究了点集的向上可嵌入性问题，即判定给定的向上平面有向图$D$是否有向上平面嵌入到点集$S$中的问题.我们证明了任何开关树都允许向上平面直线嵌入到任何凸点集。对于类的$k$开关树，这是一个推广的开关树（根据这个定义的开关树是一个$1$开关树），我们表明，不是每一个$k$开关树承认一个向上的平面直线嵌入到任何凸点集，任何$k \geq 2$。最后证明了点集的可嵌入性问题是NP-完全的。
2010-10-28 cs.DS
Worst-case Deterministic Fully-Dynamic Planar 2-vertex Connectivity
我们研究动态平面图的$n$顶点，受到边删除，边收缩，边插入面，和分裂的顶点在指定的角落。我们动态地保持这样一个平面图的组合嵌入，受到连接和$2$ -顶点连接（双连接）对顶点之间的查询。当一个查询对是连通的而不是双连通的时，我们会找到第一个和最后一个割顶点来分隔它们。此外，我们允许通过翻转由至多两个顶点连接到图的其余部分的子图的嵌入来对嵌入进行局部改变。我们使用$O(n)$大小的数据结构，支持在确定性、最坏情况、$O(\log^2 n)$时间内的所有查询和更新。在此之前，全动态平面双连通性（受我们的操作集）的最佳界限是一般图的摊销$\tilde{O}(\log^3 n)$，并且具有最坏情况的多对数更新时间的算法仅在部分动态（仅插入或仅删除）设置中已知。
2022-09-28 cs.DS
A Fixed-Parameter Algorithm for the Max-Cut Problem on Embedded 1-Planar Graphs
我们提出了一个固定参数的易于处理的算法的\textsc{Max-Cut}问题的嵌入1-平面图参数的交叉数$k$的给定嵌入。一个图称为1-平面图，如果它可以画在平面上，每条边最多有一个交叉。我们的算法递归减少1-平面图，最多$3^k$平面图，使用边缘删除和节点收缩。的\textsc{Max-Cut}的问题，然后解决了平面图使用已建立的多项式时间算法。我们证明了在给定的1-平面图中的最大割可以从平面图的解导出。我们的算法计算一个嵌入的1-平面图的最大割$n$节点和$k$边交叉时间$\mathcal{O}(3^k \cdot n^{3/2} \log n)$。
2018-05-30 cs.DS
On Upward-Planar L-Drawings of Graphs
在有向无环图（DAG）的向上平面L-图中，每条边$e$被表示为由垂直段和水平段组成的线段，垂直段的最低端点在$e$的尾部，水平段的最低端点在$e$的头部。不同的边可以重叠，但不能交叉。最近，已经研究了$st$ -图的向上平面L-绘图，即，具有单个源$s$和单个接收器$t$的平面DAG，所述接收器$t$包含从$s$指向$t$的边缘。已知平面$st$ -图，即，一个嵌入的$st$ -图，其中边$(s,t)$与外表面关联，当且仅当它允许双调$st$ -序，这可以在线性时间内测试，允许向上平面L-绘图。我们研究了不一定是$st$ -图的DAG的向上平面L-绘图。在组合方面，我们表明，一个平面DAG承认一个向上的平面L-绘图当且仅当它是一个平面$st$ -图承认一个双调$st$ -序的子图。这使我们能够表明，并不是每一个树与固定的双峰嵌入承认向上平面L-绘图。此外，我们证明了任何无环仙人掌与一个单一的源（或一个单一的水槽）承认一个向上的平面L-绘图，它尊重一个给定的外平面嵌入，如果没有传递的边缘。在算法方面，我们考虑具有单个源（或单个汇）的DAG。我们给这些DAG在两种情况下的线性时间测试算法：（i）当绘图必须尊重规定的嵌入和（ii）当没有限制的嵌入，但它是双向连接和串行并行。
2022-08-03 cs.DS
Efficient Recognition of Subgraphs of Planar Cubic Bridgeless Graphs
从Tait的工作和四色定理出发，证明了平面三次图是3-边可着色的当且仅当它不含桥。我们考虑的问题是，哪些平面图是平面立方无桥图的子图，因此3-边着色。我们提供了一个有效的识别算法，给定一个$n$ -顶点平面图，在$O(n^2)$步骤中将该图增强到平面立方无桥超图，或者决定没有这样的增强是可能的。主要工具包括固定嵌入情形的广义反因子问题和可变嵌入情形的SPQR树。
2022-07-15 cs.DS math.CO
Testing Simultaneous Planarity when the Common Graph is 2-Connected
两个平面图G1和G2共享一些顶点和边是“同时平面的”，如果它们有平面图，使得共享的顶点[边]在两个图中由相同的点[曲线]表示。同时平面性的有效检验是一个悬而未决的问题。当两个图共享一个2-连通子图时，我们给出了一个线性时间算法来检验同时平面性。我们的算法扩展到k平面图的情况下，每个顶点[边]是共同的所有图形或属于其中之一。
2011-12-09 cs.DS
Fixed-Parameter Algorithms for the Weighted Max-Cut Problem on Embedded 1-Planar Graphs
对于嵌入1-平面图上的加权最大割问题，我们提出了两个固定参数的易处理算法，其参数是给定嵌入的交叉数$k$.一个图称为1-平面图，如果它可以画在平面上，每条边最多有一个交叉。我们的算法递归减少1-平面图，最多$3^k$平面图，使用边缘删除和节点收缩。然后，我们的主要算法使用Liers和Pardella [23]引入的FCE-MaxCut解决平面图的Max-Cut问题。在非负边权重的情况下，我们提出了一个变体，允许用任何平面最大切割算法来解决平面实例。我们证明了在给定的1-平面图中的最大割可以从平面图的解导出。我们的算法计算一个嵌入的加权1-平面图的$n$节点和$k$边交叉时间$O(3^k \cdot n^{3/2} \log n)$的最大割。
2020-11-30 cs.DS
On the Area Requirements of Planar Greedy Drawings of Triconnected Planar Graphs
本文研究了三连通平面图的平面贪婪图的面积要求。Cao，Strelzoff和Sun展示了三连通平面图的细分族$\cal H$，并声称在$\mathcal H$中的每一个平面图的贪婪绘制都需要指数面积。然而，我们发现，每一个$n$ -顶点图中的$\cal H$实际上有一个平面贪婪图纸尊重规定的平面嵌入在$O(n)\times O(n)$网格。这重新打开的问题是否三连通平面图承认平面贪婪图纸上的多项式大小的网格。此外，我们提供了一个肯定的答案，证明了每个$n$ -顶点Halin图承认一个平面的贪婪绘制上的$O(n)\times O(n)$网格上的上述问题的证据。这两个结果都是通过实际构造凸的和角单调的图来获得的。最后，我们考虑$α$ -施奈德图纸，这是角度单调，因此贪婪，如果$α\leq 30^\circ$，并表明存在平面三角形，每个$α$ -施奈德图纸与固定的$α<60^\circ$需要指数面积的任何决议规则。
2020-03-03 cs.CG cs.DM cs.DS
Four Pages Are Indeed Necessary for Planar Graphs
一个图在书中的嵌入由它的顶点沿着书脊的线性顺序和它的边到书的页面的分配组成，使得在同一页面上没有两条边交叉。图的书厚是所有书嵌入的最小页数。因此，一类图的书厚是其所有成员上的最大书厚。在本文中，我们解决了一个长期存在的公开问题，关于确切的书厚的类平面图，这是以前已知的是三个或四个。我们解决这个问题，证明平面图，需要四页在任何他们的书嵌入，从而建立平面图类的书厚度是4。
2020-04-16 cs.DM cs.DS math.CO
Planar Graphs that Need Four Pages
我们表明，有可平面图，需要在任何书嵌入四页。
2020-05-28 cs.DM cs.DS math.CO
Planarizing Gadgets for (k, l)-tight Graphs Do Not Exist
IIT Bombay（印度理工学院孟买分校）；Ulm University（乌尔姆大学）；Aalen University（阿伦大学）
研究证明(k,l)-紧图识别问题无法通过平面化工具进行转换，揭示了平面图与一般图在该问题上的本质差异。
2026-05-08 cs.CC cs.DM cs.DS
