結果

問題 No.1677 mæx
ユーザー tnakao0123tnakao0123
提出日時 2021-09-12 16:43:46
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,501 bytes
コンパイル時間 1,303 ms
コンパイル使用メモリ 93,696 KB
実行使用メモリ 7,924 KB
最終ジャッジ日時 2023-09-06 13:10:58
合計ジャッジ時間 3,148 ms
ジャッジサーバーID
(参考情報)
judge13 / judge14
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,380 KB
testcase_01 AC 1 ms
4,384 KB
testcase_02 AC 1 ms
4,380 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 AC 1 ms
4,380 KB
testcase_20 AC 1 ms
4,384 KB
testcase_21 WA -
権限があれば一括ダウンロードができます

ソースコード

diff #

/* -*- coding: utf-8 -*-
 *
 * 1677.cc:  No.1677 mæx - yukicoder
 */

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;

/* constant */

const int MAX_N = 200000;
const int MOD = 998244353;

const int fmex[3][3] = {
  { 1, 2, 1 },
  { 2, 0, 0 },
  { 1, 0, 0 }
};

/* typedef */

typedef long long ll;

template<const int MOD>
struct MI {
  int v;
  MI(): v() {}
  MI(int _v): v(_v) {}

  MI operator+(const MI m) const { return MI((v + m.v) % MOD); }
  MI operator-(const MI m) const { return MI((v + MOD - m.v) % MOD); }
  MI operator*(const MI m) const { return MI((ll)v * m.v % MOD); }

  MI &operator+=(const MI m) { return (*this = *this + m); }
  MI &operator-=(const MI m) { return (*this = *this - m); }
  MI &operator*=(const MI m) { return (*this = *this * m); }
};

typedef MI<MOD> mi;

struct Val {
  mi ds[3];
  Val(): ds() {}

  Val &setc(char c) { // c = '0', '1', '2', '?'
    memset(ds, 0, sizeof(ds));
    if (c == '?') ds[0] = ds[1] = ds[2] = 1;
    else ds[c - '0'] = 1;
    return *this;
  }
  
  Val &setmax(Val va, Val vb) {
    memset(ds, 0, sizeof(ds));
    for (int i = 0; i < 3; i++)
      for (int j = 0; j < 3; j++)
	ds[max(i, j)] += va.ds[i] * va.ds[j];
    return *this;
  }

  Val &setmex(Val va, Val vb) {
    memset(ds, 0, sizeof(ds));
    for (int i = 0; i < 3; i++)
      for (int j = 0; j < 3; j++)
	ds[fmex[i][j]] += va.ds[i] * va.ds[j];
    return *this;
  }

  Val operator+(const Val &v) const {
    Val r;
    for (int i = 0; i < 3; i++) r.ds[i] = ds[i] + v.ds[i];
    return r;
  }
};

/* global variables */

char s[MAX_N + 4];

/* subroutines */

Val parse(char *(&cpt)) {
  Val r;
  if (*cpt != 'm')
    r.setc(*(cpt++));
  else {
    cpt++; // 'm'
    char op = *(cpt++); // 'a' or 'e' or '?'
    cpt++, cpt++; // 'x('
    Val a = parse(cpt);
    cpt++; // ','
    Val b = parse(cpt);
    cpt++; // ')'

    switch (op) {
    case 'a': r.setmax(a, b); break;
    case 'e': r.setmex(a, b); break;
    default:
      Val vmax, vmex;
      vmax.setmax(a, b);
      vmex.setmex(a, b);
      r = vmax + vmex;
    }
  }

  return r;
}

/* main */

int main() {
  int k;
  scanf("%s%d", s, &k);

  char *cpt = s;
  Val v = parse(cpt);

  printf("%d\n", v.ds[k].v);
  return 0;
}
0