2017/06/21 by Biers-Ariel, Yonah
#05A05 #Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.1706.07064
We prove an existing conjecture that the sequence defined recursively by a1=1, a2=2, an=4an-1-2an-2 counts the number of length-n permutations avoiding the four generalized permutation patterns 1-32-4, 1-42-3, 2-31-4, and 2-41-3.