优美树猜想的边度证明
A complete proof of The Graceful Tree Conjecture using the concept of Edge Degree
摘要：
我们证明了优美树猜想成立。
英文摘要：
We show the Graceful Tree Conjecture holds.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
优美树猜想的计算方法
A Computational Approach to the Graceful Tree Conjecture
优美树猜想是图论中一个著名的公开问题。在这里，我们提出了一个计算方法，这个猜想。提出了一个求树优美标号的算法。利用这个算法，我们证明了每一棵顶点数不超过35的树都允许优美标号，从而证明了优美树猜想对顶点数不超过35的树是正确的。
cs.DMmath.CO
图论中的不恰当优美标号与奇优美标号
Improper Graceful and Odd-graceful Labellings of Graph Theory
本文定义了树的一些新的标号，称之为非正常和非正常奇优美标号，使得某些树用新标号能诱导出至少有一个圈的优美图.其次，我们利用这些新标号构造了具有不适当优美/奇优美标号或具有优美/奇优美标号的大规模图。
cs.DMmath.CO
某些种类的优雅龙虾
On certain classes of graceful lobsters
一个m边图G=（V，E）是优美的，如果它有一个不同的顶点标号f，一个从V到集合{0，1，2，3，.，m}，其引起不同的边缘标记|f（u）-f（v）|对于E中的边uv。著名的Ringel-Kotzig猜想（1964）是所有的树都是优美的。树T的基是从T中删除其1度顶点得到的。毛毛虫是一棵树，它的底部是一条小路，龙虾是一棵树，它的底部是一条毛毛虫。小路和毛毛虫都是优雅的。接着，Bermond（1979）又指出所有的龙虾都是优雅的。本文利用Bloom（1979）等人提出的邻接矩阵刻画，给出了连接优美图和α-标号图的各种方法。我们应用这些结果得到了一些优雅的龙虾类，并指出如何获得其他一些。
cs.DMmath.CO
关于优美博弈
On the Graceful Game
图$G$的优美标号是用从$0$到$m$的不同整数标号$G$的顶点，使得当每条边被指定为其端点标号的绝对差的诱导标号时，所有诱导边标号是不同的.罗莎建立了两个著名的模型：所有的树都是优美的（1966）和所有的三角形仙人掌都是优美的（1988）。为了有助于这两个programmures，我们研究优美标号的背景下，图游戏。优雅游戏由Tuza于2017年推出，是一个连通图上的双人游戏，其中玩家Alice和Bob轮流用从0到$m$的不同整数标记顶点。爱丽丝的目标是优雅地标记图，而鲍勃的目标是防止它发生。本文研究了Alice和Bob在完全图、路径、圈、完全二部图、毛毛虫、棱柱、轮、舵、网、齿轮图、超立方体和路径的幂中的获胜策略。
cs.DMmath.CO
同构于树的立方体的图的重构猜想
Reconstruction Conjecture for Graphs Isomorphic to Cube of a Tree
证明了与树的立方体同构的图的重构猜想。证明利用了树从其周边顶点删除子图的可重构性。主要结果如下：（i）树的立方体的特征（ii）树的立方体的可识别性（iii）树作为图G的立方根的唯一性，除非G是完全图（iv）树的可重构性从它们的外围顶点删除子图。
cs.DM
关于具有最小原子键连接指数IV的树的结构性质：解决关于长度为3的悬挂路的一个猜想
On structural properties of trees with minimal atom-bond connectivity index IV: Solving a conjecture about the pendent paths of length three
原子-键连接性（ABC）指数是研究最多的基于度的分子结构描述符之一，具有多种化学应用。已知在所有连通图中，树最小化ABC指数。然而，一个完整的表征树与最小的ABC指数仍然是一个悬而未决的问题。到目前为止，已证明的性质之一是，具有最小ABC指数的树可能最多有一条长度为$3$的悬垂路径，并推测如果树的阶大于$1178$，则不可能是这种情况。在这里，我们提供了一个肯定的答案，加强版本的猜想，表明一棵树与最小的ABC指数不能包含一个悬垂路径长度$3$，如果它的顺序是大于$415$。
cs.DM
更多相关论文收起更多论文
关于部分3-树的Woodall猜想对偶版本
Towards a Dual Version of Woodall's Conjecture for Partial 3-Trees
本文验证了平面有向图中Woodall猜想对偶版本对3-树及围长3的部分3-树成立，并给出3-树反馈弧集的紧上界及k-树的上界。
cs.DMmath.CO
关于串平行图和平面3-树的Gallai猜想
On Gallai's conjecture for series-parallel graphs and planar 3-trees
路径覆盖是将图的边分解为边不相交的简单路径。Gallai证明了每个连通的$n$ -顶点图都有一个至多包含$\lceil n/2 \rceil$路的路覆盖.证明了Gallai关于串平行图的猜想。对于类的平面3-树，我们展示了如何构建一个路径覆盖最多$\lfloor 5n/8 \rfloor$路径，这是一个改进的最佳先前已知的界$\lfloor 2n/3 \rfloor$。
cs.DMmath.CO
关于树色数和路色数的注记
Notes on Tree- and Path-chromatic Number
树-色数是树宽的一个色版本，其中树分解中袋的成本由其色数而不是其大小来度量。路-色数的定义类似.这些参数由Seymour（JCTB 2016）引入。本文综述了树色数和路色数的所有已知结果，并给出了一些新的结果和定理。特别地，我们提出了树-色数的Hadwiger猜想。为了证明我们的猜想可能比Hadwiger猜想更容易处理，我们给出了一个简短的证明：每个$K_5$ -minor free图最多有树色数$4$，避免了四色定理.我们也给出了计算树和路的色数的一些困难结果和图解.
cs.DMmath.CO
Graham树重构猜想与一个Waring型划分问题
Graham's Tree Reconstruction Conjecture and a Waring-Type Problem on Partitions
假设$G$是一棵树。Graham的“树重构猜想”指出$G$由整数序列$|G|$，$|L(G)|$，$|L(L(G))|$，$|L(L(L(G)))|$，$\ldots$唯一确定，其中$L(H)$表示图$H$的线图。除了一些简单的观察之外，对这个问题知之甚少。我们证明了$n$顶点上的树的数目是$e^{Ω((\log n)^{3/2})}$，这些树可以通过它们的相关整数序列来区分。证明策略包括使用Prouhet-Tarry-Escott问题产生的分区构建大量的毛毛虫图。
cs.DMmath.CO
2-树平方的Hadwiger猜想
Hadwiger's Conjecture for squares of 2-Trees
Hadwiger猜想断言任何图都包含一个阶不小于图的色数的团子。我们证明了这个著名的猜想是真实的所有图当且仅当它是真实的分裂图的平方。这一观察意味着Hadwiger的弦图的平方猜想是困难的一般情况下，因为弦图是分裂图的超类。然后我们考虑了2-树，它们是可平面图、2-退化图和弦图的子类。证明了Hadwiger猜想对$2$ -树的平方成立.我们通过证明以下更强的结果来实现这一点：对于任何$2$树$T$，它的平方$T^2$有一个阶为$χ(T^2)$的团子，每个分支集诱导一条路，其中$χ(T^2)$是$T^2$的色数.
cs.DMmath.CO
关于三角剖分和小树宽图的Tuza猜想
On Tuza's conjecture for triangulations and graphs with small treewidth
Tuza（1981）证明了与图$G$的每个三角形相交的最小边集的大小$τ(G)$至多是$G$的最大边不相交三角形集的大小$ν(G)$的两倍。本文给出了关于图扎猜想的三个结果。我们验证它的树宽最$6$的图，我们表明，$τ(G)\leq \frac{3}{2}\,ν(G)$的每个平面三角$G$不同的$K_4$ ;和$τ(G)\leq\frac{9}{5}\,ν(G) + \frac{1}{5}$，如果$G$是树宽为3的最大图。我们的第一个结果加强了Tuza的一个结果，这意味着对每个$G$，$K_8$ -free弦图都有$τ(G) \leq 2\,ν(G)$.
cs.DMmath.CO
迈向 Grünbaum 猜想
Toward Grünbaum's Conjecture
针对 Grünbaum 猜想，本文利用 Schnyder 树的新结构，证明了平面 3-连通图存在生成树及其余树最大度至多为 4，改进了 Biedl 的 5 度界。
cs.DMmath.CO
平面生成树间最短翻转序列的结构特性
Structural Properties of Shortest Flip Sequences Between Plane Spanning Trees
Graz University of Technology（格拉茨工业大学）；TU Braunschweig（布伦瑞克工业大学）；University of Kassel（卡塞尔大学）
研究平面生成树间最短翻转序列的结构特性，探讨喜悦边、停车场边及停车场猜想的成立情况与推翻。
cs.CGcs.DM
左线性树的非消去交集猜想不成立
The Non-Cancelling-Intersections Conjecture Fails for Left-Linear Trees
Technische Universität Ilmenau（伊尔梅瑙工业大学）
Amarilli等人提出的非消去交集（NCI）猜想的两种强化中，仅用左线性树时该猜想不成立，研究通过非构造性论证证明存在规模极大的反例。
cs.DMmath.CO
关于和谐树的一个新的计算结果
New Computational Result on Harmonious Trees
Graham和Sloane在1980年提出了一个猜想，指出每棵树都有一个和谐标号，一个与可加基密切相关的图标号。关于这个猜想的结果非常有限。在本文中，我们提出了一个计算方法，通过检查树的大小有限的猜想。使用混合算法，我们能够证明每棵树最多31个节点是和谐的，在这个方向上扩展了以前的最佳结果。
cs.DMmath.CO
拉普拉斯比的树猜想的反例
Counterexamples to a Conjecture on Laplacian Ratios of Trees
Indian Institute of Technology Indore（印度理工学院印多尔分校）
本文通过构造无限族反例，推翻了关于树的拉普拉斯比最大值的猜想，研究了树的拉普拉斯矩阵永久与顶点度数乘积的比值问题。
cs.DMmath.CO
平面3-连通图中最大度为常数的树和上树
Trees and co-trees with constant maximum degree in planar 3-connected graphs
本文考虑Grünbaum的猜想：每个平面3-连通图都有一棵生成树$T$，使得$T$及其余树的最大度都不超过3.这里，$T$的余树是通过取非树边的顶点而获得的对偶的生成树。虽然Grünbaum的猜想仍然是开放的，我们证明了每个平面3-连通图有一个生成树$T$，使得$T$和它的共树的最大度最多为5。它可以在线性时间中找到。
cs.DMmath.CO
循环博弈中的尼姆堆：奇偶性猜想在树上不成立
Nim heaps in the Game of Cycles: the parity conjecture fails on trees
University of Southern California（南加州大学）
本文研究循环博弈中的尼姆堆，证明树上的奇偶性猜想不成立，最小反例有15个顶点，还分析了蜘蛛树的Grundy值，给出相关公式与算法，提出非负整数是否均为树的Grundy值的问题。
cs.DMmath.CO
$O(k \sqrt{k})$-色有向图中的定向树：Burr 猜想的次二次界
Oriented trees in $O(k \sqrt{k})$-chromatic digraphs, a subquadratic bound for Burr's conjecture
本文证明有向图色数达到$8\sqrt{2/15}\\,k\sqrt{k}+O(k)$即可包含任意$k$阶定向树，首次为Burr猜想建立次二次上界，并改进树形图与分块路径情形。
cs.DMmath.CO
关于网络创生博弈的树猜想
On the Tree Conjecture for the Network Creation Game
Selfish Network Creation专注于从博弈论的角度对现实世界的网络进行建模。Fabrikant等人[PODC'03]的经典模型之一是网络创建游戏，其中代理对应于网络中的节点，这些节点以每条边$α$的价格购买事件边，以最小化它们到所有其他节点的总距离。该模型已得到充分研究，但仍存在一些有趣的开放性问题。最著名的理论指出，对于所有的$α$，无政府代价是常数，对于$α\geq n$，所有的平衡网络都是树。我们介绍了一种新的技术，用于分析高边缘价格$α$的稳定网络，并采用它来改善这两种架构的最佳已知的界限。特别是，我们证明了$α> 4n-13$所有的平衡网络必须是树，这意味着一个恒定的价格为$α$范围内的无政府状态。此外，我们还改进了平衡树无政府无政府代价的常数上界。
cs.DMcs.GTcs.SI
低退化图的公平点荫度猜想成立
Equitable vertex arboricity conjecture holds for graphs with low degeneracy
公平树着色可以将通信网络上的结构分解问题公式化，同时考虑到安全性。图的均匀树- $k$ -着色是指图的顶点使用$k$不同的颜色着色，使得每个颜色类都诱导出一个森林，并且任意两个颜色类的大小相差至多1.本文证明了图的公平树着色的一些理论结果，证明了对于任意整数$k\geq (Δ+1)/2$，最大度至多为$Δ$的$d$ -退化图都是公平树- $k$ -可着色的，只要$Δ\geq 9.818d$满足，从而证实了低退化度图的公平点荫度猜想.
cs.DMmath.CO
关于系统发生树之间的最大四重距离
On the maximum quartet distance between phylogenetic trees
Bandelt和Dress的一个猜想指出，$n$叶上任何两个系统发育树之间的最大四重距离至多为$(\frac 23 +o(1))\binom{n}{4}$。利用旗代数的机器，我们改进了目前已知的关于这个猜想的界限，特别是我们证明了最大值至多为$(0.69 +o(1))\binom{n}{4}$。通过证明毛毛虫树之间的最大距离至多为$(\frac 23 +o(1))\binom{n}{4}$，进一步证明了该猜想的正确性.
cs.DMmath.COq-bio.PE
一种基于AI增强的树单峰猜想研究方法
An AI enhanced approach to the tree unimodality conjecture
本文利用AI架构PatternBoost训练机器寻找树独立集序列对数凹猜想的反例，成功找到大量顶点数27至101的新反例，并讨论了方法的成功与失败。
cs.AIcs.DMcs.LG
