結果
| 問題 | No.2219 Re:010 | 
| コンテスト | |
| ユーザー |  Ricky_pon | 
| 提出日時 | 2023-02-19 10:04:25 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 33 ms / 2,000 ms | 
| コード長 | 2,283 bytes | 
| コンパイル時間 | 1,231 ms | 
| コンパイル使用メモリ | 131,412 KB | 
| 最終ジャッジ日時 | 2025-02-10 19:03:58 | 
| ジャッジサーバーID (参考情報) | judge4 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 21 | 
ソースコード
// #include <bits/stdc++.h>
#include <string.h>
#include <algorithm>
#include <array>
#include <bitset>
#include <cassert>
#include <chrono>
#include <ciso646>
#include <climits>
#include <cmath>
#include <complex>
#include <cstdio>
#include <functional>
#include <iomanip>
#include <iostream>
#include <map>
#include <numeric>
#include <queue>
#include <random>
#include <set>
#include <stack>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>
#define For(i, a, b) for (int i = (int)(a); (i) < (int)(b); ++(i))
#define rFor(i, a, b) for (int i = (int)(a)-1; (i) >= (int)(b); --(i))
#define rep(i, n) For(i, 0, n)
#define rrep(i, n) rFor(i, n, 0)
#define fi first
#define se second
#include <atcoder/modint>
#include <algorithm>
#include <cassert>
#include <vector>
namespace rklib {
template <class T>
bool chmax(T &a, const T &b) {
    if (a < b) {
        a = b;
        return true;
    }
    return false;
}
template <class T>
bool chmin(T &a, const T &b) {
    if (a > b) {
        a = b;
        return true;
    }
    return false;
}
template <class T>
bool chmin_non_negative(T &a, const T &b) {
    if (a < 0 || a > b) {
        a = b;
        return true;
    }
    return false;
}
template <class T>
T div_floor(T a, T b) {
    if (b < 0) a *= -1, b *= -1;
    return a >= 0 ? a / b : (a + 1) / b - 1;
}
template <class T>
T div_ceil(T a, T b) {
    if (b < 0) a *= -1, b *= -1;
    return a > 0 ? (a - 1) / b + 1 : a / b;
}
}  // namespace rklib
using namespace std;
using namespace rklib;
using lint = long long;
using pii = pair<int, int>;
using pll = pair<lint, lint>;
using mint = atcoder::modint;
int main() {
    string s;
    cin >> s;
    int n = s.size();
    mint sum[n + 1];
    rep(i, n) {
        if (s[i] == '0') {
            sum[i + 1] = 1;
        } else if (s[i] == '?') {
            sum[i + 1] = mint(2).inv();
        }
        sum[i + 1] += sum[i];
    }
    mint ans = 0;
    rep(i, n) {
        if (s[i] == '1') {
            ans += sum[i] * (sum[n] - sum[i + 1]);
        } else if (s[i] == '?') {
            ans += sum[i] * (sum[n] - sum[i + 1]) * mint(2).inv();
        }
    }
    ans *= mint(2).pow(count(s.begin(), s.end(), '?'));
    printf("%u\n", ans.val());
}
            
            
            
        