正规与树子网络的显示集

系统发育树作为系统发育网络的嵌入自然出现。我们近期证明，判定两个系统发育网络是否嵌入相同系统发育树集合的问题是计算困难的，\blue{特别地，我们证明其是$\Pi^P_2$-完全的}。在本文中，我们针对初始两个网络由一个正规网络与一个树子网络组成的情况，建立了该判定问题的多项式时间算法。算法的运行时间在叶集大小上是二次的。