Phylogenetic trees and networks are leaf-labelled graphs used to model evolution. Display graphs are created by identifying common leaf labels in two or more phylogenetic trees or networks. The treewidth of such graphs is bounded as a function of many common dissimilarity measures between phylogenetic trees and this has been leveraged in fixed parameter tractability results. Here we further elucidate the properties of display graphs and their interaction with treewidth. We show that it is NP-hard to recognize display graphs, but that display graphs of bounded treewidth can be recognized in linear time. Next we show that if a phylogenetic network displays (i.e. topologically embeds) a phylogenetic tree, the treewidth of their display graph is bounded by a function of the treewidth of the original network (and also by various other parameters). In fact, using a bramble argument we show that this treewidth bound is sharp up to an additive term of 1. We leverage this bound to give an FPT algorithm, parameterized by treewidth, for determining whether a network displays a tree, which is an intensively-studied problem in the field. We conclude with a discussion on the future use of display graphs and treewidth in phylogenetics.
arXiv:1809.00907v1 [cs.DS] 4 Sep 2018The purpose of this article is to further investigate, and algorithmically exploit, properties of the display graphs formed not only by trees, but also by trees and networks. To the best of our knowledge this is the first time tree-network display graphs have been considered. In the first part of the article, we list some basic properties of display graphs, and then address the problem of recognizing them, a problem posed in [33]. Specifically: given a cubic graph G, do there exist two unrooted binary phylogenetic trees T 1 , T 2 on the same set of taxa X such that G is the display graph D(T 1 , T 2 ) of T 1 and T 2 (after suppression of degree-2 nodes)? We prove that the problem is NP-hard, by providing an equivalence with the NP-hard TreeArboricity problem [13]. On the positive side, we prove that if G has bounded treewidth then this question can be answered in linear time. For this purpose we use Courcelle's Theorem [14,2]. This well-known meta-theorem states, essentially, that graph properties which can be expressed as a bounded-length fragment of Monadic Second Order Logic (MSOL) can be solved in linear time on graphs of bounded treewidth. We provide such an expression for recognizing display graphs.In the second, longer part of the article, we turn our attention to display graphs formed by merging an unrooted binary phylogenetic tree T with an unrooted binary phylogenetic network N , both on the same set of taxa X. The latter is simply an undirected graph where internal nodes have degree 3 and leaves, as usual, are bijectively labelled by X. Unlike trees, networks do not need to be acyclic. We emphasize that unrooted phylogenetic networks (as defined here and in e.g. [23,44,21,40]) should be viewed as undirected analogues of rooted phylogenetic networks,...