1: \begin{abstract} The divisor theory of graphs views a finite connected graph $G$

2:   as a discrete version of a Riemann surface.  Divisors on~$G$ are formal

3:   integral combinations of the vertices of~$G$, and linear equivalence of

4:   divisors is determined by the discrete Laplacian operator for~$G$.  As in the

5:   case of Riemann surfaces, we are interested in the complete linear

6:   system~$|D|$ of a divisor~$D$---the collection of nonnegative divisors

7:   linearly equivalent to~$D$.  Unlike the case of Riemann surfaces, the complete

8:   linear system of a divisor on a graph is always finite.  We compute generating

9:   functions encoding the sizes of all complete linear systems on~$G$ and

10:   interpret our results in terms of polyhedra associated with divisors and in

11:   terms of the invariant theory of the (dual of the) Jacobian group of~$G$.

12:   If~$G$ is a cycle graph, our results lead to a bijection between complete

13:   linear systems and binary necklaces.  Our results also apply to a model in

14:   which the Laplacian is replaced by an invertible,

15:   integral~$M$-matrix.

16: \end{abstract}

17: