結果

問題 No.2040 010-1 Deletion
ユーザー milkcoffeemilkcoffee
提出日時 2022-08-06 16:49:44
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 3,063 bytes
コンパイル時間 9,128 ms
コンパイル使用メモリ 272,216 KB
実行使用メモリ 96,012 KB
最終ジャッジ日時 2023-10-14 17:52:16
合計ジャッジ時間 9,652 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,348 KB
testcase_01 AC 1 ms
4,352 KB
testcase_02 AC 2 ms
4,352 KB
testcase_03 AC 2 ms
4,348 KB
testcase_04 AC 1 ms
4,348 KB
testcase_05 AC 1 ms
4,352 KB
testcase_06 AC 2 ms
4,372 KB
testcase_07 AC 2 ms
4,356 KB
testcase_08 AC 2 ms
4,348 KB
testcase_09 AC 2 ms
4,348 KB
testcase_10 AC 2 ms
4,348 KB
testcase_11 TLE -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#if __has_include(<atcoder/all>)
#include <atcoder/all>
using namespace atcoder;
#endif
using namespace std;

/*
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
*/

#define ll long long
#define rep(i, n) for (ll i = 0; i < n; ++i)
#define rep_up(i, a, n) for (ll i = a; i < n; ++i)
#define rep_down(i, a, n) for (ll i = a; i >= n; --i)
#define P pair<ll, ll>
#define pb push_back
#define bit_count(x) __builtin_popcountll(x)
#define gcd(a,b) __gcd(a,b)
#define lcm(a,b) a / gcd(a,b) * b
#define endl "\n"

#define all(v) v.begin(), v.end()
#define fi first
#define se second
#define vvvvll vector< vector <vector <vector<ll> > > >
#define vvvll vector< vector< vector<ll> > >
#define vvll vector< vector<ll> >
#define vll vector<ll>
#define pqll priority_queue<ll>
#define pqllg priority_queue<ll, vector<ll>, greater<ll>>

template<class T> inline void vin(vector<T>& v) { rep(i, v.size()) cin >> v.at(i); }
template <class T>
using V = vector<T>;

constexpr ll INF = (1ll << 60);
//constexpr ll mod = 1000000007;
constexpr ll mod = 998244353;

constexpr double pi = 3.14159265358979323846;
template <typename T>
inline bool chmax(T &a, T b)
{
    if (a < b)
    {
        a = b;
        return 1;
    }
    return 0;
}
template <typename T>
inline bool chmin(T &a, T b)
{
    if (a > b)
    {
        a = b;
        return 1;
    }
    return 0;
}
template <typename T>
void pt(T val)
{
    cout << val << "\n";
}
template <typename T>
void pt_vll(vector<T> &v)
{
    ll vs = v.size();
    rep(i, vs)
    {
        cout << v[i];

        if (i == vs - 1)
            cout << "\n";
        else
            cout << " ";
    }
}

// O(N^3) TLE

void solve(){
    ll n, m, k, cnt = 0, sum = 0, ans = 0;
    cin>>n;
    assert(1<=n&&n<=2000);
    string s;
    cin>>s;
    assert(s.size()==n);
    rep(i,n){
        assert(s[i]=='0'||s[i]=='1'||s[i]=='?');
    }
    vvvll dp(2,vvll(n+1,vll(n+1)));
    // dp[l][j][k]:=i番目まで見て、j個の0を使い、0が連続する区間がk個、最後の文字がl
    dp[1][0][0]=1;
    rep(i,n){
        vvvll dp2(2,vvll(n+1,vll(n+1)));
        rep(j,n){
            rep(k,n){
                if(s[i]!='1'){
                    dp2[0][j+1][k+1]+=dp[1][j][k];
                    dp2[0][j+1][k]+=dp[0][j][k];
                    dp2[0][j+1][k+1]%=mod;
                    dp2[0][j+1][k]%=mod;
                }
                if(s[i]!='0'){
                    dp2[1][j][k]+=dp[1][j][k];
                    dp2[1][j][k]+=dp[0][j][k];
                    dp2[1][j][k]%=mod;
                }
            }
        }
        dp=dp2;
    }
    rep(i,n){
        rep(j,n){
            if(i%2==0&&i/2+1<=j){
                ans+=dp[0][i][j];
                ans+=dp[1][i][j];
                ans%=mod;
            }
        }
    }
    ans+=dp[1][0][0];
    ans%=mod;
    pt(ans);
}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    //cout << fixed << setprecision(16);
    //ll T;
    //cin>>T;
    //rep(ca,T)
    solve();
}
0