#372649 (C++14) No.663 セルオートマトンの逆操作

• 問題: No.663 セルオートマトンの逆操作
• ユーザー: firiexp
• 提出日時: 2019-08-26 17:39:51
• 言語: C++14 (gcc 13.2.0 + boost 1.83.0)
• 結果: CE (最新)
  AC
  (最初)
• 実行時間: -
• コード長: 3,989 bytes
• コンパイル時間: 745 ms
• コンパイル使用メモリ: 95,840 KB
• 最終ジャッジ日時: 2023-08-09 21:17:18
• 合計ジャッジ時間: 1,392 ms
• ジャッジサーバーID （参考情報）: judge11 / judge12

コンパイルメッセージ

main.cpp: 関数 ‘int main()’ 内:
main.cpp:76:83: エラー: no matching function for call to ‘std::vector<std::array<int, 3> >::vector(<brace-enclosed initializer list>)’
   76 |     vector<array<int, 3>>  a{{0, 0, 1}, {0, 1, 0}, {0, 1, 1}, {1, 0, 1}, {1, 1, 0}},
      |                                                                                   ^
次のファイルから読み込み:  /usr/local/gcc7/include/c++/12.2.0/vector:64,
         次から読み込み:  /usr/local/gcc7/include/c++/12.2.0/queue:61,
         次から読み込み:  main.cpp:7:
/usr/local/gcc7/include/c++/12.2.0/bits/stl_vector.h:702:9: 備考: 候補: ‘template<class _InputIterator, class> std::vector<_Tp, _Alloc>::vector(_InputIterator, _InputIterator, const allocator_type&) [with <template-parameter-2-2> = _InputIterator; _Tp = std::array<int, 3>; _Alloc = std::allocator<std::array<int, 3> >]’
  702 |         vector(_InputIterator __first, _InputIterator __last,
      |         ^~~~~~
/usr/local/gcc7/include/c++/12.2.0/bits/stl_vector.h:702:9: 備考:   template argument deduction/substitution failed:
main.cpp:76:83: 備考:   候補では 3 個の引数が予期されますが、5 個の引数が与えられています
   76 |     vector<array<int, 3>>  a{{0, 0, 1}, {0, 1, 0}, {0, 1, 1}, {1, 0, 1}, {1, 1, 0}},
      |                                                                                   ^
/usr/local/gcc7/include/c++/12.2.0/bits/stl_vector.h:673:7: 備考: 候補: ‘std::vector<_Tp, _Alloc>::vector(std::initializer_list<_Tp>, const allocator_type&) [with _Tp = std::array<int, 3>; _Alloc = std::allocator<std::array<int, 3> >; allocator_type = std::allocator<std::array<int, 3> >]’
  673 |       vector(initializer_list<value_type> __l,
      |       ^~~~~~
/usr/local/gcc7/include/c++/12.2.0/bits/stl_vector.h:673:7: 備考:   候補では 2 個の引数が予期されますが、5 個の引数が与えられています
/usr/local/gcc7/include/c++/12.2.0/bit

ソースコード

#include <limits>
#include <iostream>
#include <algorithm>
#include <iomanip>
#include <map>
#include <set>
#include <queue>
#include <stack>
#include <numeric>
#include <bitset>
#include <cmath>

static const int MOD = 1000000007;
using ll = long long;
using u32 = uint32_t;
using namespace std;

template<class T> constexpr T INF = ::numeric_limits<T>::max()/32*15+208;

template <class T, class U>
vector<T> make_v(U size, const T& init){ return vector<T>(static_cast<size_t>(size), init); }

template<class... Ts, class U>
auto make_v(U size, Ts... rest) { return vector<decltype(make_v(rest...))>(static_cast<size_t>(size), make_v(rest...)); }

template<class T> void chmin(T &a, const T &b){ a = (a < b ? a : b); }
template<class T> void chmax(T &a, const T &b){ a = (a > b ? a : b); }

template <ll M = MOD> struct modint {
    ll val;
    modint(const ll x = 0) : val(x) {
        val = x;
        while(val < 0) val += M;
        while(val > M) val -= M;
    }

    modint operator+(const modint a) const { return modint(*this) += a; }
    modint operator-(const modint a) const { return modint(*this) -= a; }
    modint operator*(const modint a) const { return modint(*this) *= a; }
    modint operator/(const modint a) const { return modint(*this) /= a; }
    modint operator-() const { return modint(M-val); }
    modint inv() const {
        ll u = 1, v = 0, s = 0, t = 1, m = M, x = val;
        while (x) {ll q = m/x; swap(s -= q*u, u); swap(t -= q*v, v); swap(m -= q*x, x); }
        if(s < 0) s += M;
        return modint(s);
    }
    modint pow(ll n) const {
        ll u = 1, xx = val;
        while (n > 0){ if (n&1) u = u * xx % M; xx = xx * xx % M; n >>= 1; }
        return modint(u);
    }
    modint& operator+=(const modint a){ val += a.val; if(val >= M) val -= M; return *this; }
    modint& operator-=(const modint a){ val -= a.val; if(val < 0) val += M; return *this; }
    modint& operator*=(const modint a){ val = val * a.val % M; return *this; }
    modint& operator/=(const modint a){ val = val * a.inv().val % M; return *this;}

    modint& operator=(const int& x){
        val = x;
        while(val < 0) val += M;
        while(val > M) val -= M;
        return *this;
    }
};

using mint = modint<MOD>;

using ar = array<int, 3>;
int main() {
    int n;
    cin >> n;
    vector<int> v(n);
    for (auto &&i : v) scanf("%d", &i);
    auto dp = make_v(n, 2, 2, 2, 2, 2, mint(0));

    vector<array<int, 3>>  a{{0, 0, 1}, {0, 1, 0}, {0, 1, 1}, {1, 0, 1}, {1, 1, 0}},
    b {{0, 0, 0}, {1, 0, 0}, {1, 1, 1}};
    if(v[0]){
        for (auto &&i : a) {
            dp[0][i[0]][i[1]][i[0]][i[1]][i[2]] = 1;
        }
    }else {
        for (auto &&i : b) {
            dp[0][i[0]][i[1]][i[0]][i[1]][i[2]] = 1;
        }
    }
    for (int i = 1; i < n; ++i) {
        for (int j = 0; j < 2; ++j) {
            for (int k = 0; k < 2; ++k) {
                for (int l = 0; l < 2; ++l) {
                    for (int m = 0; m < 2; ++m) {
                        for (int p = 0; p < 2; ++p) {
                            for (int q = 0; q < 2; ++q) {
                                if(v[i]){
                                    if(count(a.begin(),a.end(), ar{m, p, q})){
                                        dp[i][j][k][m][p][q] += dp[i-1][j][k][l][m][p];
                                    }
                                }else {
                                    if(count(b.begin(),b.end(), ar{m, p, q})){
                                        dp[i][j][k][m][p][q] += dp[i-1][j][k][l][m][p];
                                    }
                                }
                            }
                        }
                    }
                }
            }
        }
    }
    mint ans = 0;
    for (int j = 0; j < 2; ++j) {
        for (int k = 0; k < 2; ++k) {
            for (int l = 0; l < 2; ++l) {
                ans += dp[n-1][k][l][j][k][l];
            }
        }
    }
    cout << ans.val << "\n";
    return 0;
}