collaborators

9 papers

cs.DM2020

Weakly displaying trees in temporal tree-child network

Katharina T. Huber, Simone Linz, Vincent Moulton

Recently there has been considerable interest in the problem of finding a phylogenetic network with a minimum number of reticulation vertices which displays a given set of phylogen…

math.CO2020

Caterpillars on three and four leaves are sufficient to reconstruct normal networks

Simone Linz, Charles Semple

While every rooted binary phylogenetic tree is determined by its set of displayed rooted triples, such a result does not hold for an arbitrary rooted binary phylogenetic network. I…

cs.CC2019

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy

Janosch Döcker, Britta Dorn, Simone Linz +1

The complexity of variants of 3-SAT and Not-All-Equal 3-SAT is well studied. However, in contrast, very little is known about the complexity of the problems' quantified counterpart…

cs.DS2019

New reduction rules for the tree bisection and reconnection distance

Steven Kelk, Simone Linz

Recently it was shown that, if the subtree and chain reduction rules have been applied exhaustively to two unrooted phylogenetic trees, the reduced trees will have at most 15k-9 ta…

math.CO2019

Display sets of normal and tree-child networks

Janosch Doecker, Simone Linz, Charles Semple

Phylogenetic trees canonically arise as embeddings of phylogenetic networks. We recently showed that the problem of deciding if two phylogenetic networks embed the same sets of phy…

math.CO2019

Displaying trees across two phylogenetic networks

Janosch Döcker, Simone Linz, Charles Semple

Phylogenetic networks are a generalization of phylogenetic trees to leaf-labeled directed acyclic graphs that represent ancestral relationships between species whose past includes…