OFFSET
1,2
COMMENTS
a(n)/2^(3*n-2) is the probability that the top left and bottom right vertices of the 2 X n grid graph (or ladder graph) are still connected after each edge has been independently deleted with probability 1/2. - Pontus von Brömssen, May 25 2024
LINKS
Eugene Nonko, C program to calculate
Index entries for linear recurrences with constant coefficients, signature (8,-16,8).
FORMULA
G.f.: (1 - x)/((1 - 2*x)*(1 - 6*x + 4*x^2)). - Andrew Howroyd, Nov 22 2021
EXAMPLE
For n = 2 the a(2) = 7 solutions are as follows:
+---+---+ +---+---+ +---+---+ +---+---+ +---+---+ +---+---+ +---+---+
| | | | | | | | | | | | | | | |
+ + + + + + + +---+ + + + +---+ + +---+ + + +---+
| | | | | | | | | | | | | | | |
+---+---+ +---+---+ +---+---+ +---+---+ +---+---+ +---+---+ +---+---+
MAPLE
a:= n-> (<<0|1|0>, <0|0|1>, <8|-16|8>>^n. <<0, 1, 7>>)[1, 1]:
seq(a(n), n=1..24); # Alois P. Heinz, Dec 09 2021
PROG
(PARI) Vec((1 - x)/((1 - 2*x)*(1 - 6*x + 4*x^2)) + O(x^30)) \\ Andrew Howroyd, Nov 22 2021
(Haskell)
import Data.List
m = [[2, 0, 2], [0, 2, 2], [1, 1, 4]]
(.*.) :: Num a => [[a]] -> [[a]] -> [[a]]
(.*.) a b = [[ sum $ zipWith (*) ar bc | bc <- (transpose b)] | ar <- a ]
(.^.) :: Num a => [[a]] -> Integer -> [[a]]
m .^. 0 = [ [ if i == j then 1 else 0 | i <- [1 .. n] ] | j <- [1 .. n] ] where n = length m
m .^. n | even n = let m' = m .^. (n `div` 2) in m' .*. m'
| otherwise = m .*. (m .^. (n - 1))
a349594 n = (z !! 0 !! 1) + (z !! 0 !! 2) + (z !! 2 !! 1) + (z !! 2 !! 2) where z = m .^. (n - 1)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Eugene Nonko, Nov 22 2021
EXTENSIONS
Terms a(18) and beyond from Andrew Howroyd, Nov 22 2021
STATUS
approved