Theorems 3 and 4 impose constraints 1.18 and 1.19 for any three leaves , , and . In the former theorem, the constraint should hold whenever (as on the left) there exists a rooted full subtree separating and from , while in the latter theorem, the constraint is imposed for certain other triples as well (as on the right).
This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy. No content on this site may be used to train artificial intelligence systems without permission in writing from the MIT Press.