結果

問題 No.1811 EQUIV Ten
ユーザー 沙耶花沙耶花
提出日時 2022-01-14 21:45:31
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 123 ms / 2,000 ms
コード長 655 bytes
コンパイル時間 4,182 ms
コンパイル使用メモリ 254,500 KB
最終ジャッジ日時 2025-01-27 11:12:21
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 33
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;
using namespace std;
#define rep(i,n) for(int i=0;i<(n);i++)
#define Inf 1000000001

int main(){
	
	int n;
	cin>>n;
	
	vector dp(1<<4,vector<mint>(2,0));
	dp[0][0] = 1;
	
	rep(i,n){
		vector ndp(1<<4,vector<mint>(2,0));
		rep(j,1<<4){
			rep(k,2){
				if(dp[j][k]==0)continue;
				rep(l,2){
					int jj = j,kk = k;
					jj <<= 1;
					jj &= 15;
					jj += l;
					if(jj==10)kk = 1;
					ndp[jj][kk] += dp[j][k];
				}
			}
		}
		swap(dp,ndp);
	}
	mint ans= 0;
	rep(i,dp.size())ans += dp[i][1];
	cout<<ans.val()<<endl;
	
	return 0;
}
0