Problem p03134 (C++)

Buggy submission (status: Time Limit Exceeded):
#include <algorithm>
#include <cassert>
#include <cfloat>
#include <climits>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <deque>
#include <iostream>
#include <limits>
#include <map>
#include <numeric>
#include <queue>
#include <random>
#include <set>
#include <stack>
#include <string>
#include <tuple>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>

#define FOR(i, k, n) for (int(i) = (k); (i) < (n); ++(i))
#define rep(i, n) FOR(i, 0, n)
#define all(v) begin(v), end(v)
#define debug(x) std::cerr << #x << ": " << x << "\n"
#define debug2(x, y)                                                           \
  std::cerr << #x << ": " << x << ", " << #y << ": " << y << "\n"
#define debug3(x, y, z)                                                        \
  std::cerr << #x << ": " << x << ", " << #y << ": " << y << ", " << #z        \
            << ": " << z << "\n"

typedef long long ll;
typedef std::vector<int> vi;
typedef std::vector<vi> vvi;
typedef std::vector<ll> vll;
typedef std::vector<vll> vvll;
template <typename T> using vvec = std::vector<std::vector<T>>;
template <typename T> auto make_v(size_t sz) { return std::vector<T>(sz); }
template <typename T, typename... Ts> auto make_v(size_t sz, Ts... ts) {
  return std::vector<decltype(make_v<T>(ts...))>(sz, make_v<T>(ts...));
}
template <typename T> void fill_v(T &var, const T &x) { var = x; }
template <typename V, typename T> void fill_v(V &v, const T &x) {
  for (auto &&w : v) {
    fill_v(w, x);
  }
}

template <typename T>
std::ostream &operator<<(std::ostream &s, const std::vector<T> &v) {
  int sz = v.size();
  s << "\n";
  rep(i, sz) {
    s << v[i];
    if (i < sz - 1) {
      s << "\t";
    }
  }
  s << "\n";
  return s;
}
template <typename T>
std::ostream &operator<<(std::ostream &s,
                         const std::vector<std::vector<T>> &v) {
  for (auto &&w : v) {
    s << w;
  }
  return s;
}
template <typename T>
std::ostream &operator<<(std::ostream &s, const std::deque<T> &v) {
  int sz = v.size();
  s << "\n";
  rep(i, sz) {
    s << v[i];
    if (i < sz - 1) {
      s << "\t";
    }
  }
  s << "\n";
  return s;
}
template <typename T>
std::ostream &operator<<(std::ostream &s, const std::deque<std::deque<T>> &v) {
  for (auto &&w : v) {
    s << w;
  }
  return s;
}
template <typename T>
std::ostream &operator<<(std::ostream &s, const std::set<T> &v) {
  s << "\n";
  for (auto &&elm : v) {
    s << elm << "\t";
  }
  s << "\n";
  return s;
}

inline void scan(int &a) { scanf("%d", &a); }
inline void scan(ll &a) { scanf("%lld", &a); }
inline void scan(char &a) { scanf(" %c", &a); }
inline void scan(double &a) { scanf("%lf", &a); }
template <typename T> inline void scan(std::vector<T> &v) {
  for (auto &&sv : v) {
    scan(sv);
  }
}
template <typename First, typename... Args>
inline void scan(First &f, Args &...args) {
  scan(f);
  scan(args...);
}
inline void scan(std::string &s) {
  char BUF[3000000];
  scanf(" %s", BUF);
  s = std::string(BUF);
}
inline void print(int a) { printf("%d\n", a); }
inline void print(ll a) { printf("%lld\n", a); }
inline void print(double a) { printf("%.12f\n", a); }
inline void print(std::string s) { std::cout << s << "\n"; }

using namespace std;

int mod = 998244353;

int main() {
  string s;
  scan(s);
  int n = s.length();
  vi red(n + 1, 0);
  vi blu(n + 1, 0);
  rep(i, n) {
    red[i + 1] = red[i];
    blu[i + 1] = blu[i];
    if (s[i] == '0') {
      red[i + 1] += 2;
    } else if (s[i] == '1') {
      red[i + 1] += 1;
      blu[i + 1] += 1;
    } else {
      blu[i + 1] += 2;
    }
  }
  int nr = red[n];
  int nb = blu[n];

  vvll dp(nr + 2, vll(nb + 2, 0));
  dp[0][0] = 1;
  rep(i, nr + 1) {
    rep(j, nb + 1) {
      int cr = red[min(n, i + j + 1)] - i;
      int cb = blu[min(n, i + j + 1)] - j;
      if (cr > 0) {
        dp[i + 1][j] = (dp[i + 1][j] + dp[i][j]) % mod;
      }
      if (cb > 0) {
        dp[i][j + 1] = (dp[i][j + 1] + dp[i][j]) % mod;
      }
    }
  }
  debug(dp);
  print(dp[nr][nb]);

  return 0;
}


