Now showing items 1-2 of 2
New characterisations of tree-based networks and proximity measures
Phylogenetic networks are a type of directed acyclic graph that represent how a set X of present-day species are descended from a common ancestor by processes of speciation and reticulate evolution. In the absence of ...
The Drinker Paradox and its Dual
The Drinker Paradox is as follows. In every nonempty tavern, there is a person such that if that person is drinking, then everyone in the tavern is drinking. Formally, \[ \exists x \big(\varphi \rightarrow \forall ...