Subsets of {1,…,n} with Exactly One Pair of Consecutive Integers
A generating-function argument in which the count is the convolution of Fibonacci numbers; partial fractions over the golden-ratio roots give a closed form involving Fibonacci and Lucas numbers, with f(10) = 235.
Count the bit strings of length with exactly one pair of consecutive ones. The convolution equals the coefficient of in ; decomposing this by partial fractions over yields the closed form . Full derivation and computational verification in the PDF.