Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
403344 | Journal of Symbolic Computation | 2009 | 8 Pages |
Abstract
In this article, we will prove that the set of 4-dissimilarity vectors of n-trees is contained in the tropical Grassmannian G4,n. We will also propose three equivalent conjectures related to the set of m-dissimilarity vectors of n-trees for the case m≥5. Using a computer algebra system, we can prove these conjectures for m=5.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence