proved directly:
no network found in this class with a direct proof
Deduced from class inclusions: network #5 (deduced from the inclusion of "binary unicyclic" in this class), network #14 (deduced from the inclusion of "binary galled network" in this class), network #6 (deduced from the inclusion of "binary galled tree" in this class), network #7 (deduced from the inclusion of "binary galled network" in this class), network #13 (deduced from the inclusion of "binary normal" in this class), network #22 (deduced from the inclusion of "binary normal" in this class), network #1 (deduced from the inclusion of "binary galled network" in this class), network #21 (deduced from the inclusion of "binary galled network" in this class), network #2 (deduced from the inclusion of "binary galled network" in this class), network #8 (deduced from the inclusion of "binary nearly tree-child" in this class), network #4 (deduced from the inclusion of "binary genetically stable" in this class), network #18 (deduced from the inclusion of "binary galled network" in this class), network #15 (deduced from the inclusion of "binary normal" in this class)
Proved directly:
network #11 : Reticulation vertex c is not stable for leaf 1 (there is a path from r to 1 containing vertex a and not containing c) nor for leaf 2 (there is a path from r to 2 containing vertex f and not containing c).
network #24 : Reticulation vertex d is not stable for leaf 2 (there is a path from r to 2 containing vertex b and not containing d) nor for leaf 3 (there is a path from r to 3 containing vertex h and not containing d).
Deduced from class inclusions: network #12 (deduced from the inclusion of this class in "binary compressed"), network #10 (deduced from the inclusion of this class in "binary tree-based"), network #3 (deduced from the inclusion of this class in "binary tree-based")
This website was programmed and is maintained by Philippe Gambette. It was started during the internship of Maxime Morgado at LIGM, in June-July 2015, and also contains contributions made from Narges Tavassoli from November 2016 to January 2017.
Please contact Philippe Gambette if you have any suggestions about this website, especially about problems, properties, results or subclasses to add.