The matroid structure of representative triple sets and triple-closure computation

DOI10.1016/J.EJC.2018.02.013MaRDI QIDQ1746594zbMATH OpenOpenAlexFDO

Authors Carsten R. Seemann, Marc Hellmuth

Publication date 25 April 2018

Published in European Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.01667, http://eprints.whiterose.ac.uk/164239/1/1707.01667v2.pdf

Matroids in convex geometry (realizations in the context of convex polytopes, convexity in combinatorial structures, etc.) (52B40) Combinatorial aspects of matroids and geometric lattices (05B35)

Abstract: The closure

e x t r m c l (R)

of a consistent set

R

of triples (rooted binary trees on three leaves) provides essential information about tree-like relations that are shown by any supertree that displays all triples in

R

. In this contribution, we are concerned with representative triple sets, that is, subsets

R^{'}

of

R

with

e x t r m c l (R^{'}) = e x t r m c l (R)

. In this case,

R^{'}

still contains all information on the tree structure implied by

R

, although

R^{'}

might be significantly smaller. We show that representative triple sets that are minimal w.r.t. inclusion form the basis of a matroid. This in turn implies that minimal representative triple sets also have minimum cardinality. In particular, the matroid structure can be used to show that minimum representative triple sets can be computed in polynomial time with a simple greedy approach. For a given triple set

R

that "identifies" a tree, we provide an exact value for the cardinality of its minimum representative triple sets. In addition, we utilize the latter results to provide a novel and efficient method to compute the closure

e x t r m c l (R)

of a consistent triple set

R

that improves the time complexity

m a t h c a l O (| R | | L_{R} |^{4})

of the currently fastest known method proposed by Bryant and Steel (1995). In particular, if a minimum representative triple set for

R

is given, it can be shown that the time complexity to compute

e x t r m c l (R)

can be improved by a factor up to

| R | | L_{R} |

. As it turns out, collections of quartets (unrooted binary trees on four leaves) do not provide a matroid structure, in general.

Recommendations

Cites work

Cited in

(5)

Describes a project that uses

Uses Software

PhySIC

This page was built for publication: The matroid structure of representative triple sets and triple-closure computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1746594)