OFFSET
0,2
COMMENTS
From Steven Kotlarz, Mar 19 2026: (Start)
A transfer-matrix computation uses a 924 X 924 matrix indexed by subsets of the 3 X 4 cross-section having equal numbers of black and white vertices under checkerboard coloring; perfect matchings preserve this balance at each layer interface. Then a(n) is the (0,0)-entry of T^n. The recurrence was recovered from exact transfer-matrix terms and verified against 600 terms.
Satisfies a linear recurrence with constant coefficients of order 265: Sum_{j=0..265} c(j)*a(n-j) = 0 for n >= 265, with c(0)=1 and c(j)=c(265-j) for 0 <= j <= 265. (End)
LINKS
Steven Kotlarz, Table of n, a(n) for n = 0..519 (terms 0..200 from Alois P. Heinz)
Steven Kotlarz, Python program
Per Hakan Lundow, Computation of matching polynomials and the number of 1-factors in polygraphs, Research report, No 12, 1996, Department of Math., Umea University, Sweden.
Per Hakan Lundow, Enumeration of matchings in polygraphs, 1998.
PROG
(Python) # See Kotlarz link
CROSSREFS
KEYWORD
nonn
AUTHOR
STATUS
approved
