×
伊莉莎·迪恩;利奥·范·埃尔塞尔;雷米·詹森;马克·琼斯;村上幸弘;诺伯特·泽

有界状态简约距离的近线性核。 （英语） Zbl 07783113号

J.计算。系统。科学。 140，文章ID 103477，第21页（2024）.
摘要：最大简约距离\（d_{mathrm{MP}}（T_1，T_2）\）和有界状态最大简约距\（d_{mathrm{MP}{^T（T_1、T_2））根据任意字符的简约分数之间的最大差异（带\（T））来衡量两个系统发育树\（T_1和T_2）之间的差异在\（d_{\mathrm{MP}}^t（t_1，t_2））的情况下，字符中状态数的界。虽然计算\（d_｛\mathrm｛MP｝｝｝（T_1，T_2）\）以前被证明是用线性核可处理的固定参数，但对于\（d_｛\mathrm｛MP｝｝^T（T_1，T_2）\）还没有这样的结果。本文证明了计算（d_{mathrm{MP}}^t（t_1，t_2）对所有（t）都是固定参数可处理的。特别地，我们证明了这个问题的核的大小为（O（k\lgk），其中（k=d_{\mathrm{MP}}^t（t_1，t_2））。作为主要的分析工具，我们引入了可能具有独立意义的腿-关节不相容四重奏的概念。

引用于1文件

MSC公司：

68倍 计算机科学

关键词：

参数复杂性;核化;系统发育学;系统发育树;距离测量;节俭;最大简约距离
PDF格式BibTeX公司 XML格式引用
\文本{E.Deen}等人，J.Comput。系统。科学。140，文章ID 103477，21 p.（2024；Zbl 07783113）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] 艾伦，B。；Steel，M.A.，子树转移操作及其在进化树上的诱导度量。安·库姆。，1-15 (2001) ·Zbl 0978.05023号
[2] 博德威奇，M。；Semple，C.，关于有根子树剪枝和再生距离的计算复杂性。安·库姆。，4、409-423（2005年1月）·Zbl 1059.05035号
[3] 博德威奇，M。；Semple，C.，计算两个系统发育树的杂交数是固定参数可处理的。IEEE/ACM传输。计算。生物信息学。，3458-466（2007年7月）
[4] 布鲁恩，T.C。；布莱恩特·D·吝啬通过共识。系统。生物学，2251-256（2008）
[5] 费舍尔，M。；Kelk，S.，关于系统发育树之间的最大简约距离。安·库姆。，187-113（2016年3月）·Zbl 1332.05043号
[6] Fitch，W.M.，《走向定义进化过程：特定树拓扑的最小变化》。系统。生物学，406-416（1971）
[7] Hartigan，J.A.，最小变异适合给定的树。生物统计学，53（1973）
[8] 琼斯，M。；Kelk，S。；Stougie，L.，《系统发育树上的最大简约距离：线性核和常数因子近似算法》。J.计算。系统。科学。，165-181（2021年5月）·Zbl 1477.68133号
[9] Kelk，S。；Fischer，M.，关于计算二元系统发育树之间MP距离的复杂性。安·库姆。，4573-604（2017年12月）·Zbl 1380.05069号
[10] Kelk，S。；费舍尔，M。；莫尔顿，V。；Wu，T.，系统发育树上最大简约距离的约简规则。西奥。计算。科学。，1-15 (2016) ·Zbl 1348.68068号
[11] 凯尔克，S.M。；Linz，S.，用于计算两个系统发育树之间的树二分法和重联距离的紧内核。SIAM J.离散数学。，1556-1574 (2019) ·Zbl 1430.68130号
[12] Kelk，S.M。；Stamoulis，G.，关于凸字符、斐波那契数和指数时间算法的注释。高级申请。数学。，34-46 (2017) ·Zbl 1431.05084号
[13] 莫尔顿，V。；Wu，T.，一种基于简约的系统发育树度量。高级申请。数学。，22-45 (2015) ·兹伯利1315.05034
[14] van Wersch，R。；Kelk，S。；林茨，S。；Stamoulis，G.，《关于内核化和计算未根协议林的思考》。安·Oper。第1425-451号决议（2022年）·Zbl 1480.92156号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。