Problem p02695 (C++) — buggy submission, verdict: Time Limit Exceeded

#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<ll, ll> pll;
using Graph = vector<vector<ll>>;
#define all(x) (x).begin(), (x).end() // string の sort とかはこれ
#define rep(i, n) for (int(i) = 0; (i) < (n); (i)++)

const ll MOD = 1000000007;
const ll INF = 1e18; // 1*10^18
const double PI = 3.14159265;

int ctoi(char c) {
  if (c >= '0' && c <= '9') {
    return c - '0';
  }
  return 0;
}

ll gcd(ll x, ll y) { return (x % y) ? gcd(y, x % y) : y; }
// 最大公約数
ll lcm(ll x, ll y) { return x / gcd(x, y) * y; }
// 最小公倍数

ll powll(ll a, ll n) { // O(log n)
  ll res = 1;
  while (n > 0) {
    if (n & 1) //(n & 1)=(n % 2 !=0)
    {
      res = res * a;
    }
    a = a * a;
    n >>= 1; //(n & 1)=(n % 2 !=0)
  }
  return res;
}

ll modpow(ll a, ll n, ll mod) // O(log n)
{
  ll res = 1;
  while (n > 0) {
    if (n & 1) //(n & 1)=(n % 2 !=0)
    {
      res = res * a % mod;
    }
    a = a * a % mod;
    n >>= 1; //(n>>=1)=(n/2)
  }
  return res;
}

int ReturnDigit(ll num) {
  string number = to_string(num);
  return number.length();
}

const ll MAX = 1e6;
long long fac[MAX], finv[MAX], inv[MAX];

// テーブルを作る前処理
void COMinit() // MODは素数じゃないとだよ！！
{
  fac[0] = fac[1] = 1;
  finv[0] = finv[1] = 1;
  inv[1] = 1;
  for (int i = 2; i < MAX; i++) {
    fac[i] = fac[i - 1] * i % MOD;
    inv[i] = MOD - inv[MOD % i] * (MOD / i) % MOD;
    finv[i] = finv[i - 1] * inv[i] % MOD;
  }
}

// 二項係数計算
long long COM(int n, int k) {
  if (n < k)
    return 0;
  if (n < 0 || k < 0)
    return 0;
  return fac[n] * (finv[k] * finv[n - k] % MOD) % MOD;
}

struct UnionFind {
  vector<int> par; // par[i]:iの親の番号　(例) par[3] = 2 : 3の親が2

  UnionFind(int N) : par(N) { // 最初は全てが根であるとして初期化
    for (int i = 0; i < N; i++)
      par[i] = i;
  }

  int root(int x) { // データxが属する木の根を再帰で得る：root(x) = {xの木の根}
    if (par[x] == x)
      return x;
    return par[x] = root(par[x]);
  }

  void unite(int x, int y) { // xとyの木を併合
    int rx = root(x);        // xの根をrx
    int ry = root(y);        // yの根をry
    if (rx == ry)
      return; // xとyの根が同じ(=同じ木にある)時はそのまま
    par[rx] =
        ry; // xとyの根が同じでない(=同じ木にない)時：xの根rxをyの根ryにつける
  }

  bool same(int x, int y) { // 2つのデータx, yが属する木が同じならtrueを返す
    int rx = root(x);
    int ry = root(y);
    return rx == ry;
  }
};

ll i, j, k, l, ans = 0;
ll n, m, q, a[100], b[100], c[100], d[100], retu[50], sum = 0, saidai = 0;
vector<ll> suuretu(50);

void makeretu(ll nagasa, ll i) {
  if (nagasa == n) {
    for (i = 0; i < n; i++) {
      // cout << suuretu[i];
    }
    // cout << endl;

    sum = 0;
    for (i = 0; i < q; i++) {
      // cout << "B " << suuretu[b[i]] << "A " << suuretu[a[i]] << "C " << c[i]
      // << endl;
      if (suuretu[b[i]] - suuretu[a[i]] == c[i]) {
        sum += d[i];
      }
    }
    saidai = max(saidai, sum);
  } else {
    for (i = suuretu[nagasa - 1]; i <= m; i++) {
      suuretu[nagasa] = i;
      makeretu(nagasa + 1, 0);
    }
  }
}

int main() {
  // COMinit();
  // srand((unsigned int)time(NULL));//--> rand()

  cin >> n >> m >> q;
  for (i = 0; i < q; i++) {
    cin >> a[i] >> b[i] >> c[i] >> d[i];
    a[i]--;
    b[i]--;
  }

  for (k = 1; k <= m; k++) {
    // cout << str << endl;
    suuretu[0] = k;
    makeretu(1, 0);
  }
  cout << saidai << endl;
}


Error: TLE

