Spirality and Rectilinear Planarity Testing of Independent-Parallel SP-Graphs
研究了变量嵌入下串-平行图（SP-图）直线平面性的有效检验问题。顶点度最多为3的SP图的线性时间测试算法的设计背后的一个关键因素是，人们可以将注意力限制在每个串联或并联组件的恒定数量的“直线形状”上。为了正式描述这些形状，可以使用螺旋的概念。这一关键因素不再适用于度为4的顶点的SP-图，因为我们证明了其组件的螺旋度的对数下界。即使对于独立平行的SP-图，没有两个平行的组件共享一个极点的界限。尽管如此，通过研究独立平行SP图的螺旋性质，我们能够设计一个线性时间的直线平面性测试算法。
2021-10-01 cs.DS
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
Testing Upward Planarity of Partial $2$-Trees
我们提出了一个$O(n^2)$ -时间算法来测试一个$n$ -顶点定向部分$2$ -树是否是向上平面的。该结果改进了以前最好的已知算法，该算法在$O(n^4)$时间内运行。
2022-08-26 cs.CG 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
Multilevel Planarity
本文介绍并研究了多层平面性测试问题，它是上平面性和水平平面性的推广。令$G = (V, E)$是有向图，并且令$\ell: V \to \mathcal P(\mathbb Z)$是将整数的有限集合分配给每个顶点的函数。$G$的多级平面图是$G$的平面图，使得每个顶点$v \in V$的$y$坐标是$y(v) \in \ell(v)$，并且每个边被绘制为严格的$y$单调曲线。我们提出了线性时间算法，用于测试嵌入图的多级平面性与一个单一的源和定向循环。补充这些算法的结果，我们表明，多级平面性测试是NP完全的，即使在非常有限的情况下。
2018-10-31 cs.CG cs.DS
Obtaining Planarity by Contracting Few Edges
平面收缩问题是测试给定的图是否可以通过使用最多k个边收缩而成为平面的。这个问题是NP完全问题。我们表明，它是固定参数的参数时，参数k易处理。
2012-04-23 cs.DM cs.DS math.CO
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
Planarity Testing Revisited
平面性测试是确定给定图是否是平面图的问题，而平面嵌入是相应的构造问题。Allender和Mahajan借助于Reingold的结果，确定了这类问题的有界空间复杂度恰好为Logspace。不幸的是，该算法是相当令人生畏的，概括起来说，有界亏格的情况似乎是一个很高的要求。在这项工作中，我们提出了一个简单的平面嵌入算法运行在对数空间。我们希望这个算法将更易于推广。该算法是基于3-连通平面图具有唯一嵌入、Tutte关于圈冲突图的判别准则的一个变体以及圈基的显式变化这一事实。对于平面图。我们还提出了一个对数空间算法来找到平面性的障碍，即一个Kuratowski未成年人，如果图是非平面的。据我们所知，这是这个问题的第一个对数空间算法。
2011-01-13 cs.CC cs.DS
Beyond Level Planarity
在本文中，我们解决了计算复杂性的两个公开问题有关的水平平面性的概念扩展到不同的表面的平面。也就是说，我们表明，测试的存在性的水平嵌入的水平图的表面上的滚动圆柱或表面上的环面，分别称为$\textit{Cyclic Level Planarity}$和$\textit{Torus Level Planarity}$，是多项式时间可解的问题。此外，我们证明了一个复杂性二分法测试的$\textit{Simultaneous Level Planarity}$的一组水平图，相对于水平图的数量和水平的数量。
2016-08-29 cs.CG cs.DS
Metric Planarity Testing is Hard
Max Planck Institute for Informatics（马克斯·普朗克计算机科学研究所）；Indian Institute of Science（印度科学学院）；Aalto University（阿尔托大学）；University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）
本研究证明度量平面性测试是NP困难的，在指数时间假设下不存在$2^{o(n)}$时间算法，同时给出两种算法结果作为补充。
2026-10-14 cs.DS
(k,p)-Planarity: A Relaxation of Hybrid Planarity
我们提出了一个新的模型，放宽现有的混合表示的混合平面性。一个图$G = (V,E)$是$(k,p)$ -平面的，如果$V$可以被划分成大小至多为$k$的簇，使得$G$允许绘图，其中：（i）每个簇与一个封闭的有界平面区域相关联，称为簇区域;（ii）聚类区域是成对不相交的，（iii）每个顶点$v \in V$用最多$p$不同的点来标识，称为\emph{ports}，在其集群区域的边界上;（iv）每个集群间边缘$(u,v) \in E$用将$u$的端口连接到$v$的端口的约旦弧来标识;（v）集群间边缘除了在它们的端点处之外不与集群区域交叉或相交。我们首先用$p<k$严格约束了$(k,p)$ -平面图的边数。证明了$(4,1)$ -平面性检验和$(2,2)$ -平面性检验是NP完全问题。最后，我们证明了$(2,2)$ -平面图类和$1$ -平面图类都不包含另一个，表明$(k,p)$ -平面图是一个大而新的类。
2018-09-21 cs.CC cs.DS
Fully-dynamic Planarity Testing in Polylogarithmic Time
给定一个动态图的插入和删除的边缘，一个自然的问题是，图目前是否承认一个平面嵌入。我们给出了一个确定性的全动态算法一般的图形，运行在摊销$O(\log^3 n)$时间每边插入或删除，保持一个位，指示图形是否目前是平面的。这是对以前的最佳算法[Eppstein，Galil，Italiano，Spencer，1996]的指数改进，以前的最佳算法每次更新花费摊销的$O(\sqrt{n})$时间。
2019-12-10 cs.DS
An SPQR-Tree-Like Embedding Representation for Upward Planarity
SPQR-树是一种数据结构，它压缩表示一个双连通平面图的所有平面嵌入。它在约束平面度测试中起着关键作用。我们开发了一个类似的数据结构，称为UP-树，companion表示所有向上平面嵌入的双连通单源有向图。我们通过解决双连通单源有向图的向上平面嵌入扩展问题来证明UP树的有用性。
2019-08-01 cs.DS
An SPQR-Tree-Like Embedding Representation for Level Planarity
SPQR树是一种有效地表示双连通平面图的所有平面嵌入的数据结构。它是一个关键工具，在一些约束平面性测试算法，寻求平面嵌入的图受到一些给定的一组约束。我们开发了一个类似SPQR树的数据结构，它表示具有单个源的双连通水平图的所有水平平面嵌入，称为LP树，并给出了一个简单的算法来在线性时间内计算它。此外，我们表明，LP-树可以用来适应三个约束平面算法的水平平面的情况下，使用它们作为一个下降的替代SPQR树。
2020-09-25 cs.DS
C-Planarity Testing of Embedded Clustered Graphs with Bounded Dual Carving-Width
对于一个聚类图，即一个图的顶点集被递归地划分成簇，C-平面性测试问题问是否有可能找到一个平面嵌入的图和表示的每个簇作为一个区域同胚到一个封闭的磁盘，使1。由每个簇诱导的子图被绘制在相应盘的内部，2.每个边缘与任何盘相交最多一次，以及3.簇之间的嵌套由表示来反映，即，子集群被正确地包含在它们的父集群中。该问题的计算复杂性自1995年引入以来一直是图形可视化理论的核心[Qing-Wen Feng，Robert F.科恩和彼得·伊德斯。聚类图的平面性。ESA '95]，最近才解决[Radoslav Fulek和Csaba D.托特原子嵌入性、嵌入平面性和增厚性。出现在SODA '20]。在这一突破之前，即使图具有指定的平面嵌入，即嵌入聚类图，复杂性问题仍然没有得到解决。我们表明，C-平面性测试问题承认一个单指数单参数FPT算法嵌入聚类图，当参数化的雕刻宽度的对偶图的输入。这是第一个FPT算法，这个长期存在的开放问题，相对于一个显着的图形宽度参数。此外，在一般情况下，我们的FPT算法的多项式依赖小于Fulek和Tóth的算法。为了进一步加强这一结果的相关性，我们表明，C-平面性测试问题保留其计算复杂性时，由其他几个图形宽度参数，这可能会导致更快的算法参数化。
2019-10-04 cs.CG cs.DS
Hierarchical Partial Planarity
在本文中，我们认为图形的边缘与程度的{ \em重要性}，这可能取决于它们所代表的连接类型或最近出现在场景中，在流设置。我们的目标是构造这些图的布局，其中边的可读性与其重要性成正比，也就是说，更重要的边具有更少的交叉。我们正式这个问题，并研究的情况下，存在三个不同程度的重要性。当两个最重要的边集所诱导的图是双连通图时，我们给出了一个多项式时间的测试算法。我们还讨论了有趣的关系与其他约束平面性问题。
2017-07-21 cs.DS
Subexponential-Time and FPT Algorithms for Embedded Flat Clustered Planarity
C平面性问题要求绘制$\textit{clustered graph}$，即，一种图，其顶点属于适当嵌套的簇，其中每个簇由一个简单的封闭区域表示，没有边-边交叉，没有区域-区域交叉，也没有不必要的边-区域交叉。我们研究了$\textit{embedded flat clustered graphs}$的C-平面性，图具有固定的组合嵌入，其簇划分顶点集。我们的主要结果是一个次指数时间算法来测试这些图的C-平面性时，他们的脸大小是有界的。此外，我们考虑的$\textit{embedded tree decomposition}$的概念的变化，其中，对于每个面，包括外面，有一个袋子，包含每个顶点的脸。我们发现，C-平面性是固定参数听话的嵌入宽度的基础图和不连通的集群的数量作为参数。
2018-03-14 cs.CG cs.DS
Planarity of Streamed Graphs
在本文中，我们介绍了一个概念的平面图，在流的方式。$\textit{streamed graph}$是顶点集$V$上的边流$e_1,e_2,...,e_m$。如果存在图$G_i=(V,\{e_j \mid i\leq j < i+ω\})$的平面拓扑图$Γ_i$的序列，使得对于$1\leq i < m-ω$，公共图$G^{i}_\cap=G_i\cap G_{i+1}$在$Γ_i$中和在$Γ_{i+1}$中被相同地绘制，则流图是关于正整数窗口大小$ω$的$ω$ - $\textit{stream planar}$。具有窗口大小$ω$的$\textit{Stream Planarity}$问题询问给定的流图是否是$ω$流平面的。我们还考虑了一个泛化，其中有一个额外的$\textit{backbone graph}$，其边缘必须存在于每个时间步长。这些问题都涉及到几个良好的研究平面性问题。我们表明，$\textit{Stream Planarity}$问题是NP完全的，即使当窗口大小是一个常数，并与骨干图的变体是NP完全的所有$ω\ge 2$。在积极的一面，我们提供$O(n+ωm)$ -时间算法的情况下$ω= 1$和（ii）所有值的$ω$提供的骨干图由一个$2$连接的组件加上孤立的顶点和没有流边连接两个孤立的顶点。我们的结果改进了Hanani-Tutte风格的$O((nm)^3)$ -…
2015-01-28 cs.DS
Rectilinear Planarity of Partial 2-Trees
本文提出O(n^2)时间算法测试部分2-树的直线平面性，改进现有O(n^3 log n)界限，并在特定条件下达到最优O(n)时间，基于对正交螺旋性的深入研究。
2023-06-22 cs.DS
Compact Distributed Certification of Planar Graphs
Naor、Parter和Yogev（SODA 2020）最近证明了平面性的\emph{distributed interactive proof}的存在（即，用于证明网络是平面的），使用用于基于顺序IP协议构造分布式IP协议的复杂通用技术。平面性的交互式证明是基于对任何给定的用于平面性测试的顺序线性时间算法的正确执行的分布式认证。它涉及证明者和随机分布式验证者之间的三个交互（即，它是\dMAM协议），并且在$n$节点网络中的$O(\log n)$比特上使用小证书。我们表明，一个单一的互动证明是足够的，和随机化是不必要的，通过提供一个明确的描述\emph{proof-labeling scheme}的平面性，仍然使用证书上只是$O(\log n)$位。我们还表明，有没有证明标签计划-事实上，甚至没有\emph{locally checkable proofs} -平面性使用证书的$o(\log n)$位。
2020-05-12 cs.DC cs.DS
Dynamic Planar Embedding is in DynFO
本文证明动态平面嵌入属于 DynFO：通过仅维护三连通分量嵌入及分离对二染色，支持边插入、删除并拒绝破坏平面性的插入。
2023-07-17 cs.CC cs.DS cs.LO
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
Structural Parameterizations of $k$-Planarity
Hokkaido University（北海道大学）；Nagoya University（名古屋大学）
本研究将1-平面性的结构参数化复杂度研究拓展至k≥1的一般情形，给出紧的参数化上下界，证明常数树宽图子类上1-平面性测试仍为NP完全、局部交叉数近似难度更高。
2025-08-27 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
Implementing a Partitioned 2-page Book Embedding Testing Algorithm
在书嵌入中，图的顶点被放置在“书”的“书脊”上，边被分配给“页”，以便同一页上的边不交叉。在分块两页书嵌入问题中，将边划分为两个集合E_1和E_2，两页书，E_1的边指定为第1页，E_2的边指定为第2页。这个问题包括检查是否存在沿书脊的顶点排序，以便每个页面的边缘不交叉。Hong和Nagamochi给出了一个有趣而复杂的线性时间算法来处理基于SPQR树的分块2页图书嵌入。我们展示了该算法的有效实现，并通过大量的实验测试表明其有效性。由于分区的2页书嵌入和集群平面性之间的关系，我们产生了一个副作用，实现了一个集群平面性测试，其中图正好有两个集群。
2012-09-04 cs.DS
Weakly Leveled Planarity with Bounded Span
本文研究有界跨度的弱分层平面图绘制问题，证明其关于跨度参数 para-NP 难，并给出关于顶点覆盖数和树深的参数化复杂性结果，同时证明循环树等图类具有对数级或常数级跨度上界。
2024-12-29 cs.CG cs.DS
Dynamic Embeddings of Dynamic Single-Source Upward Planar Graphs
一个有向图$G$是上平面的，如果它允许一个平面嵌入使得每条边都是$y$-单调的.与平面性测试不同，向上平面性测试是NP难的，除非在限制情况下，例如当图具有单源属性（即每个连通分量只有一个源）时。在本文中，我们提出了一个动态的算法，以保持一个组合嵌入$\mathcal{E}(G)$的单源向上平面图的边缘删除，边缘收缩，边缘插入向上通过一个面，和单源保持顶点分裂通过指定的角。此外，我们支持子图翻转形式的嵌入$\mathcal{E}(G)$的变化，子图翻转镜像或滑动通过最多两个顶点连接到图的其余部分的子图的位置。只要图形保持向上平面，就支持所有更新操作，只要图形保持单源，就支持所有查询。违反向上平面性的更新被我们的更新算法识别并拒绝。我们动态地维护一个线性大小的数据结构$G$，它支持一个顶点和一个面之间的关联查询，和向上链接的顶点对。如果一对顶点不是向上翻转的，我们方便一个翻转的查询，指向一个子图翻转，使他们的翻转，如果任何这样的翻转存在。我们支持所有的更新和查询在$O(\log^2 n)$的时间。
2022-09-28 cs.CG cs.DS
A Quasi-Polynomial Time Partition Oracle for Graphs with an Excluded Minor
受测试平面性和相关属性问题的启发，我们研究了设计高效的{ \em划分预言机}的问题。{ \em分区oracle}是一个过程，在给定对有界度图$G= (V,E)$的关联列表表示和参数$\eps$的访问时，当在顶点$v\in V$上查询时，返回$v$在所有图顶点的分区中所属的部分（顶点子集）。划分应该是这样的，所有部分都很小，每个部分都是连通的，如果图具有某些属性，则部分之间的边的总数至多为$\eps |V|$。本文在$1/\eps$中给出了查询复杂度为拟多项式的排除子图的划分预言机，从而改进了Hassidim等人（{ \em Proceedings of FOCS 2009}）在$1/\eps$中给出的查询复杂度为指数的划分预言机的结果.这一改进意味着相应的改进的复杂性测试的平面性和其他属性，其特征在于被排除的未成年人，以及次线性时间近似算法，工作的承诺下，该图有一个被排除的未成年人。
2013-02-14 cs.DS
Simple Recognition of Halin Graphs and Their Generalizations
我们描述并实现了两个局部约简规则，可用于识别线性时间的Halin图，避免了以前的线性时间Halin图识别算法的复杂的平面性测试步骤。同样的两个规则可以用作线性时间算法的基础，用于解决Halin图上的其他算法问题，包括将这些图分解为树和圈，找到Hamilton圈或构造平面嵌入。这些约简规则也可以用于识别更广泛的多面体图。这些图，我们称之为D3-可约图，是通过在它们的三角面上将金字塔粘合在一起而形成的多面体的对偶图;它们的树宽是有界的，并且它们必然具有Lombardi图。
2016-05-30 cs.DM cs.DS
Multiscale Planar Graph Generation
对物理、生物和社会现象的网络表征的研究可以帮助我们更好地理解其网络的结构和功能动态，并制定这些现象的预测模型。然而，由于诸如收集网络数据所需的成本和努力以及这些数据对盗窃和滥用的敏感性等因素导致的真实世界网络数据的稀缺性，工程师和研究人员经常依赖于合成数据进行仿真、假设检验、决策制定和算法工程。基础设施网络的一个重要特征是它们可以嵌入到平面中，因此为了模拟这些系统，我们需要也是平面的真实网络。虽然目前可用的合成网络生成器可以对表现出真实性的网络进行建模，但它们不能保证或实现平面性。因此，在本文中，我们提出了一个灵活的算法，可以合成现实的网络是平面的。该方法遵循多尺度随机编辑方法，生成给定平面图的粗化网络的层次结构，并在层次结构中的各个级别引入编辑。该方法保留了最小的偏差，包括网络的平面性的结构特性，同时在多个尺度上引入现实的变化。
2019-05-12 cs.DS cs.SI
Mondshein Sequences (a.k.a. (2,1)-Orders)
规范排序[STOC'88，FOCS'92]已被用来作为一个关键的工具，在图形绘制，图形编码和可见性表示在过去的几十年。我们研究了Lee Mondshein在麻省理工学院的博士论文中发表的对非平面图的正则序的一个意义深远的推广。早在1971年Mondshein提出将图的顶点按顺序排序，使得对于任意i，从1到i的顶点本质上诱导2-连通图，而从i+1到n的其余顶点诱导连通图。蒙德辛序列推广了规范排序，后来被独立命名为非分离耳分解。令人惊讶的是，规范排序和非分离耳分解之间的这种基本联系以前还没有建立。目前，已知的最快的算法计算一个Mondshein序列实现了运行时间为O（nm），主要的开放问题在Mondshein的和后续工作是提高这一运行时间的次二次时间。在将Mondshein的工作置于上下文中之后，我们提出了一种在最佳时间和空间O（m）中计算Mondshein序列的算法。这将以前的最佳运行时间提高了n倍。我们说明了这一结果的影响，推导线性时间算法的其他五个问题，其中四个以前的最佳运行时间已二次。特别地，我们展示了如何-在时间O（m）内计算3-连通图的三个独立生成树，-对于报告任何给定顶点对之间的3个内部不相交路径的数据结构，将预处理时间从O（n^2）提高到O（m），-一旦计算了Mondshein序列，就导出一个非常简单的O（n）时间平面性测试，- 计算时间为O（m）的3-连通图的可收缩子…
2016-08-19 cs.DM cs.DS math.CO
Computing NodeTrix Representations of Clustered Graphs
NodeTrix表示是可视化聚类图的一种流行方式;它们将聚类表示为邻接矩阵，将聚类间边缘表示为连接矩阵边界的曲线。我们研究了构建NodeTrix表示的复杂性，重点是平面性测试问题，我们展示了几个NP完全性结果和一些多项式时间算法。建立在这样的算法，我们开发了一个JavaScript库NodeTrix表示，旨在减少事件到同一矩阵的边缘之间的交叉。
2016-09-09 cs.CG cs.DS
Identifying Cluttering Edges in Near-Planar Graphs
本文提出一种启发式方法，通过识别近平面图中的杂乱边并调整其权重，显著提升弹簧类图绘制算法在增广网格图、增广三角剖分和深度三角剖分上的布局质量。
2023-04-17 cs.CG cs.DS
An Efficient Algorithm to Test Potentially Bipartiteness of Graphical Degree Sequences
作为对Rao问题的部分回答，给出了一个确定性和可定制的有效算法来检验任意图度序列是否有二部实现。该算法可以配置为在多项式时间内运行，代价是可能在某些“是”实例上产生错误输出，但具有非常低的差错率。
2019-08-19 cs.DS math.CO
An efficient algorithm to test forcibly-connectedness of graphical degree sequences
给出了一个判定图的度序列是否强连通的算法，并证明了算法的正确性。我们还概述了算法的扩展，以测试是否一个给定的图形度序列是强制$k$连接或不为每个固定的$k\ge 2$。我们通过实验评估表明，该算法是有效的平均，虽然它的最坏情况下的运行时间可能是指数。将我们的测试算法与Ruskey等人的经典算法相结合，我们还采用Ruskey等人的经典算法来枚举长度为$n$的无零图度序列和Barnes和Savage的经典算法来枚举偶数$n$的图划分，得到了关于给定长度为$n$的强连通图度序列和给定偶数$n$的强连通图划分的一些计数结果.在此基础上，我们得到了如下结果：当$n$较大时，（1）长度为$n$的几乎所有无零图度序列都是强制连通的;（2）偶数$n$的几乎所有图划分都是强制连通的.
2018-03-02 cs.DS math.CO
Testing of sequences by simulation
设$ξ$是一个随机整数向量，具有均匀分布\[\mathbf{P} \{ξ= (i_1,i_2,...,i_n) = 1/n^n \} \ \hbox{for} \ 1 \leq i_1,i_2,...,i_n\leq n.\]。如果$ξ$的实现$(i_1,i_2,...,i_n)$的元素不同，则称之为\textit{good}。我们提出的算法\textsc{Linear}，\textsc{Backward}，\textsc{Forward}，\textsc{Tree}，\textsc{Garbage}，\textsc{Bucket}决定是否一个给定的实现是好的。我们分析了这些算法的比较次数和运行时间，使用模拟收集$n$的小值的所有可能的输入数据，并生成$n$的大值的随机输入。
2010-11-30 cs.DS
Beyond BFS: A Comparative Study of Rooted Spanning Tree Algorithms on GPUs
Indian Institute of Technology Tirupati（印度理工学院提鲁帕蒂分校）
本文研究了GPU上根spanning树算法的比较，提出基于连接性框架的RST构建方法，在高直径图上实现300倍加速，推动GPU图分析方法的革新。
2026-03-12 cs.DC cs.DS
