判定摘樱桃序列在两棵树上存在是困难的
种群与进化
2021-04-13 v2 数据结构与算法
摘要
在此我们证明，判定同一分类群集合上的两棵有根二叉系统发育树是否允许摘樱桃序列（一种对分类群的特殊消除顺序）是 NP 完全的。这改进了早先证明八棵或更多棵树时困难性的结果。通过摘樱桃序列与时态系统发育网络之间的已知等价性，我们的结果证明了判定包含两棵树拓扑嵌入的时态系统发育网络是否存在是 NP 完全的。该困难性结果也极大加强了先前关于最小时态杂交数问题不可近似性的结果。这是该问题的优化版本，其中我们希望构造一个时态系统发育网络，其在拓扑上嵌入两棵给定的有根二叉系统发育树，并且具有最小数量的入度-2 节点，这些节点代表诸如杂交和水平基因转移之类的事件。我们以积极的注记结束，指出该领域的固定参数可处理性结果可能确保时态系统发育网络模型的持续相关性。
引用
@article{arxiv.1712.02965,
title = {Deciding the existence of a cherry-picking sequence is hard on two trees},
author = {Janosch Döcker and Leo van Iersel and Steven Kelk and Simone Linz},
journal= {arXiv preprint arXiv:1712.02965},
year = {2021}
}
备注
Fixed some tiny things. Accepted for journal publication