結果
| 問題 | No.2219 Re:010 | 
| コンテスト | |
| ユーザー |  | 
| 提出日時 | 2023-02-17 23:23:49 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 8 ms / 2,000 ms | 
| コード長 | 718 bytes | 
| コンパイル時間 | 2,187 ms | 
| コンパイル使用メモリ | 198,780 KB | 
| 最終ジャッジ日時 | 2025-02-10 18:13:03 | 
| ジャッジサーバーID (参考情報) | judge3 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 21 | 
ソースコード
#include <bits/stdc++.h>
#include <atcoder/modint>
using namespace std;
using mint = atcoder::modint998244353;
int main() 
{
	cin.tie(0);
	ios::sync_with_stdio(false);
  string s;
  cin >> s;
  int n = s.size();
  vector<int> S0(n + 1), Sq(n + 1);
  for (int i = 0; i < n; i++) {
    S0[i + 1] = S0[i] + (s[i] == '0');
    Sq[i + 1] = Sq[i] + (s[i] == '?');
  }
  mint ans = 0;
  const mint inv2 = mint(2).inv();
  for (int i = 0; i < n; i++) {
    mint L = S0[i] + Sq[i] * inv2;
    mint R = (S0[n] - S0[i + 1]) + (Sq[n] - Sq[i + 1]) * inv2;
    mint E = L * R;
    if (s[i] == '0')
      E = 0;
    else if (s[i] == '?')
      E *= inv2;
    ans += E;
  }
  ans *= mint(2).pow(Sq[n]);
  cout << ans.val() << "\n";
}
            
            
            
        