結果

問題 No.2964 Obstruction Bingo
ユーザー tnakao0123tnakao0123
提出日時 2024-11-18 19:39:56
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 39 ms / 2,468 ms
コード長 3,822 bytes
コンパイル時間 469 ms
コンパイル使用メモリ 52,588 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-11-18 19:40:00
合計ジャッジ時間 2,706 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 17 ms
5,248 KB
testcase_07 AC 3 ms
5,248 KB
testcase_08 AC 14 ms
5,248 KB
testcase_09 AC 3 ms
5,248 KB
testcase_10 AC 10 ms
5,248 KB
testcase_11 AC 13 ms
5,248 KB
testcase_12 AC 28 ms
5,248 KB
testcase_13 AC 6 ms
5,248 KB
testcase_14 AC 4 ms
5,248 KB
testcase_15 AC 3 ms
5,248 KB
testcase_16 AC 9 ms
5,248 KB
testcase_17 AC 7 ms
5,248 KB
testcase_18 AC 7 ms
5,248 KB
testcase_19 AC 12 ms
5,248 KB
testcase_20 AC 15 ms
5,248 KB
testcase_21 AC 27 ms
5,248 KB
testcase_22 AC 8 ms
5,248 KB
testcase_23 AC 5 ms
5,248 KB
testcase_24 AC 2 ms
5,248 KB
testcase_25 AC 35 ms
5,248 KB
testcase_26 AC 36 ms
5,248 KB
testcase_27 AC 37 ms
5,248 KB
testcase_28 AC 36 ms
5,248 KB
testcase_29 AC 36 ms
5,248 KB
testcase_30 AC 39 ms
5,248 KB
testcase_31 AC 37 ms
5,248 KB
testcase_32 AC 38 ms
5,248 KB
testcase_33 AC 38 ms
5,248 KB
testcase_34 AC 36 ms
5,248 KB
testcase_35 AC 36 ms
5,248 KB
testcase_36 AC 36 ms
5,248 KB
testcase_37 AC 36 ms
5,248 KB
testcase_38 AC 36 ms
5,248 KB
testcase_39 AC 36 ms
5,248 KB
testcase_40 AC 36 ms
5,248 KB
testcase_41 AC 37 ms
5,248 KB
testcase_42 AC 37 ms
5,248 KB
testcase_43 AC 38 ms
5,248 KB
testcase_44 AC 35 ms
5,248 KB
testcase_45 AC 3 ms
5,248 KB
testcase_46 AC 2 ms
5,248 KB
testcase_47 AC 2 ms
5,248 KB
testcase_48 AC 2 ms
5,248 KB
testcase_49 AC 5 ms
5,248 KB
testcase_50 AC 12 ms
5,248 KB
testcase_51 AC 32 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

/* -*- coding: utf-8 -*-
 *
 * 2964.cc:  No.2964 Obstruction Bingo - yukicoder
 */

#include<cstdio>
#include<algorithm>

using namespace std;

/* constant */

const int MAX_L = 50;
const int MAX_K = 500;
const int MOD = 998244353;

enum { EQ = 0, A = 1, B = 2 };

/* typedef */

template<const int MOD>
struct MI {
  int v;
  MI(): v() {}
  MI(int _v): v(_v % MOD) { if (v < 0) v += MOD; }
  MI(long long _v): v(_v % MOD) { if (v < 0) v += MOD; }

  explicit operator int() const { return v; }
  
  MI operator+(const MI m) const { return MI(v + m.v); }
  MI operator-(const MI m) const { return MI(v + MOD - m.v); }
  MI operator*(const MI m) const { return MI((long long)v * m.v); }

  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); }

  bool operator==(const MI m) const { return v == m.v; }
  bool operator!=(const MI m) const { return v != m.v; }

  MI pow(int n) const {  // a^n % MOD
    MI pm = 1, a = *this;
    while (n > 0) {
      if (n & 1) pm *= a;
      a *= a;
      n >>= 1;
    }
    return pm;
  }

  MI inv() const { return pow(MOD - 2); }
  MI operator/(const MI m) const { return *this * m.inv(); }
  MI &operator/=(const MI m) { return (*this = *this / m); }
};

