首页/论文/1608.07255

arXiv 1608.072552016-08math.COcs.DM

向上平面性的组合刻画

Combinatorial characterization of upward planarity

Xuexing Lu, Yu Ye

备注：: 15 pages. To appear in Communications in Mathematics and Statistics
DOI：: 10.1007/s40304-018-0169-2

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

利用向上平面序给出了向上可平面图的一个组合刻画，向上平面序是边偏序集的一种特殊线性扩张。

英文摘要：

We give a combinatorial characterization of upward planar graphs in terms of upward planar orders, which are special linear extensions of edge posets.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

关于上平面性拓扑性质的注记

Remark on topological nature of upward planarity

图论中向上平面图的概念和范畴论中渐进平面图（或平面弦图）的概念本质上是同一个东西。本文结合图论和范畴论的思想，解释了向上平面性为什么以及在什么意义上是一个拓扑性质。主要结果是：无圈有向图的两个向上平面图是等价的（通过变形连接）当且仅当它们通过保持$G$的方向和极化的平面合痕连接.这一结果肯定地回答了Selinger的解，其策略与Delpeuch和Vicary最近给出的解不同.

2020-10-22math.COmath.CT

广义平面性作为组合嵌入问题的新视角

A New Perspective on Clustered Planarity as a Combinatorial Embedding Problem

聚类平面性问题（c-planarity）询问层次聚类图是否允许平面绘图，使得聚类可以很好地由区域表示。我们引入了cd树数据结构，并给出了c平面性的一个新的刻画。它导致在以下情况下的c-平面性测试的有效算法。(i)每个簇和每个协簇（簇的补簇）最多有两个连通的分量。(ii)每个簇最多有五条向外的边。此外，cd树揭示了c-平面性和平面性之间的有趣联系，并限制了顶点周围边的顺序。一方面，这引起了一堆新的开放问题的c-平面性，另一方面，它提供了一个新的角度对以前的结果。

2015-06-18cs.DMcs.DSmath.CO

超平面图不同拓扑表示的有效生成

Efficient Generation of Different Topological Representations of Graphs Beyond-Planarity

超越平面性专注于非平面图类的组合性质，这些非平面图允许在其边交叉上满足某些局部几何或拓扑约束的表示。除了研究特定图类的最大边密度外，文献中经常考虑的另一个参数是属于它的最大完全或完全二部图的大小。克服标准组合参数的限制，我们提出了一种技术，系统地生成完全和完全二部图的所有非同构拓扑表示，考虑到特定类别的约束。作为概念证明，我们将我们的技术应用于各种超平面类，并实现了上述参数的新的紧界。

2019-08-26cs.DMcs.DSmath.CO

消失平面：函数平面性的组合观点及其应用

Vanishing Flats: A Combinatorial Viewpoint on the Planarity of Functions and Their Application

对于从$\mathbb{F}_2^n$到$\mathbb{F}_2^n$的函数$f$，$f$的平面性通常通过其微分均匀性和微分谱来测量。本文提出了消失面的概念，为平面性问题提供了一种组合的观点。首先，$f$的消失平面的数目可以被视为$f$与几乎完美非线性函数集合之间的距离的度量。在某些情况下，消失平面的数量充当微分均匀性和微分光谱之间的“中间”概念，其包含比微分均匀性更多的信息，但是比微分光谱更少。第二，消失平面的集合形成称为部分四元组系统的组合配置，因为它传达了关于$f$的详细结构信息。我们开始这项研究，考虑消失的单位和部分四元系统与单项式和Dembowski-Ostrom多项式的数量。此外，我们提出了一个应用程序的消失单位分割成不相交的等维仿射空间的向量空间。最后，我们提出了一些进一步的问题和挑战。

2020-06-02cs.ITmath.COmath.IT

终端平面网络的特征化：通过禁止结构

A characterization of terminal planar networks by forbidden structures

Waseda University（早稻田大学）；University of East Anglia（东英吉利大学）

本文通过有限禁止结构特征化终端平面网络，并提出线性时间算法用于检测终端平面性及计算平面绘制，同时探讨其在非系统发育场景中的应用及与单源向上平面网络禁止结构问题的关联。

2026-03-17math.CO

图的平面性判据

A Planarity Criterion for Graphs

证明了一个连通图是平面图当且仅当它的所有至少有四条边的上圈都是图中的“接地”图。这个平面性标准的基础概念，这是纯粹的组合，源于直觉的想法，即平面性应该有一个线性排序的边的上循环，使在两个子图中剩余的删除这些边缘后，不能有交叉的不相交的路径，这些边缘的顶点连接。文中给出的等价性的右向左方向的证明是基于涉及K_{3,3}和K_5的Kuratowski平面性定理，但该判据本身没有提到K_{3,3}和K_5。该准则的其他一些变体也证明了平面性的必要性和充分性。

2014-10-21math.CO

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

向上平面序的组合理论

A composition theory for upward planar orders

受幺半范畴图形演算理论启发，本文建立向上平面序的组合理论，证明向上平面序的组合仍是向上平面序，为计算相关图的向上平面序提供实用方法。

