I. Introduction
A phylogenetic tree is a rooted and unordered tree where each leaf is uniquely labeled. It represents the evolutionary history of a set of species, where each leaf represents an existing species and the internal nodes represent hypothetical ancestors [8]. Because phylogenies represent what has happened in the past, phylogenies cannot be directly observed but rather must be estimated. Consequently, various sophisticated statistical models of sequence evolution have been developed to estimate phylogenetic trees [5–7]. Because of rapid advancement in DNA sequencing, a large amount of data is now available for reconstructing phylogenetic trees. The consensus tree problem was proposed for summarizing the conflicts between a set of gene trees [1]. A consensus tree is a computationally formed tree that contains information about all the rival trees. Formally, the input of the consensus tree problem is a set of k gene trees, leaf-labeled by the same set of species L, where . The output is a consensus tree T which is leaf-labeled by L. The branching information of all k gene trees is summarized by this consensus tree. After the first proposal of the consensus tree problem by Adams [1], various consensus methods were proposed [2]. Our study focuses on the greedy consensus tree problem which is an extension of the majority rule consensus tree.