Fixed submission:

#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<ll, ll> pll;
using Graph = vector<vector<ll>>;
#define all(x) (x).begin(), (x).end() // string の sort とかはこれ
#define rep(i, n) for (int(i) = 0; (i) < (n); (i)++)

const ll MOD = 1000000007;
const ll INF = 1e18; // 1*10^18
const double PI = 3.14159265;

int ctoi(char c) {
  if (c >= '0' && c <= '9') {
    return c - '0';
  }
  return 0;
}

ll gcd(ll x, ll y) { return (x % y) ? gcd(y, x % y) : y; }
// 最大公約数
ll lcm(ll x, ll y) { return x / gcd(x, y) * y; }
// 最小公倍数

ll powll(ll a, ll n) { // O(log n)
  ll res = 1;
  while (n > 0) {
    if (n & 1) //(n & 1)=(n % 2 !=0)
    {
      res = res * a;
    }
    a = a * a;
    n >>= 1; //(n & 1)=(n % 2 !=0)
  }
  return res;
}

ll modpow(ll a, ll n, ll mod) // O(log n)
{
  ll res = 1;
  while (n > 0) {
    if (n & 1) //(n & 1)=(n % 2 !=0)
    {
      res = res * a % mod;
    }
    a = a * a % mod;
    n >>= 1; //(n>>=1)=(n/2)
  }
  return res;
}

int ReturnDigit(ll num) {
  string number = to_string(num);
  return number.length();
}

const ll MAX = 1e6;
long long fac[MAX], finv[MAX], inv[MAX];

// テーブルを作る前処理
void COMinit() // MODは素数じゃないとだよ！！
{
  fac[0] = fac[1] = 1;
  finv[0] = finv[1] = 1;
  inv[1] = 1;
  for (int i = 2; i < MAX; i++) {
    fac[i] = fac[i - 1] * i % MOD;
    inv[i] = MOD - inv[MOD % i] * (MOD / i) % MOD;
    finv[i] = finv[i - 1] * inv[i] % MOD;
  }
}

// 二項係数計算
long long COM(int n, int k) {
  if (n < k)
    return 0;
  if (n < 0 || k < 0)
    return 0;
  return fac[n] * (finv[k] * finv[n - k] % MOD) % MOD;
}

struct UnionFind {
  vector<int> par; // par[i]:iの親の番号　(例) par[3] = 2 : 3の親が2

  UnionFind(int N) : par(N) { // 最初は全てが根であるとして初期化
    for (int i = 0; i < N; i++)
      par[i] = i;
  }

  int root(int x) { // データxが属する木の根を再帰で得る：root(x) = {xの木の根}
    if (par[x] == x)
      return x;
    return par[x] = root(par[x]);
  }

  void unite(int x, int y) { // xとyの木を併合
    int rx = root(x);        // xの根をrx
    int ry = root(y);        // yの根をry
    if (rx == ry)
      return; // xとyの根が同じ(=同じ木にある)時はそのまま
    par[rx] =
        ry; // xとyの根が同じでない(=同じ木にない)時：xの根rxをyの根ryにつける
  }

  bool same(int x, int y) { // 2つのデータx, yが属する木が同じならtrueを返す
    int rx = root(x);
    int ry = root(y);
    return rx == ry;
  }
};

ll i, j, k, l, ans = 0;
ll n, m, q, a[100], b[100], c[100], d[100], retu[50], num = 0, saidai = 0;

void makeretu(string s, ll nagasa, ll i, ll j, ll k, ll l) {
  if (nagasa == n) {
    // cout << s << endl;
    for (l = 0; l < n; l++) {
      retu[l] = ctoi(s[l]);
    }
    for (i = 0; i < q; i++) {
      if (retu[b[i] - 1] - retu[a[i] - 1] == c[i]) {
        num += d[i];
      }
    }
    saidai = max(saidai, num);
    num = 0;
  } else {
    ll suuzi = ctoi(s[nagasa - 1]);
    for (j = suuzi; j <= m; j++) {
      // cout << s << ' ' << s[nagasa - 1] << ' ' << m << ' ' << j <<'
      // '<<nagasa<< endl;
      makeretu(s + char('0' + j), nagasa + 1, 0, 0, 0, 0);
    }
  }
}
int main() {
  // COMinit();
  // srand((unsigned int)time(NULL));//--> rand()

  string s;
  cin >> n >> m >> q;
  for (i = 0; i < q; i++) {
    cin >> a[i] >> b[i] >> c[i] >> d[i];
  }

  for (k = 1; k <= m; k++) {
    string str;
    str += '0' + k;
    // cout << str << endl;
    makeretu(str, 1, 0, 0, 0, 0);
  }
  cout << saidai << endl;
}