2025-05-21cs.DMmath.COmath.CT

论同伦类型论中图的平面性

On Planarity of Graphs in Homotopy Type Theory

本文在同伦类型论中构造性地发展图论，利用映射、外部面和游走同伦给出有限连通多重图平面性的初等刻画，并在Agda中形式化验证。

2021-12-13cs.LOmath.CO

数字凸性与词上的组合学

Digital Convexity and Combinatorics on Words

本文从组合学角度研究数字凸词，形式化其几何性质，揭示其与 Christoffel 词及有限 Sturmian 词的联系，并分析膨胀与收缩运算。

2025-03-10cs.DMcs.FLmath.CO

Heawood图的单位距离嵌入

Toward a Unit Distance Embedding for the Heawood graph

图的单位距离可嵌入性，如平面性，涉及组合和几何约束的混合。我们构造了一个单位距离嵌入$H-e$，希望它将导致嵌入$H$。然后，我们调查分析方法的一般决策程序测试单位距离嵌入。

2007-11-07math.CO

连接图

Graphs for Juncture

通过对图的研究，探索了2-范畴的另一种基础--理论上对2-胞元的部分运算--连接点，它可以代替垂直和水平合成。连接是2-细胞的广义垂直组合，它不需要涉及整个靶和整个源;它可能只涉及它们的一部分，只要结果仍然是2-细胞。由于普通范畴的箭头交换图可以看作是可逆的2-胞体，因此本研究也涉及普通范畴论。合取运算与证明论有关，它对应于一种关于序列的截规则，它也与运算数概念所依据的运算有关。工作的主要成果是详细描述了具体的平面性涉及的交界处和图的2细胞，比较通常的组合刻画的平面性在图论。这项工作指出了双范畴的另一个基础，即弱2-范畴和更一般的弱n-范畴。

2015-05-06math.COmath.CT

平面有根系统发生网络

Planar Rooted Phylogenetic Networks

有根系统发生网络是一个有向无环图，只有一个根，其汇对应于一组物种。由于这种网络对于表示经历了网状进化的物种的进化是有用的，因此人们对开发构建它们的理论和算法产生了极大的兴趣。然而，与进化树不同，这些网络可能是高度非平面的，这使得它们难以可视化和解释。在这里，我们研究平面有根系统发育网络的属性和算法，以决定是否有根网络具有某些特殊的平面性属性。特别是，我们介绍了三个自然子类的平面有根系统发育网络，并表明它们形成了一个层次结构。此外，对于著名的level-k网络，我们表明，level-1，-2，-3网络总是外，终端，向上平面，分别，和level-4网络不一定是平面的。最后，我们证明了一个正规网络是终端平面的当且仅当它是金字塔的。我们的研究结果利用高度发达的领域的平面有向图，我们相信，系统发育网络和平面图之间的联系应该证明是有用的，在未来开发新的方法来构建和可视化系统发育网络。

2022-06-27math.COq-bio.PE

平面有向无环图的框架三角化与框架格点

Framing Triangulations and Framing Posets of Planar DAGs with Nontrivial Netflow Vectors

University of Kentucky（肯塔基大学）

研究平面DAG的流量多面体在特定平面条件下，通过框架数据构建单模三角化，并定义其最大单纯形的格点结构，扩展了Tamari格与弱序的理论。

2026-04-28math.CO

有限离散结构的算法方法。四色定理。理论、方法、算法

Algorithmic methods of finite discrete structures. The Four Color Theorem. Theory, methods, algorithms

本文基于将极大平面图归约为正则平面三次图，并利用Tate-Volynsky定理和四阶Klein群变换律，提出平面图四着色算法。

2024-04-26cs.DMmath.COmath.HO

h-框架图的图积结构

Graph Product Structure for h-Framed Graphs

图积结构理论将某些图表示为简单得多的图的强积的子图。特别地，对应的结构定理的优雅公式涉及路径和有界树宽图的强乘积，并且允许将有界树宽图的组合结果提升到乘积结构保持的图类，诸如平面图[Dujmović等人，J. ACM，67（4），22：1-38，2020]。在本文中，我们加入搜索这个强大的工具超越平面性考虑h-框架图，一个图形类，包括1-平面，最佳2-平面，和k-映射图（为适当的值h）的扩展。本文建立了h-框架图的图积结构定理，指出这类图是路的强积、树宽至多为3的平面图的强积和大小为$3\lfloor h/2 \rfloor +\lfloor h/3 \rfloor -1$的团的子图.这使我们能够改进以前的结构定理1-平面和k-映射图。我们的结果构成了显着的进步，在以前的界限上的队列数，非重复色数，和p-中心色数的这些图类，例如，我们将1-平面图和k-映射图的队列数的当前最佳上限分别从495降低到81和从32225 k（k-3）降低到61 k。我们还利用乘积结构机将平面图和1-平面图的孪生宽度的上界分别从183和O（1）提高到37和80。我们所有的结构结果是建设性的，并产生有效的算法，以获得相应的分解。

2022-04-25cs.DMcs.DSmath.CO