結果

問題 No.663 セルオートマトンの逆操作
ユーザー WA_TLEWA_TLE
提出日時 2018-03-09 22:41:24
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 2,667 bytes
コンパイル時間 1,498 ms
コンパイル使用メモリ 128,896 KB
最終ジャッジ日時 2025-01-05 09:10:23
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 29
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<deque>
#include<queue>
#include<vector>
#include<algorithm>
#include<iostream>
#include<set>
#include<cmath>
#include<tuple>
#include<string>
#include<chrono>
#include<functional>
#include<iterator>
#include<random>
#include<unordered_set>
#include<unordered_map>
#include<array>
#include<map>
#include<bitset>
#include<iomanip>
#include<list>
#include <numeric>
using namespace std;
typedef unsigned long long int ulint;
typedef long long int llint;
typedef long double lldo;
#define mp make_pair
#define mt make_tuple
#define pub push_back
#define puf push_front
#define pob pop_back
#define pof pop_front
#define fir first
#define sec second
#define res resize
#define ins insert
#define era erase
#define RE return 0
//ios::sync_with_stdio(false);
//std::cin.tie(0);
//<< setprecision(20)
const int mod=(int)1000000007;
const llint big=(llint)(2.19e16)+1;
const long double pai=3.141592653589793238462643383279502884197;
const long double ena=2.71828182845904523536;
const long double eps=1e-7;
template <class T,class U>bool mineq(T& a,U b){if(a>b){a=b;return true;}return false;}
template <class T,class U>bool maxeq(T& a,U b){if(a<b){a=b;return true;}return false;}
template <class T> void soun(T& ar)
{sort(ar.begin(),ar.end());ar.erase(unique(ar.begin(),ar.end()),ar.end());}
llint gcd(llint a,llint b){if(a%b==0){return b;}else{return gcd(b,a%b);}}
llint lcm(llint a,llint b){return a/gcd(a,b) *b;}
template<class T,class U> auto LB(T& ve,U in){return lower_bound(ve.begin(),ve.end(),in);}
template<class T,class U> auto UB(T& ve,U in){return upper_bound(ve.begin(),ve.end(),in);}
template<class T,class U> auto LBI(T& ve,U in){return LB(ve,in)-ve.begin();}
template<class T,class U> auto UBI(T& ve,U in){return UB(ve,in)-ve.begin();}
template<class T> void SO(T& ve){sort(ve.begin(),ve.end());}
template<class T> void REV(T& ve){reverse(ve.begin(),ve.end());}
using pli=pair<llint,int>;
using daic=priority_queue<pli,vector<pli>,greater<pli>>;
int main(void){
	int n,i,j,k;cin>>n;
	vector<int>a(n);
	for(i=0;i<n;i++){cin>>a[i];}
	//最初の2つを決め打ち
	int seno[4][4]={0};
	seno[0][0]=1;seno[2][0]=1;seno[3][3]=1;
	int seni[4][4]={0};
	seni[0][1]=1;seni[1][2]=1;seni[1][3]=1;seni[2][1]=1;seni[3][2]=1;
	llint ans=0;
	for(int sta=0;sta<4;sta++){
		llint gen[4]={0};gen[sta]=1;
		for(i=0;i<n;i++){
			llint nex[4]={0};
			if(a[i]==1){
				for(j=0;j<4;j++){
					for(k=0;k<4;k++){
						nex[k]+=gen[j]*seni[j][k];
						nex[k]%=mod;
					}
				}
			}else{
				for(j=0;j<4;j++){
					for(k=0;k<4;k++){
						nex[k]+=gen[j]*seno[j][k];
						nex[k]%=mod;
					}
				}
			}
			swap(nex,gen);
		}
		ans+=gen[sta];
	}
	cout<<ans%mod<<endl;
	RE;
}
0