Language: C++

#line 2 "header.hpp"

//%snippet.set('header')%
//%snippet.fold()%
#ifndef HEADER_H
#define HEADER_H

// template version 2.0
using namespace std;
#include <bits/stdc++.h>

// varibable settings
const long long INF = 1e18;
template <class T> constexpr T inf = numeric_limits<T>::max() / 2.1;

#define _overload3(_1, _2, _3, name, ...) name
#define _rep(i, n) repi(i, 0, n)
#define repi(i, a, b) for (ll i = (ll)(a); i < (ll)(b); ++i)
#define rep(...) _overload3(__VA_ARGS__, repi, _rep, )(__VA_ARGS__)
#define _rrep(i, n) rrepi(i, 0, n)
#define rrepi(i, a, b) for (ll i = (ll)((b)-1); i >= (ll)(a); --i)
#define r_rep(...) _overload3(__VA_ARGS__, rrepi, _rrep, )(__VA_ARGS__)
#define each(i, a) for (auto &&i : a)
#define all(x) (x).begin(), (x).end()
#define sz(x) ((int)(x).size())
#define pb(a) push_back(a)
#define mp(a, b) make_pair(a, b)
#define mt(...) make_tuple(__VA_ARGS__)
#define ub upper_bound
#define lb lower_bound
#define lpos(A, x) (lower_bound(all(A), x) - A.begin())
#define upos(A, x) (upper_bound(all(A), x) - A.begin())
template <class T> inline void chmax(T &a, const T &b) { if ((a) < (b)) (a) = (b); }
template <class T> inline void chmin(T &a, const T &b) { if ((a) > (b)) (a) = (b); }
template <typename X, typename T> auto make_table(X x, T a) { return vector<T>(x, a); }
template <typename X, typename Y, typename Z, typename... Zs> auto make_table(X x, Y y, Z z, Zs... zs) { auto cont = make_table(y, z, zs...); return vector<decltype(cont)>(x, cont); }

#define cdiv(a, b) (((a) + (b)-1) / (b))
#define is_in(x, a, b) ((a) <= (x) && (x) < (b))
#define uni(x) sort(all(x)); x.erase(unique(all(x)), x.end())
#define slice(l, r) substr(l, r - l)

typedef long long ll;
typedef long double ld;
using vl = vector<ll>;
using vvl = vector<vl>;
using pll = pair<ll, ll>;

template <typename T>
using PQ = priority_queue<T, vector<T>, greater<T>>;
void check_input() { assert(cin.eof() == 0); int tmp; cin >> tmp; assert(cin.eof() == 1); }

#if defined(PCM) || defined(LOCAL)
#else
#define dump(...) ;
#define dump_1d(...) ;
#define dump_2d(...) ;
#define cerrendl ;
#endif

#endif /* HEADER_H */
//%snippet.end()%
#line 2 "solve.cpp"
template<class T=ll> using vec = vector<T>;
struct Fast { Fast() { std::cin.tie(0); ios::sync_with_stdio(false); } } fast;

