A graph theoretic encoding of Lucas sequences

James Alexander, Paul Hearding

Some well-known results of Prodinger and Tichy are that the number of independent sets in the $n$-vertex path graph is $F_{n+2}$, and that the number of independent sets in the $n$…