Fixed submission:
#include <algorithm>
#include <cassert>
#include <cfloat>
#include <climits>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <deque>
#include <iostream>
#include <limits>
#include <map>
#include <numeric>
#include <queue>
#include <random>
#include <set>
#include <stack>
#include <string>
#include <tuple>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>

#define FOR(i, k, n) for (int(i) = (k); (i) < (n); ++(i))
#define rep(i, n) FOR(i, 0, n)
#define all(v) begin(v), end(v)
#define debug(x) std::cerr << #x << ": " << x << "\n"
#define debug2(x, y)                                                           \
  std::cerr << #x << ": " << x << ", " << #y << ": " << y << "\n"
#define debug3(x, y, z)                                                        \
  std::cerr << #x << ": " << x << ", " << #y << ": " << y << ", " << #z        \
            << ": " << z << "\n"

typedef long long ll;
typedef std::vector<int> vi;
typedef std::vector<vi> vvi;
typedef std::vector<ll> vll;
typedef std::vector<vll> vvll;
template <typename T> using vvec = std::vector<std::vector<T>>;
template <typename T> auto make_v(size_t sz) { return std::vector<T>(sz); }
template <typename T, typename... Ts> auto make_v(size_t sz, Ts... ts) {
  return std::vector<decltype(make_v<T>(ts...))>(sz, make_v<T>(ts...));
}
template <typename T> void fill_v(T &var, const T &x) { var = x; }
template <typename V, typename T> void fill_v(V &v, const T &x) {
  for (auto &&w : v) {
    fill_v(w, x);
  }
}

template <typename T>
std::ostream &operator<<(std::ostream &s, const std::vector<T> &v) {
  int sz = v.size();
  s << "\n";
  rep(i, sz) {
    s << v[i];
    if (i < sz - 1) {
      s << "\t";
    }
  }
  s << "\n";
  return s;
}
template <typename T>
std::ostream &operator<<(std::ostream &s,
                         const std::vector<std::vector<T>> &v) {
  for (auto &&w : v) {
    s << w;
  }
  return s;
}
template <typename T>
std::ostream &operator<<(std::ostream &s, const std::deque<T> &v) {
  int sz = v.size();
  s << "\n";
  rep(i, sz) {
    s << v[i];
    if (i < sz - 1) {
      s << "\t";
    }
  }
  s << "\n";
  return s;
}
template <typename T>
std::ostream &operator<<(std::ostream &s, const std::deque<std::deque<T>> &v) {
  for (auto &&w : v) {
    s << w;
  }
  return s;
}
template <typename T>
std::ostream &operator<<(std::ostream &s, const std::set<T> &v) {
  s << "\n";
  for (auto &&elm : v) {
    s << elm << "\t";
  }
  s << "\n";
  return s;
}

inline void scan(int &a) { scanf("%d", &a); }
inline void scan(ll &a) { scanf("%lld", &a); }
inline void scan(char &a) { scanf(" %c", &a); }
inline void scan(double &a) { scanf("%lf", &a); }
template <typename T> inline void scan(std::vector<T> &v) {
  for (auto &&sv : v) {
    scan(sv);
  }
}
template <typename First, typename... Args>
inline void scan(First &f, Args &...args) {
  scan(f);
  scan(args...);
}
inline void scan(std::string &s) {
  char BUF[3000000];
  scanf(" %s", BUF);
  s = std::string(BUF);
}
inline void print(int a) { printf("%d\n", a); }
inline void print(ll a) { printf("%lld\n", a); }
inline void print(double a) { printf("%.12f\n", a); }
inline void print(std::string s) { std::cout << s << "\n"; }

using namespace std;

int mod = 998244353;

int main() {
  string s;
  scan(s);
  int n = s.length();
  vi red(n + 1, 0);
  vi blu(n + 1, 0);
  rep(i, n) {
    red[i + 1] = red[i];
    blu[i + 1] = blu[i];
    if (s[i] == '0') {
      red[i + 1] += 2;
    } else if (s[i] == '1') {
      red[i + 1] += 1;
      blu[i + 1] += 1;
    } else {
      blu[i + 1] += 2;
    }
  }
  int nr = red[n];
  int nb = blu[n];

  vvll dp(nr + 2, vll(nb + 2, 0));
  dp[0][0] = 1;
  rep(i, nr + 1) {
    rep(j, nb + 1) {
      int cr = red[min(n, i + j + 1)] - i;
      int cb = blu[min(n, i + j + 1)] - j;
      if (cr > 0) {
        dp[i + 1][j] = (dp[i + 1][j] + dp[i][j]) % mod;
      }
      if (cb > 0) {
        dp[i][j + 1] = (dp[i][j + 1] + dp[i][j]) % mod;
      }
    }
  }
  print(dp[nr][nb]);

  return 0;
}