CodeForces 15 E.Triangles（组合数学+dp）

Description

如图为一个高度为$n=12$的区域，问从最高点$H$出发最终回到$H$ ，不经过灰色区域且不自交的路线有多少种

Input

一个偶数$n$表示区域的高度$(2\le n\le 1e6)$

Output

输出满足条件的路线数量，结果模$10^9+9$

Sample Input

2

Sample Output

10

Solution

由于路线无交，所以一个路线唯一对应一个连续的白色区域（连续表示每一个白色块都会与另一个白色块共边）

由于左右对称，先考虑选取最上边两个白色块后从左边选取连续的白色区域方案数$ans$，则答案为$2\cdot(ans^2+1)$，表示左边可以选取任意连续白色区域与右边选取任意白色区域通过最上边两个白色块都可以连起来构成一个合法方案，再加上只经过最上边一个白色块的方案，再考虑左右的先后顺序所以要乘$2$

从上到下给区域定义为第$1,2,...,n$层，考虑走到第$2i+1$层和第$2i+2$层的方案数，外侧的四个格子可以选非零个，故有$4$种情况，横着的锯齿形白色区域可以看做三个一组有$i-1$组，设至多进到第$j$组的方案数为$dp[j]$，则$dp[0]=1$(不进去)，想进去第$j$组，那么前$j-1$组必须选上侧的两个白块，而下侧的白块可选可不选，第$j$组中间的白块必须选，但是两侧的两个白块可选可不选，故有$dp[j]=dp[j-1]+2^{j+1}$

由于第$3$层和第$4$层没有锯齿形白色区域，故到至多第$4$层的方案数为$6$，至多到第$2i$层的方案数为$4\cdot\prod\limits_{j=2}^{i-1}dp[j-1]$

进而$ans=6+4\cdot\sum\limits_{i=3}^{\frac{n}{2}}\prod\limits_{j=2}^{i-1}dp[j-1]$

Code

#include<cstdio>
#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<vector>
#include<queue>
#include<map>
#include<set>
#include<ctime>
using namespace std;
typedef long long ll;
typedef pair<int,int>P;
const int INF=0x3f3f3f3f,maxn=100001;
#define mod 1000000009 
int main()
{
    int n;
    while(~scanf("%d",&n))
    {
        if(n==2)printf("10\n");
        else
        {
            int ans=6,p=2,res=1,sum=4;
            for(int i=3;i<=n/2;i++)
            {
                p+=p;
                if(p>=mod)p-=mod;
                res+=p;
                if(res>=mod)res-=mod;
                sum=(ll)sum*res%mod;
                ans+=sum;
                if(ans>=mod)ans-=mod;
            }
            ans=((ll)ans*ans+1)%mod;
            ans+=ans;
            if(ans>=mod)ans-=mod;
            printf("%d\n",ans);
        }
    }
    return 0;
}