Drugs and other chemical compounds are often modeled as polygonal shapes, where each vertex represents an atom of the molecule, and covalent bonds between atoms are represented by edges between the corresponding vertices. This polygonal shape derived from a chemical compound is often called its molecular graph, and can be a path, a tree, or in general a graph. An indicator defined over this molecular graph, the Wiener index, has been shown to be strongly correlated to various chemical properties of the compound. The Wiener index conjecture for trees states that for any integer Ò (except for a finite set), one can find a tree with Wiener index Ò. This conjecture has been open for quite some time, and many authors have presented incremental progress on this problem. In this paper, we present further progress towards proving this conjecture — through the design of efficient algorithms, we show that enumerating all possible trees to verify this conjecture (as done by all the previ...
Yih-En Andrew Ban, Sergei Bespamyatnikh, Nabil H.