Problem p02555 (C++) — buggy submission, verdict: Runtime Error

#include <bits/stdc++.h>
#ifndef ONLINE_JUDGE
#define _GLIBCXX_DEBUG
#endif
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define rep2(i, s, n) for (int i = s; i < (int)(n); i++)
typedef long long ll;

template <ll mod> struct Fp {
  ll x;
  constexpr Fp(ll x = 0) noexcept : x((x % mod + mod) % mod) {}
  /*-------ここから演算子-------*/
  constexpr Fp operator-() const noexcept { return Fp(-x); }
  constexpr Fp &operator+=(const Fp &a) noexcept {
    if ((x += a.x) >= mod)
      x -= mod;
    return *this;
  }
  constexpr Fp &operator-=(const Fp &a) noexcept {
    if ((x += mod - a.x) >= mod)
      x -= mod;
    return *this;
  }
  constexpr Fp &operator*=(const Fp &a) noexcept {
    (x *= a.x) %= mod;
    return *this;
  }
  constexpr Fp &operator/=(const Fp &a) noexcept { return (*this) *= a.inv(); }
  constexpr Fp operator+(const Fp &a) const noexcept {
    Fp res(*this);
    return res += a;
  }
  constexpr Fp operator-(const Fp &a) const noexcept {
    Fp res(*this);
    return res -= a;
  }
  constexpr Fp operator*(const Fp &a) const noexcept {
    Fp res(*this);
    return res *= a;
  }
  constexpr Fp operator/(const Fp &a) const noexcept {
    Fp res(*this);
    return res /= a;
  }

  constexpr bool operator==(const Fp &a) const noexcept {
    if ((*this).x == a.x)
      return true;
    else
      return false;
  }
  constexpr bool operator!=(const Fp &a) const noexcept {
    return !((*this) == a);
  }
  constexpr bool operator<(const Fp &a) const noexcept {
    if ((*this).x < a.x)
      return true;
    else
      return false;
  }
  constexpr bool operator>(const Fp &a) const noexcept {
    if ((*this).x > a.x)
      return true;
    else
      return false;
  }
  constexpr bool operator<=(const Fp &a) const noexcept {
    return !((*this) > a);
  }
  constexpr bool operator>=(const Fp &a) const noexcept {
    return !((*this) < a);
  }
  /*-------ここまで演算子-------*/

  constexpr Fp pow(const ll &t) const noexcept {
    if (t == 0)
      return (Fp)1;
    if (t % 2 == 0) {
      Fp k = pow(t / 2);
      return k * k;
    } else {
      if (t > 0)
        return (*this) * pow(t - 1);
      else
        return pow(t + 1) / (*this);
    }
  }
  constexpr Fp inv() const noexcept { return (Fp)forinv((*this).x, mod).first; }

  friend ostream &operator<<(ostream &os, const Fp &m) noexcept {
    os << m.x;
    return os;
  }
  friend istream &operator>>(istream &is, Fp &m) noexcept {
    is >> m.x;
    m.x %= mod;
    if (m.x < 0)
      m.x += mod;
    return is;
  }

private:
  // Euclidの互除法
  constexpr pair<ll, ll> forinv(ll a, ll b) const noexcept {
    if (b == 0)
      return pair<ll, ll>(1, 0);

    pair<ll, ll> ans = forinv(b, a % b);
    pair<ll, ll> t = pair<ll, ll>(ans.second, ans.first - a / b * ans.second);
    return t;
  }
};

const ll big = 1000000007;
using mint = Fp<big>;

/*-------comの処理関数たち-------*/
vector<mint> fac, facinv, inv;
// 引数がmodに収まるときだけ使っていい
mint com(const mint &x, const mint &y) noexcept {
  if (y > x)
    return 0;
  mint ans = 1;
  for (mint i = 0; i < y; i += 1) {
    ans *= (x - i) / (y - i);
  }
  return ans;
}
// 引数がmodに収まらないときはこっちを使う
mint com2(const ll &x, const ll &y) noexcept {
  if (y > x || y < 0 || x < 0)
    return 0;
  mint ans = 1;
  rep(i, y) {
    mint t = x - i, s = y - i;
    ans *= t / s;
  }
  return ans;
}
// 大量のcomの処理の時
void cominit(const int &n) noexcept {
  fac.resize(n), facinv.resize(n), inv.resize(n);
  fac[0] = facinv[0] = fac[1] = facinv[1] = 1;
  inv[1] = 1;
  rep2(i, 2, n) {
    inv[i] = -inv[big % i] * (big / i);
    fac[i] = fac[i - 1] * i;
    facinv[i] = facinv[i - 1] * inv[i];
  }
  return;
}
mint coms(const mint &x, const mint &y) noexcept {
  if (y > x || y < 0 || x < 0)
    return 0;
  return fac[x.x] * facinv[y.x] * facinv[(x - y).x];
}
/*-------comの処理終わり-------*/

