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}$,进一步证明了该猜想的正确性.
2016-02-03 cs.DM math.CO q-bio.PE
On the Extremal Maximum Agreement Subtree Problem
给定具有$\{1, \ldots, n\}$叶集的两个系统发育树,最大一致子树问题询问子集$A \subseteq \{1, \ldots, n\}$的最大大小是多少,使得当限制为$A$时两个树是等价的。这个问题长期存在的极端版本集中在最小的叶子数,$\mathrm{mast}(n)$,在这一点上,任何两个(二元和无根)具有$n$叶子的系统发育树必须一致。在这项工作中,我们证明了这个数字的增长渐近$Θ(\log n)$,从而关闭持久之间的差距$\mathrm{mast}(n)$上的渐近下限。
2018-12-17 cs.DM math.CO
Structure and Recognition of 3,4-leaf Powers of Galled Phylogenetic Networks in Polynomial Time
一个图是树$T$的一个$k$ -叶幂,如果它的顶点是$T$的叶子,并且两个顶点在$T$中相邻当且仅当它们在$T$中的距离至多为$k$ .则$T$是$G$的$k$ -叶根。这个概念是由Nishimura,Ragde和Thilikos [2002]引入的,其动机是寻找潜在的系统发育树。我们在这里研究的$k$叶功率图识别问题的扩展。这种扩展的动机是一个新的生物学问题的评价人口的病毒的latteral基因转移。我们允许宿主图与树略有不同,并允许一些循环。事实上,我们研究系统发育galled网络中的循环是成对的顶点不相交。我们展示了一些结构的结果,并提出了多项式算法的情况下$k=3$和$k=4$。因此,也可以在多项式时间内识别磨损网络的平方。
2011-07-23 cs.DM q-bio.QM
How many cherry-picking sequences are needed to reduce all subtrees of a phylogenetic tree?
Delft Institute of Applied Mathematics, TU Delft(代尔夫特应用数学研究所,代尔夫特理工大学);Department of Applied Mathematics, Faculty of Science and Engineering, Waseda University(早稻田大学理工学术院应用数学系)
本文研究果园系统发育网络的覆盖数问题,通过引入子集连通性等概念,明确不同类型树的覆盖数计算方法,证明长度为组合数的单个序列可约化树的所有子树。
2026-08-21 cs.DM math.CO
Labeling and folding multi-labeled trees
本文推广Erdős和Székely的标记算法至多标记树,利用多重集排序刻画其划分,并证明可标记系统发育网络等价于折叠过程稳定的网络,且给出相应双射。
2025-10-27 cs.DM math.CO
Weighted Food Webs Make Computing Phylogenetic Diversity So Much Harder
本研究推广了在加权食物网约束下最大化系统发育多样性的问题,证明即使星形结构也NP难,并提出参数化算法,在顶点覆盖数参数下可固定参数处理。
2025-10-07 cs.DM q-bio.PE
Geometric comparison of phylogenetic trees with different leaf sets
由Billera,Holmes和Vogtmann定义的系统发育树的度量空间,我们称之为BHV空间,提供了一个自然的几何设置来描述同一组分类群上的树的集合。然而,有时有必要分析不相同分类群上的树木集合(即,具有不同数量的叶),并且在此上下文中,如何应用BHV空间并不明显。Davidson等人最近通过描述将树拓扑扩展到高维树空间中的区域的组合算法来处理这个问题,以便可以快速计算哪些拓扑包含作为部分数据的给定树。在本文中,我们改进和适应他们的算法工作的度量树给一个完整的表征子树的扩展的子空间。我们描述了如何应用我们的算法来定义和搜索一个空间的可能的超树,并为一个集合的树片段与不同的叶集,以衡量他们的兼容性。
2018-07-11 cs.DM math.CO q-bio.PE
A new balance index for phylogenetic trees
到目前为止,文献中已经提出了几个衡量有根系统发育树平衡程度的指标。在这项工作中,我们定义并研究了一个新的指数,这种类型,我们称之为总同胚指数:总和,在所有对不同的叶子,他们的最小共同祖先的深度。这个索引对任意树都有意义,可以在线性时间内计算,并且它具有比Colless或Sackin等其他索引更大的值范围和更大的分辨率。我们计算它的最大值和最小值的任意和二元树,以及精确的公式,其期望值的二元树下的圣诞节和统一的进化模型。作为这项研究的副产品,我们得到了一个精确的公式的期望值的萨金指数下的统一模型,一个结果,似乎是新的文献。
2012-02-06 cs.DM q-bio.PE q-bio.QM
When Many Trees Go to War: On Sets of Phylogenetic Trees With Almost No Common Structure
LaBRI, Université Bordeaux(拉布里实验室,波尔多大学);LIGM, Université Gustave Eiffel(信息与计算机科学实验室,古斯塔夫·埃菲尔大学);Centre National de Recherche Scientifique(法国国家科学研究中心);Faculty of Computer Science, Dalhousie University(达尔豪斯大学计算机学院)
本文研究了多个树集显示所需的回路数,证明了在特定条件下,几乎无共同结构的树集需要线性或更高数量级的回路。
2026-03-09 cs.DM math.CO q-bio.QM
Combining Orthology and Xenology Data in a Common Phylogenetic Tree
具有顶点标签$t(v)$和集值边标签$λ(e)$的根树$T$通过在$x$和$y$的最后共同祖先$\text{lca}(x,y)$被标记为$q$的情况下设置$δ(x,y)=q$以及在$m\inλ(e)$的情况下设置$m\in \varepsilon(x,y)$来定义$T$的成对叶上的映射$δ$和$\varepsilon$,其中$e$沿着从$\text{lca}(x,y)$到$y$的路径用于至少一个边$e$。我们表明,一对地图$(δ,\varepsilon)$来自树$(T,t,λ)$当且仅当存在一个共同的细化(唯一)最低分辨率顶点标记树$(T_δ,t_δ)$解释$δ$和(唯一)最低分辨率边标记树$(T_{\varepsilon},λ_{\varepsilon})$解释$\varepsilon$(假设两棵树都存在)。如果禁止关联顶点和边处的标签的某些组合,则该结果仍然成立。
2021-07-05 cs.DM math.CO q-bio.PE
The expected value of the squared euclidean cophenetic metric under the Yule and the uniform models
$p\in {0}\cup[1,\infty[$的同表型度量$d_{φ,p}$是最近添加到系统发育树比较可用距离的工具包中的。基于Sokal和Rohlf的50年前的思想,这些度量通过利用它们的成对分类单元的同表值和单个分类单元的深度的向量对它们进行编码,然后计算相应向量的差异的$L^p$范数,来比较同一组分类单元上的系统发育树。本文在Yule分布和均匀分布下,计算了具有$n$叶子的完全分辨有根系统发育树树空间上的$d_{φ,2}$的平方期望值.
2013-01-22 cs.DM math.PR q-bio.PE
From Modular Decomposition Trees to Rooted Median Graphs
对称映射$δ\colon X\times X \to Υ$(或者等价地,一组对称二元关系、2-结构或边着色无向图)的模分解是在标记树中捕获$δ$的关键特征的自然构造。如果标记$δ(x,y)$与$T$中的$x$和$y$的最后共同祖先的标记一致,则通过顶点标记的有根树$(T,t)$来解释映射$δ$,即,如果是$δ(x,y)=t(\mathrm{lca}(x,y))$。仅映射其模分解不包含素节点,即,符号超度量可以用这种方式来解释。在这里,我们考虑根中值图作为(模分解)树的推广来解释对称映射。我们首先证明了每一个对称映射都可以用“扩展的”超立方体和半网格来解释。然后,我们推导出一个线性时间算法,逐步解决素顶点的模块化分解树,以获得一个有根和标记的中值图,解释了一个给定的对称地图$δ$。我们认为,由此产生的“树状”的中位数图可能是使用在遗传学作为一个模型的进化关系。
2021-03-11 cs.DM math.CO
Treewidth distance on phylogenetic trees
在这篇文章中,我们研究了\emph{display graph}的树宽,\emph{display graph}是一种辅助图结构,它是从系统发育融合中获得的(即,进化)树在他们的叶子。早期的工作表明,树的显示图的树宽是有界的,如果树在某种形式意义上拓扑相似。在这里,我们进一步扩展这种关系。我们分析了一些减少的规则,这是常用的遗传学文献中获得固定参数易处理的算法。在某些情况下(\emph{subtree}约简),约简规则在树宽方面的行为类似,而其他情况下(\emph{cluster}约简)的行为则非常不同,而\emph{chain reduction}的行为特别有趣,因为它与图分隔符和禁止子式有关。我们还表明,树宽和树二分和重构(TBR)的距离之间的差距可以是无限大的,并且不像,例如,平面图的显示图的树宽可以尽可能多的线性的顶点数。在一个稍微不同的注意,我们表明,如果一个显示图是由一个系统发育网络和一棵树的融合,而不是从两棵树,显示图的树宽是有界的,只要树可以拓扑嵌入(“显示”)在网络内。这为一元二阶逻辑(MSOL)中的显示问题的公式化打开了大门。一些其他的辅助结果。最后,我们进行了讨论,并列出了一些悬而未决的问题。
2017-03-31 cs.DM cs.DS q-bio.PE
Sound Colless-like balance indices for multifurcating trees
Colless指数是分支系统发育树中最常用和最自然的平衡指数之一,但它对多分支树没有意义。在本文中,我们提出了一个家庭的Colless类平衡指数$\mathfrak{C}_{D,f}$,这取决于一个相异度$D$和一个功能$f:\mathbb{N}\to \mathbb{R}_{\geq 0}$,推广的Colless指数多叉系统发育树。我们提供了两个函数$f$,使得根据相应的指数$\mathfrak{C}_{D,f}$的最平衡的系统发育树是完全对称的。接下来,对于这两个函数$f$中的每一个和三个流行的相异点$D$(方差、标准差和与中值的平均差),我们确定具有给定数量$n$的系统发育树上的$\mathfrak{C}_{D,f}$的值的范围。最后,我们通过评估这些指标之一的性能TreeBASE和使用它来表明,在这个数据库中的树似乎不遵循统一的模型multifurcating树或$α$ - $γ$模型,任何值的$α$和$γ$。
2018-05-03 cs.DM math.CO q-bio.PE
Inferring DAGs and Phylogenetic Networks from Least Common Ancestors
Department of Mathematics, Stockholm University(斯德哥尔摩大学数学系);School of Computing Sciences, University of East Anglia(东英吉利大学计算科学学院)
本文扩展了Aho等人的框架,从树到有向无环图(DAG),通过定义LCA约束的+闭包和规范DAG,解决了LCA约束在DAG中的可实现性问题,并进一步应用于系统发育网络。
2026-05-29 cs.DM math.CO
Visualizing Geophylogenies -- Internal and External Labeling with Phylogenetic Tree Constraints
针对地理系统发育树可视化中分类单元与地理位置的对应展示问题,提出内部标记的质量度量及优化算法,证明外部标记交叉数最小化的NP难性并给出无交叉实例的多项式时间解法、FPT算法及整数规划最优解方法,还提供了接近最优的启发式算法。
2025-04-14 cs.CC cs.DM math.CO
Rooted Almost-binary Phylogenetic Networks for which the Maximum Covering Subtree Problem is Solvable in Linear Time
本文研究近二叉系统发育网络,利用规范分解和栅栏连接性质刻画了$δ^\ast(N)=η^\ast(N)$的条件,提出了一类可线性时间求解最大覆盖子树问题的新网络。
2023-05-24 cs.DM math.CO q-bio.PE
A Practical Fixed-Parameter Algorithm for Constructing Tree-Child Networks from Multiple Binary Trees
我们提出了第一个固定参数的算法,用于构建一个树的孩子的系统发育网络,显示任意数量的二进制输入树,并在所有这样的网络中具有最小的网状数量。该算法采用最近引入的樱桃采摘序列框架,在$O((8k)^k \mathrm{poly}(n, t))$时间内运行,其中$n$为每棵树的叶子数,$t$为树的个数,$k$为所构建网络的网状数.此外,我们提供了一个有效的并行实现的算法,并表明它可以处理高达$100$输入树在一个标准的台式计算机,从而提供了一个重大的改进,以前的系统发育网络建设方法。
2019-07-19 cs.DM math.CO q-bio.PE