// snippet:segment_tree {{{
template <typename T> struct SegmentTree {  // {{{
    private:
        using F = function<T(T, T)>;
        int n;  // 元の配列のサイズ
        int N;  // n以上の最小の2冪
        vector<T> node;
        F merge;
        T identity;

    public:
        SegmentTree() {}
        SegmentTree(vector<T> a, F f, T id) : merge(f), identity(id) {
            n = a.size();
            N = 1;
            while (N < n) N *= 2;
            node.resize(2 * N - 1, identity);
            for (int i = 0; i < n; i++) node[i + N - 1] = a[i];
            for (int i = N - 2; i >= 0; i--)
                node[i] = merge(node[2 * i + 1], node[2 * i + 2]);
        }
        SegmentTree(int n, F f, T id) : SegmentTree(vector<T>(n, id), f, id) {}

        T& operator[](int i) { return node[i + N - 1]; }

        void update(int i, T val) {
            i += (N - 1);
            node[i] = val;
            while (i > 0) {
                i = (i - 1) / 2;
                node[i] = merge(node[2 * i + 1], node[2 * i + 2]);
            }
        }

        void add(int i, T val) {
            i += (N - 1);
            node[i] += val;
            while (i > 0) {
                i = (i - 1) / 2;
                node[i] = merge(node[2 * i + 1], node[2 * i + 2]);
            }
        }

        // query for [a, b)
        T query(int a, int b, int k = 0, int l = 0, int r = -1) {
            if (r < 0) r = N;
            if (r <= a || b <= l) return identity;
            if (a <= l && r <= b) return node[k];

            T vl = query(a, b, 2 * k + 1, l, (l + r) / 2);
            T vr = query(a, b, 2 * k + 2, (l + r) / 2, r);
            return merge(vl, vr);
        }

        // find most right element for [a, b)
        int find_mr(int a, int b, function<bool(T)> is_ok, int k = 0, int l = 0, int r = -1){
            if (r < 0) r = N;
            if (r <= a || b <= l || !is_ok(node[k])) return a-1;
            if (k >= N-1) return k - (N-1);  // leaf

            T vr = find_mr(a, b, is_ok, 2 * k + 2, (l + r) / 2, r);
            if (vr != a-1) return vr;

            T vl = find_mr(a, b, is_ok, 2 * k + 1, l, (l + r) / 2);
            return vl;
        }

        // find most left element for [a, b)
        int find_ml(int a, int b, function<bool(T)> is_ok, int k = 0, int l = 0, int r = -1){
            // find most left
            if (r < 0) r = N;
            if (r <= a || b <= l || !is_ok(node[k])) return b;
            if (k >= N-1) return k - (N-1);  // leaf

            T vl = find_ml(a, b, is_ok, 2 * k + 1, l, (l + r) / 2);
            if (vl != b) return vl;

            T vr = find_ml(a, b, is_ok, 2 * k + 2, (l + r) / 2, r);
            return vr;
        }

#if defined(PCM) || defined(LOCAL)
        friend ostream& operator<<(ostream& os, SegmentTree<T>& sg) {  //
            os << "[";
            for (int i = 0; i < sg.n; i++) {
                os << sg[i] << (i == sg.n - 1 ? "]\n" : ", ");
            }
            return os;
        }
#endif
};/*}}}*/
// sample of initialize SegmentTree:
// -----------------------------------------------
// auto mymin=[](auto a, auto b){return min(a,b);};
// SegmentTree<ll> seg(a, mymin, 1e18);


// auto add=[](auto a, auto b){return a+b;};
// SegmentTree<ll> seg(a, add, 0);
// -----------------------------------------------
// snippet:segment_tree }}}

int solve() {
    string s;cin>>s;
    int n = sz(s);

    auto mymax=[](auto a, auto b){ 
        auto f = [&](auto a, auto b){
            if (abs(a) < abs(b)){
                return (abs(a) + abs(b)) % 2
            }
            else{
                return abs(a) - abs(b);
            }
        };
        if (f(a) < f(b)){ return a; }
        else{ return b; }
    };

    ll res = 1;
    vec<pii> x;
    int z = 0;
    int p = 0;
    rep(i, n){
        if (s[i]=='?') p++;
        else if (s[i]=='0') z++;
        else z--;
        x.pb(mp(z, p));
    }
    SegmentTree<pll> seg(x, mymax, mp(0, 0));

    rep(i, n){
        seg.add(i+1, n, -mp(x[i].first));
        chmax(res, seg.query(i+1, n));
        seg.add(i+1, n, +mp(x[i].first));
    }

    cout << res << endl;
    return 0; 
}


int main(){/*{{{*/
    solve();
    check_input();
    return 0;
}/*}}}*/


Compiler output:
solve.cpp:137:39: error: macro "mp" requires 2 arguments, but only 1 given
header.hpp:27:9: note: macro "mp" defined here
solve.cpp:139:39: error: macro "mp" requires 2 arguments, but only 1 given
header.hpp:27:9: note: macro "mp" defined here
solve.cpp: In lambda function:
solve.cpp:114:45: error: expected ';' before '}' token
solve.cpp: In function 'int solve()':
solve.cpp:125:9: error: 'pii' was not declared in this scope
solve.cpp:125:12: error: template argument 1 is invalid
header.hpp:26:15: error: request for member 'push_back' in 'x', which is of non-class type 'int'
solve.cpp:132:11: note: in expansion of macro 'pb'
solve.cpp: In instantiation of 'solve()::<lambda(auto:28, auto:29)> [with auto:28 = std::pair<long long int, long long int>; auto:29 = std::pair<long long int, long long int>]':
/usr/include/c++/14/type_traits:2655:26:   required by substitution of 'template<class _Fn, class ... _Args> static std::__result_of_success<decltype (declval<_Fn>()((declval<_Args>)()...)), std::__invoke_other> std::__result_of_other_impl::_S_test(int) [with _Fn = solve()::<lambda(auto:28, auto:29)>&; _Args = {std::pair<long long int, long long int>, std::pair<long long int, long long int>}]'
 2655 |       std::declval<_Fn>()(std::declval<_Args>()...)
      |       ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/c++/14/type_traits:2666:60:   required from 'struct std::__result_of_impl<false, false, solve()::<lambda(auto:28, auto:29)>&, std::pair<long long int, long long int>, std::pair<long long int, long long int> >'
 2666 |       using type = decltype(_S_test<_Functor, _ArgTypes...>(0));
      |                             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~
