Maseeh Ghodsi

Nonexistence of a Leech Tree of Order 18: A Computer-Assisted Proof

A Leech tree of order n is a tree with positive integral edge weights whose n(n−1)/2 pairwise weighted distances are precisely 1, 2, …, n(n−1)/2. This paper gives a computer-assisted proof that no Leech tree of order 18 exists. The argument has three layers. First, a development...

Nonexistence of a Leech Tree of Order 18: A Computer-Assisted Proof

A Leech tree of order n is a tree with positive integral edge weights whose n(n−1)/2 pairwise weighted distances are precisely 1, 2, …, n(n−1)/2. This paper gives a computer-assisted proof that no Leech tree of order 18 exists. The argument has three layers. First, a development...