using vecm = vector<vector<mint>>;
using vm = vector<mint>;
vecm product(vecm &a, vecm &b) { // 3*3の正方行列の積
  vecm ans(3, vm(3, 0));
  rep(i, 3) rep(j, 3) { rep(k, 3) ans[i][j] += a[i][k] * b[k][j]; }
  return ans;
}
/*
(A*B)ij=sum((A)ik*(B)kj)
*/
vecm pows(vecm &a, int t) {
  if (t == 1)
    return a;
  if (t % 2 == 0) {
    vecm k = pows(a, t / 2);
    return product(k, k);
  } else {
    vecm k = pows(a, t - 1);
    return product(k, a);
  }
}

int main() {
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  cout << fixed << setprecision(10);
  /*--------------------------------*/

  // a[n]=a[n-1]+a[n-3]
  /*
  vectorは縦vector↓
  {a[n],a[n-1],a[n-2]}={{1,0,1},{1,0,0},{0,1,0}}*{a[n-1],a[n-2],a[n-3]}
  ∴{a[n],a[n-1],a[n-2]}=A^(n-3) * {a[3],a[2],a[1]}=A^(n-3)*{1,0,0}
  →1行目のsumを出す
  */
  int n;
  cin >> n;
  if (n <= 2) {
    cout << 0 << endl;
    return 0;
  }
  if (n == 3) {
    cout << 1 << endl;
    return 0;
  }
  vecm A = {{1, 0, 1}, {1, 0, 0}, {0, 1, 0}};
  vecm ans = pows(A, n - 3);
  cout << ans[0][0] << '\\n';
}

Error: 0

Fixed submission:

#include <bits/stdc++.h>
#ifndef ONLINE_JUDGE
#define _GLIBCXX_DEBUG
#endif
using namespace std;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define rep2(i, s, n) for (int i = s; i < (int)(n); i++)
typedef long long ll;

template <ll mod> struct Fp {
  ll x;
  constexpr Fp(ll x = 0) noexcept : x((x % mod + mod) % mod) {}
  /*-------ここから演算子-------*/
  constexpr Fp operator-() const noexcept { return Fp(-x); }
  constexpr Fp &operator+=(const Fp &a) noexcept {
    if ((x += a.x) >= mod)
      x -= mod;
    return *this;
  }
  constexpr Fp &operator-=(const Fp &a) noexcept {
    if ((x += mod - a.x) >= mod)
      x -= mod;
    return *this;
  }
  constexpr Fp &operator*=(const Fp &a) noexcept {
    (x *= a.x) %= mod;
    return *this;
  }
  constexpr Fp &operator/=(const Fp &a) noexcept { return (*this) *= a.inv(); }
  constexpr Fp operator+(const Fp &a) const noexcept {
    Fp res(*this);
    return res += a;
  }
  constexpr Fp operator-(const Fp &a) const noexcept {
    Fp res(*this);
    return res -= a;
  }
  constexpr Fp operator*(const Fp &a) const noexcept {
    Fp res(*this);
    return res *= a;
  }
  constexpr Fp operator/(const Fp &a) const noexcept {
    Fp res(*this);
    return res /= a;
  }

  constexpr bool operator==(const Fp &a) const noexcept {
    if ((*this).x == a.x)
      return true;
    else
      return false;
  }
  constexpr bool operator!=(const Fp &a) const noexcept {
    return !((*this) == a);
  }
  constexpr bool operator<(const Fp &a) const noexcept {
    if ((*this).x < a.x)
      return true;
    else
      return false;
  }
  constexpr bool operator>(const Fp &a) const noexcept {
    if ((*this).x > a.x)
      return true;
    else
      return false;
  }
  constexpr bool operator<=(const Fp &a) const noexcept {
    return !((*this) > a);
  }
  constexpr bool operator>=(const Fp &a) const noexcept {
    return !((*this) < a);
  }
  /*-------ここまで演算子-------*/

  constexpr Fp pow(const ll &t) const noexcept {
    if (t == 0)
      return (Fp)1;
    if (t % 2 == 0) {
      Fp k = pow(t / 2);
      return k * k;
    } else {
      if (t > 0)
        return (*this) * pow(t - 1);
      else
        return pow(t + 1) / (*this);
    }
  }
  constexpr Fp inv() const noexcept { return (Fp)forinv((*this).x, mod).first; }

  friend ostream &operator<<(ostream &os, const Fp &m) noexcept {
    os << m.x;
    return os;
  }
  friend istream &operator>>(istream &is, Fp &m) noexcept {
    is >> m.x;
    m.x %= mod;
    if (m.x < 0)
      m.x += mod;
    return is;
  }

private:
  // Euclidの互除法
  constexpr pair<ll, ll> forinv(ll a, ll b) const noexcept {
    if (b == 0)
      return pair<ll, ll>(1, 0);

    pair<ll, ll> ans = forinv(b, a % b);
    pair<ll, ll> t = pair<ll, ll>(ans.second, ans.first - a / b * ans.second);
    return t;
  }
};

