#499011 (C++17) No.1085 桁和の桁和

• 問題: No.1085 桁和の桁和
• ユーザー: risujiroh
• 提出日時: 2020-06-19 21:48:11
• 言語: C++17 (gcc 13.2.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 22 ms / 2,000 ms
• コード長: 1,917 bytes
• コンパイル時間: 2,240 ms
• コンパイル使用メモリ: 197,372 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-04-24 10:00:57
• 合計ジャッジ時間: 3,585 ms
• ジャッジサーバーID （参考情報）: judge1 / judge2

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 5,248 KB
testcase_01	AC	1 ms; 5,248 KB
testcase_02	AC	2 ms; 5,376 KB
testcase_03	AC	2 ms; 5,376 KB
testcase_04	AC	2 ms; 5,376 KB
testcase_05	AC	2 ms; 5,376 KB
testcase_06	AC	2 ms; 5,376 KB
testcase_07	AC	2 ms; 5,376 KB
testcase_08	AC	2 ms; 5,376 KB
testcase_09	AC	1 ms; 5,376 KB
testcase_10	AC	2 ms; 5,376 KB
testcase_11	AC	2 ms; 5,376 KB
testcase_12	AC	2 ms; 5,376 KB
testcase_13	AC	4 ms; 5,376 KB
testcase_14	AC	7 ms; 5,376 KB
testcase_15	AC	13 ms; 5,376 KB
testcase_16	AC	13 ms; 5,376 KB
testcase_17	AC	7 ms; 5,376 KB
testcase_18	AC	5 ms; 5,376 KB
testcase_19	AC	12 ms; 5,376 KB
testcase_20	AC	2 ms; 5,376 KB
testcase_21	AC	8 ms; 5,376 KB
testcase_22	AC	10 ms; 5,376 KB
testcase_23	AC	2 ms; 5,376 KB
testcase_24	AC	2 ms; 5,376 KB
testcase_25	AC	7 ms; 5,376 KB
testcase_26	AC	13 ms; 5,376 KB
testcase_27	AC	11 ms; 5,376 KB
testcase_28	AC	15 ms; 5,376 KB
testcase_29	AC	9 ms; 5,376 KB
testcase_30	AC	8 ms; 5,376 KB
testcase_31	AC	13 ms; 5,376 KB
testcase_32	AC	10 ms; 5,376 KB
testcase_33	AC	21 ms; 5,376 KB
testcase_34	AC	22 ms; 5,376 KB
testcase_35	AC	21 ms; 5,376 KB
testcase_36	AC	22 ms; 5,376 KB
testcase_37	AC	21 ms; 5,376 KB
testcase_38	AC	21 ms; 5,376 KB

ソースコード

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

#ifdef LOCAL
#include "debug.h"
#else
#define DEBUG(...)
#endif

template <class T, class Op = multiplies<T>>
constexpr T power(T a, long long n, Op op = Op(), T e = {1}) {
  assert(n >= 0);
  while (n) {
    if (n & 1) e = op(e, a);
    if (n >>= 1) a = op(a, a);
  }
  return e;
}

template <unsigned M> struct modular {
  using m = modular;
  static constexpr unsigned mod = M;
  unsigned v;
  modular(long long x = 0) : v((x %= mod) < 0 ? x + mod : x) {}
  m operator-() const { return m() -= *this; }
  m& operator+=(m b) { if ((int)(v += b.v - mod) < 0) v += mod; return *this; }
  m& operator-=(m b) { if ((int)(v -= b.v) < 0) v += mod; return *this; }
  m& operator*=(m b) { v = (uint64_t)v * b.v % mod; return *this; }
  m& operator/=(m b) { return *this *= power(b, mod - 2); }
  friend m operator+(m a, m b) { return a += b; }
  friend m operator-(m a, m b) { return a -= b; }
  friend m operator*(m a, m b) { return a *= b; }
  friend m operator/(m a, m b) { return a /= b; }
  friend bool operator==(m a, m b) { return a.v == b.v; }
};

using mint = modular<power(10, 9) + 7>;

int main() {
  cin.tie(nullptr);
  ios::sync_with_stdio(false);
  string s;
  cin >> s;
  int d;
  cin >> d;
  if (d == 0) {
    bool ok = true;
    for (char c : s) {
      if (c != '?' and c != '0') {
        ok = false;
        break;
      }
    }
    cout << ok << '\n';
    exit(0);
  }
  vector<mint> dp(9);
  dp[0] = 1;
  for (char c : s) {
    vector<mint> ndp(9);
    for (int i = 0; i < 10; ++i) {
      if (c != '?' and (c - '0') != i) continue;
      for (int r = 0; r < 9; ++r) {
        ndp[(r + i) % 9] += dp[r];
      }
    }
    swap(dp, ndp);
  }
  mint res = dp[d % 9];
  if (d == 9) {
    bool ok = true;
    for (char c : s) {
      if (c != '?' and c != '0') {
        ok = false;
        break;
      }
    }
    res -= ok;
  }
  cout << res.v << '\n';
}