結果

問題 No.2219 Re:010
ユーザー ShirotsumeShirotsume
提出日時 2023-02-14 07:44:14
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 129 ms / 2,000 ms
コード長 1,369 bytes
コンパイル時間 289 ms
コンパイル使用メモリ 82,344 KB
実行使用メモリ 96,116 KB
最終ジャッジ日時 2024-07-16 17:33:56
合計ジャッジ時間 3,469 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 21
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
from collections import deque, Counter
input = lambda: sys.stdin.readline().rstrip()
ii = lambda: int(input())
mi = lambda: map(int, input().split())
li = lambda: list(mi())
inf = 2 ** 63 - 1
mod = 998244353
class Cumsum1d():
    def __init__(self, A):
        self.n = len(A)
        self.Suma = [0] * (self.n + 1)
        for i in range(self.n):
            self.Suma[i + 1] += self.Suma[i] + A[i]

    def query(self, l, r):
        #0-indexed
        return self.Suma[r] - self.Suma[l]

    def get(self, i):
        return self.Suma[i + 1] - self.Suma[i]

    def __getitem__(self, p):
        if isinstance(p, int):
            return self.get(p)
        else:
            return self.query(p.start, p.stop)

s = input()

n = len(s)

d2 = pow(2, mod - 2, mod)
zero = Cumsum1d([1 if s[i] == '0' else 0 for i in range(n)])
one = Cumsum1d([1 if s[i] == '1' else 0 for i in range(n)])
wild = Cumsum1d([1 if s[i] == '?' else 0 for i in range(n)])
ans = 0
for i in range(n):
    if s[i] == '1' or s[i] == '?':
        cnt = zero[0:i] * zero[i+1:n]
        cnt += wild[0:i] * zero[i+1:n] % mod * d2
        cnt %= mod
        cnt += zero[0:i] * wild[i+1:n] % mod * d2
        cnt += wild[0:i] * wild[i+1:n] % mod * d2 % mod * d2
        cnt %= mod
        if s[i] == '?':
            cnt *= d2
        ans += cnt

print(ans * pow(2, wild[0:n], mod) % mod)
0