結果

問題 No.2040 010-1 Deletion
コンテスト
ユーザー Cyanmond
提出日時 2022-08-12 23:19:53
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 1,714 bytes
コンパイル時間 2,464 ms
コンパイル使用メモリ 208,128 KB
最終ジャッジ日時 2025-01-30 21:47:08
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3 WA * 1
other AC * 5 WA * 25 TLE * 3
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

using i64 = long long;

#include "atcoder/modint"
using Fp = atcoder::modint998244353;

int main() {
    int N; std::cin >> N;
    std::string S; std::cin >> S;
    std::vector<int> zero_ids;
    for (int i = 0; i < N; ++i) if (S[i] == '0') zero_ids.push_back(i);
    std::vector dp(N, std::vector(N, Fp(0)));
    std::vector is_seen(N, std::vector(N, false));

    auto solve = [&](auto &&self, const int l, const int r) -> Fp {
        if (r - l + 1 < 3) return 0;
        if (is_seen[l][r]) return dp[l][r];
        is_seen[l][r] = true;
        if (S[l] == '1' or S[r] == '1') return dp[l][r] = 0;
        if (S[l + 1] == '0' and S[r - 1] == '0') return dp[l][r] = 0;

        Fp res = 0;
        for (int nl = l + 1; nl != r; ++nl) {
            if (S[nl] != '1') for (int nr = r - 1; nr != nl; --nr) {
                if (S[nr] != '1') res += self(self, nl, nr);
                if (S[nr] == '0') break;
            }
            if (S[nl] == '0') break;
        }
        const auto itr = std::lower_bound(zero_ids.begin(), zero_ids.end(), l + 1);
        if (itr == zero_ids.end() or *itr >= r) ++res;
        return dp[l][r] = res;
    };

    for (int i = 0; i < N; ++i) for (int j = i; j < N; ++j) solve(solve, i, j);
    std::vector<Fp> dp2_a(N + 1, Fp(0)), dp2_b(N + 1, Fp(0));
    dp2_a[0] = 1;
    for (int i = 0; i < N; ++i) {
        const auto itr = std::lower_bound(zero_ids.begin(), zero_ids.end(), i);
        for (int j = i + 1; j <= N; ++j) {
            dp2_a[j] += (dp2_a[i] + dp2_b[i]) * dp[i][j - 1];
            if (itr == zero_ids.end() or *itr >= j) dp2_b[j] += dp2_a[i];
        }
    }
    std::cout << (dp2_a[N] + dp2_b[N]).val() << std::endl;
    // ??
}
0