const ll big = 1000000007;
using mint = Fp<big>;

/*-------comの処理関数たち-------*/
vector<mint> fac, facinv, inv;
// 引数がmodに収まるときだけ使っていい
mint com(const mint &x, const mint &y) noexcept {
  if (y > x)
    return 0;
  mint ans = 1;
  for (mint i = 0; i < y; i += 1) {
    ans *= (x - i) / (y - i);
  }
  return ans;
}
// 引数がmodに収まらないときはこっちを使う
mint com2(const ll &x, const ll &y) noexcept {
  if (y > x || y < 0 || x < 0)
    return 0;
  mint ans = 1;
  rep(i, y) {
    mint t = x - i, s = y - i;
    ans *= t / s;
  }
  return ans;
}
// 大量のcomの処理の時
void cominit(const int &n) noexcept {
  fac.resize(n), facinv.resize(n), inv.resize(n);
  fac[0] = facinv[0] = fac[1] = facinv[1] = 1;
  inv[1] = 1;
  rep2(i, 2, n) {
    inv[i] = -inv[big % i] * (big / i);
    fac[i] = fac[i - 1] * i;
    facinv[i] = facinv[i - 1] * inv[i];
  }
  return;
}
mint coms(const mint &x, const mint &y) noexcept {
  if (y > x || y < 0 || x < 0)
    return 0;
  return fac[x.x] * facinv[y.x] * facinv[(x - y).x];
}
/*-------comの処理終わり-------*/

using vecm = vector<vector<mint>>;
using vm = vector<mint>;
vecm product(vecm &a, vecm &b) { // 3*3の正方行列の積
  vecm ans(3, vm(3, 0));
  rep(i, 3) rep(j, 3) { rep(k, 3) ans[i][j] += a[i][k] * b[k][j]; }
  return ans;
}
/*
(A*B)ij=sum((A)ik*(B)kj)
*/
vecm pows(vecm &a, int t) {
  if (t == 1)
    return a;
  if (t % 2 == 0) {
    vecm k = pows(a, t / 2);
    return product(k, k);
  } else {
    vecm k = pows(a, t - 1);
    return product(k, a);
  }
}

int main() {
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  cout << fixed << setprecision(10);
  /*--------------------------------*/

  // a[n]=a[n-1]+a[n-3]
  /*
  vectorは縦vector↓
  {a[n],a[n-1],a[n-2]}={{1,0,1},{1,0,0},{0,1,0}}*{a[n-1],a[n-2],a[n-3]}
  ∴{a[n],a[n-1],a[n-2]}=A^(n-3) * {a[3],a[2],a[1]}=A^(n-3)*{1,0,0}
  →1行目のsumを出す
  */
  int n;
  cin >> n;
  if (n <= 2) {
    cout << 0 << endl;
    return 0;
  }
  vecm A = {{1, 0, 1}, {1, 0, 0}, {0, 1, 0}};
  vecm ans = pows(A, n - 3);
  cout << ans[0][0] << '\\n';
}