Induction on Descent in Leaper Graphs
We construct an infinite ternary tree $\mathfrak{L}$ whose root is the knight and whose vertices are all skew free leapers. We define the descent of a skew free leaper to be its "address" within $\mathfrak{L}$. We introduce three transformations which relate the leaper graphs of a skew fre...
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | We construct an infinite ternary tree $\mathfrak{L}$ whose root is the knight
and whose vertices are all skew free leapers. We define the descent of a skew
free leaper to be its "address" within $\mathfrak{L}$. We introduce three
transformations which relate the leaper graphs of a skew free leaper to the
leaper graphs of its three children in $\mathfrak{L}$. By starting with the
knight and then applying these transformations so as to advance throughout
$\mathfrak{L}$, we can establish theorems about all skew free leapers. We call
this proof technique induction on descent and with its help we resolve a number
of questions about leaper graphs. |
---|---|
DOI: | 10.48550/arxiv.2109.09326 |