結果
| 問題 | No.663 セルオートマトンの逆操作 | 
| コンテスト | |
| ユーザー |  とばり | 
| 提出日時 | 2018-09-06 21:49:47 | 
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 3 ms / 2,000 ms | 
| コード長 | 1,058 bytes | 
| コンパイル時間 | 1,921 ms | 
| コンパイル使用メモリ | 167,700 KB | 
| 実行使用メモリ | 5,248 KB | 
| 最終ジャッジ日時 | 2024-11-24 05:20:17 | 
| 合計ジャッジ時間 | 2,794 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 29 | 
ソースコード
#include <bits/stdc++.h>
using namespace std;
using int64 = long long;
using uint64 = unsigned long long;
const int64 MOD = 1e9 + 7;
const int MAX_N = 2000;
int N, e[MAX_N];
int64 dp[MAX_N + 2][2][2];
// d0 d1 d2
// .  e  .
// におけるeの状態を返す
int nextState(int d0, int d1, int d2)
{
    return ((d0 & d1 & d2) | ((d1 | d2) ^ 1)) ^ 1;
}
int64 counting(int d0, int d1)
{
    memset(dp, 0, sizeof(dp));
    dp[1][d0][d1] = 1;
    for (int i = 1; i <= N; i++) for (int p : {0, 1})
    for (int c : {0, 1}) for (int nxt : {0, 1})
    {
        if (nextState(p, c, nxt) == e[i % N])
        {
            (dp[i + 1][c][nxt] += dp[i][p][c]) %= MOD;
        }
    }
    return dp[N + 1][d0][d1];
}
int main()
{
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    cin >> N;
    for (int i = 0; i < N; i++)
    {
        cin >> e[i];
    }
    int64 ans = 0;
    for (int d0 : {0, 1})
    {
        for (int d1 : {0, 1})
        {
            (ans += counting(d0, d1)) %= MOD;
        }
    }
    cout << ans << endl;
    return 0;
}
            
            
            
        