using mi = MI<MOD>;

/* global variables */

char s[MAX_L + 4], t[MAX_L + 4];
int as[26];
mi ps[26], dp[2][MAX_L][MAX_L][3];

/* subroutines */

/* main */

int main() {
  int l, k;
  scanf("%d%d%s%s", &l, &k, s, t);
  for (int i = 0; i < 26; i++) scanf("%d", as + i);

  int sum = 0;
  for (int i = 0; i < 26; i++) sum += as[i];
  mi invsum = mi(sum).inv();
  for (int i = 0; i < 26; i++) ps[i] = invsum * as[i];

  dp[0][0][0][EQ] = 1;
  int cur = 0, nxt = 1;

  mi asum = 0, bsum = 0;
  for (int i = 0; i < k; i++) {
    for (int a = 0; a < l; a++)
      for (int b = 0; b < l; b++)
	fill(dp[nxt][a][b], dp[nxt][a][b] + 3, 0);

    for (int a = 0; a < l; a++) {
      int a1 = (a + 1) % l, sa = s[a] - 'a';

      for (int b = 0; b < l; b++) {
	int b1 = (b + 1) % l, tb = t[b] - 'a';

	if ((int)dp[cur][a][b][EQ]) { // a == b
	  if (sa == tb) {
	    mi p = ps[sa], q = mi(1) - p;
	    dp[nxt][a1][b1][EQ] += dp[cur][a][b][EQ] * p;
	    dp[nxt][a][b][EQ] += dp[cur][a][b][EQ] * q;
	  }
	  else {
	    mi pa = ps[sa], pb = ps[tb], q = mi(1) - (pa + pb);
	    if (a1 == b) asum += dp[cur][a][b][EQ] * pa;
	    else dp[nxt][a1][b][A] += dp[cur][a][b][EQ] * pa;
	    if (a == b1) bsum += dp[cur][a][b][EQ] * pb;
	    else dp[nxt][a][b1][B] += dp[cur][a][b][EQ] * pb;
	    dp[nxt][a][b][EQ] += dp[cur][a][b][EQ] * q;
	  }
	}

	if ((int)dp[cur][a][b][A]) { // a != b
	  if (sa == tb) {
	    mi p = ps[sa], q = mi(1) - p;
	    dp[nxt][a1][b1][A] += dp[cur][a][b][A] * p;
	    dp[nxt][a][b][A] += dp[cur][a][b][A] * q;
	  }
	  else {
	    mi pa = ps[sa], pb = ps[tb], q = mi(1) - (pa + pb);
	    if (a1 == b) asum += dp[cur][a][b][A] * pa;
	    else dp[nxt][a1][b][A] += dp[cur][a][b][A] * pa;
	    if (a == b1) dp[nxt][a][b1][EQ] += dp[cur][a][b][A] * pb;
	    else dp[nxt][a][b1][A] += dp[cur][a][b][A] * pb;
	    dp[nxt][a][b][A] += dp[cur][a][b][A] * q;
	  }
	}
	
	if ((int)dp[cur][a][b][B]) { // a != b
	  if (sa == tb) {
	    mi p = ps[sa], q = mi(1) - p;
	    dp[nxt][a1][b1][B] += dp[cur][a][b][B] * p;
	    dp[nxt][a][b][B] += dp[cur][a][b][B] * q;
	  }
	  else {
	    mi pa = ps[sa], pb = ps[tb], q = mi(1) - (pa + pb);
	    if (a1 == b) dp[nxt][a1][b][EQ] += dp[cur][a][b][B] * pa;
	    else dp[nxt][a1][b][B] += dp[cur][a][b][B] * pa;
	    if (a == b1) bsum += dp[cur][a][b][B] * pb;
	    else dp[nxt][a][b1][B] += dp[cur][a][b][B] * pb;
	    dp[nxt][a][b][B] += dp[cur][a][b][B] * q;
	  }
	}
      }
    }
    
    swap(cur, nxt);
  }

  printf("%d %d\n", (int)asum, (int)bsum);
  
  return 0;
}
0