login
A396817
Total number of separating two-component spanning forests over all unordered pairs of rim vertices in the wheel graph W_n.
1
24, 156, 770, 3264, 12586, 45528, 157320, 525250, 1707420, 5432832, 16986684, 52341926, 159301560, 479713584, 1431349646, 4236499008, 12450156790, 36357139500, 105569638440, 304977079462, 876968277144, 2511136567296, 7162824312600, 20359351488554, 57680755309656, 162926987593188
OFFSET
4,1
COMMENTS
Here F_G(u|v) denotes the number of spanning forests of G with exactly two connected components such that u and v belong to different components.
This sequence is defined by a(n) = Sum F_{W_n}(u|v), where the sum is over all unordered pairs {u,v} of rim vertices of the wheel graph W_n.
The wheel graph W_n has n-1 rim vertices.
FORMULA
a(n) = m*((L_{2m}-2)*(F_{2q+1}-1) - F_{2m}*(L_{2q+1}-2q-1)) - e_m*m/2*(F_m*(L_{2m}-2) - F_{2m}*(L_m-2)), where m = n-1, q = floor(m/2), and e_m = (1+(-1)^m)/2; and where F_n is the n-th Fibonacci number and L_n is the n-th Lucas number.
EXAMPLE
For n=4, the graph W_4 has three unordered pairs of rim vertices. Each pair contributes 8 separating two-component spanning forests, so a(4)=24.
CROSSREFS
KEYWORD
nonn,new
AUTHOR
Shunya Tamura, Jun 06 2026
STATUS
approved