結果

問題 No.1677 mæx
ユーザー siro53siro53
提出日時 2021-09-11 01:46:50
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 6 ms / 2,000 ms
コード長 3,013 bytes
コンパイル時間 1,812 ms
コンパイル使用メモリ 202,204 KB
実行使用メモリ 7,084 KB
最終ジャッジ日時 2023-09-03 18:48:12
合計ジャッジ時間 3,194 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,380 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 2 ms
4,380 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 6 ms
5,964 KB
testcase_05 AC 5 ms
5,896 KB
testcase_06 AC 5 ms
5,892 KB
testcase_07 AC 5 ms
5,960 KB
testcase_08 AC 5 ms
5,908 KB
testcase_09 AC 5 ms
6,056 KB
testcase_10 AC 5 ms
6,104 KB
testcase_11 AC 5 ms
5,912 KB
testcase_12 AC 5 ms
5,904 KB
testcase_13 AC 6 ms
5,884 KB
testcase_14 AC 6 ms
5,900 KB
testcase_15 AC 6 ms
5,928 KB
testcase_16 AC 6 ms
5,892 KB
testcase_17 AC 5 ms
5,904 KB
testcase_18 AC 6 ms
6,128 KB
testcase_19 AC 2 ms
4,376 KB
testcase_20 AC 2 ms
4,380 KB
testcase_21 AC 5 ms
7,084 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma region Macros
#include <bits/stdc++.h>
using namespace std;
template <class T> inline bool chmax(T &a, T b) {
    if(a < b) {
        a = b;
        return 1;
    }
    return 0;
}
template <class T> inline bool chmin(T &a, T b) {
    if(a > b) {
        a = b;
        return 1;
    }
    return 0;
}
#ifdef DEBUG
template <class T, class U>
ostream &operator<<(ostream &os, const pair<T, U> &p) {
    os << '(' << p.first << ',' << p.second << ')';
    return os;
}
template <class T> ostream &operator<<(ostream &os, const vector<T> &v) {
    os << '{';
    for(int i = 0; i < (int)v.size(); i++) {
        if(i) { os << ','; }
        os << v[i];
    }
    os << '}';
    return os;
}
void debugg() { cerr << endl; }
template <class T, class... Args>
void debugg(const T &x, const Args &... args) {
    cerr << " " << x;
    debugg(args...);
}
#define debug(...)                                                             \
    cerr << __LINE__ << " [" << #__VA_ARGS__ << "]: ", debugg(__VA_ARGS__)
#define dump(x) cerr << __LINE__ << " " << #x << " = " << (x) << endl
#else
#define debug(...) (void(0))
#define dump(x) (void(0))
#endif

struct Setup {
    Setup() {
        cin.tie(0);
        ios::sync_with_stdio(false);
        cout << fixed << setprecision(15);
    }
} __Setup;

using ll = long long;
#define ALL(v) (v).begin(), (v).end()
#define RALL(v) (v).rbegin(), (v).rend()
#define FOR(i, a, b) for(int i = (a); i < int(b); i++)
#define REP(i, n) FOR(i, 0, n)
const int INF = 1 << 30;
const ll LLINF = 1LL << 60;
constexpr int MOD = 1000000007;
const int dx[4] = {1, 0, -1, 0};
const int dy[4] = {0, 1, 0, -1};

void Case(int i) { cout << "Case #" << i << ": "; }
int popcount(int x) { return __builtin_popcount(x); }
ll popcount(ll x) { return __builtin_popcountll(x); }
#pragma endregion Macros

#include <atcoder/modint>
using mint = atcoder::modint998244353;
using M = array<mint, 3>;

M max(M a, M b) {
    M res;
    REP(i, 3) REP(j, 3) res[max(i, j)] += a[i] * b[j];
    return res;
}

M mex(M a, M b) {
    M res;
    array<bool, 3> seen;
    REP(i, 3) REP(j, 3) {
        REP(k, 3) seen[k] = 0;
        seen[i] = seen[j] = 1;
        REP(k, 3) if(seen[k] == 0) {
            res[k] += a[i] * b[j];
            break;
        }
    }
    return res;
}

string s;
int K;

M expr(int &i) {
    M res;
    if(s[i] == 'm') {
        i++;
        char c = s[i];
        i += 3;
        auto a = expr(i); i++;
        auto b = expr(i); i++;
        if(c == 'a') return max(a, b);
        else if(c == 'e') return mex(a, b);
        else {
            auto res = max(a, b);
            auto v = mex(a, b);
            REP(j, 3) res[j] += v[j];
            return res;
        }
    } else {
        char c = s[i++];
        if(c == '0') return {1, 0, 0};
        else if(c == '1') return {0, 1, 0};
        else if(c == '2') return {0, 0, 1};
        else return {1, 1, 1};
    }
}


int main() {
    cin >> s >> K;
    int i = 0;
    M ans = expr(i);
    cout << ans[K].val() << "\n";
}
0