/usr/include/c++/14/bits/std_function.h:348:9:   recursively required by substitution of 'template<class _Result, class _Ret> struct std::__is_invocable_impl<_Result, _Ret, false, std::__void_t<typename _CTp::type> > [with _Result = std::__invoke_result<solve()::<lambda(auto:28, auto:29)>&, std::pair<long long int, long long int>, std::pair<long long int, long long int> >; _Ret = std::pair<long long int, long long int>]'
  348 |         struct _Callable
      |                ^~~~~~~~~
/usr/include/c++/14/bits/std_function.h:348:9:   required from 'struct std::function<std::pair<long long int, long long int>(std::pair<long long int, long long int>, std::pair<long long int, long long int>)>::_Callable<solve()::<lambda(auto:28, auto:29)>&, solve()::<lambda(auto:28, auto:29)>, std::__invoke_result<solve()::<lambda(auto:28, auto:29)>&, std::pair<long long int, long long int>, std::pair<long long int, long long int> > >'
/usr/include/c++/14/bits/std_function.h:353:41:   required by substitution of 'template<class _Res, class ... _ArgTypes> template<class _Cond, class _Tp> using std::function<_Res(_ArgTypes ...)>::_Requires = std::__enable_if_t<((bool)_Cond::value), _Tp> [with _Cond = std::function<std::pair<long long int, long long int>(std::pair<long long int, long long int>, std::pair<long long int, long long int>)>::_Callable<solve()::<lambda(auto:28, auto:29)>&, solve()::<lambda(auto:28, auto:29)>, std::__invoke_result<solve()::<lambda(auto:28, auto:29)>&, std::pair<long long int, long long int>, std::pair<long long int, long long int> > >; _Tp = void; _Res = std::pair<long long int, long long int>; _ArgTypes = {std::pair<long long int, long long int>, std::pair<long long int, long long int>}]'
  353 |         using _Requires = __enable_if_t<_Cond::value, _Tp>;
      |                                                ^~~~~
/usr/include/c++/14/bits/std_function.h:434:9:   required by substitution of 'template<class _Functor, class _Constraints> std::function<std::pair<long long int, long long int>(std::pair<long long int, long long int>, std::pair<long long int, long long int>)>::function(_Functor&&) [with _Functor = solve()::<lambda(auto:28, auto:29)>&; _Constraints = <missing>]'
  434 |                typename _Constraints = _Requires<_Callable<_Functor>>>
      |                ^~~~~~~~
solve.cpp:134:44:   required from here
solve.cpp:120:14: error: no match for call to '(solve()::<lambda(auto:28, auto:29)>::<lambda(auto:30, auto:31)>) (std::pair<long long int, long long int>&)'
solve.cpp:112:18: note: candidate: 'template<class auto:30, class auto:31> solve()::<lambda(auto:28, auto:29)>::<lambda(auto:30, auto:31)>'
solve.cpp:112:18: note:   candidate expects 2 arguments, 1 provided
solve.cpp:120:21: error: no match for call to '(solve()::<lambda(auto:28, auto:29)>::<lambda(auto:30, auto:31)>) (std::pair<long long int, long long int>&)'
solve.cpp:112:18: note: candidate: 'template<class auto:30, class auto:31> solve()::<lambda(auto:28, auto:29)>::<lambda(auto:30, auto:31)>'
solve.cpp:112:18: note:   candidate expects 2 arguments, 1 provided
solve.cpp:137:26: error: 'mp' was not declared in this scope
solve.cpp:138:14: error: no matching function for call to 'chmax(ll&, std::pair<long long int, long long int>)'
header.hpp:33:32: note: candidate: 'template<class T> void chmax(T&, const T&)'
header.hpp:33:32: note:   template argument deduction/substitution failed:
solve.cpp:138:14: note:   deduced conflicting types for parameter 'const T' ('long long int' and 'std::pair<long long int, long long int>')
solve.cpp: In lambda function:
solve.cpp:122:5: warning: control reaches end of non-void function [-Wreturn-type]