結果

問題 No.260 世界のなんとか3
ユーザー yukirin
提出日時 2017-04-13 19:47:12
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 90 ms / 2,000 ms
コード長 3,051 bytes
コンパイル時間 1,018 ms
コンパイル使用メモリ 107,780 KB
実行使用メモリ 18,688 KB
最終ジャッジ日時 2024-07-18 12:57:56
合計ジャッジ時間 2,922 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <algorithm>
#include <bitset>
#include <cfloat>
#include <cmath>
#include <ctime>
#include <deque>
#include <iomanip>
#include <iostream>
#include <limits>
#include <list>
#include <map>
#include <numeric>
#include <queue>
#include <random>
#include <set>
#include <sstream>
#include <stack>
#include <string>
#include <typeindex>
#include <typeinfo>
#include <vector>

#define DEBUG(x) cout << #x << ": " << x << endl
#define INFILE() freopen("input.txt", "r", stdin)
#define REP(i, a, b) for (int i = a; i < b; i++)
#define ALL(s) begin(s), end(s)
#define RALL(s) rbegin(s), rend(s)

using namespace std;

using ll = long long;
using ull = unsigned long long;
using i_i = pair<int, int>;
using ll_i = pair<ll, int>;
using i_ll = pair<int, ll>;
using d_i = pair<double, int>;
using ll_ll = pair<ll, ll>;
using d_d = pair<double, double>;

static constexpr ll LL_MOD = 1000000007;
static constexpr int I_MOD = 1000000007;
static constexpr double EPS = numeric_limits<double>::epsilon();
static constexpr double PI = 3.14159265358979323846264338327950288;

template <class T> static void scan(vector<T> &v);
static void scan(vector<string> &v, bool isWord = true);

ll dp[10010][2][2][3][8];
ll dp2[10010][2][2][3][8];

int main(int argc, char *argv[]) {
	// INFILE();
  string a, b;
  cin >> a >> b;
  int la = a.size(), lb = b.size();

  dp[0][0][0][0][0] = dp2[0][0][0][0][0] = 1;

  REP(i, 0, la) REP(less, 0, 2) REP(t, 0, 2) REP(m3, 0, 3) REP(m8, 0, 8) {
    int lim = less ? 9 : a[i] - '0';
    REP(n, 0, lim + 1) {
      dp[i + 1][less || n < lim][t || n == 3][(m3 + n) % 3]
        [(m8 * 10 + n) % 8] += (dp[i][less][t][m3][m8] % LL_MOD);
    }
  }

  REP(i, 0, lb) REP(less, 0, 2) REP(t, 0, 2) REP(m3, 0, 3) REP(m8, 0, 8) {
    int lim = less ? 9 : b[i] - '0';
    REP(n, 0, lim + 1) {
      dp2[i + 1][less || n < lim][t || n == 3][(m3 + n) % 3]
         [(m8 * 10 + n) % 8] += (dp2[i][less][t][m3][m8] % LL_MOD);
    }
  }

  ll countA = 0, countB = 0;

  REP(t, 0, 2) REP(m3, 0, 3) REP(m8, 0, 8) {
    if ((t || (m3 == 0)) && (m8 != 0)) {
      (countA += dp[la][1][t][m3][m8]) %= LL_MOD;
    }
  }

  REP(less, 0, 2) REP(t, 0, 2) REP(m3, 0, 3) REP(m8, 0, 8) {
    if ((t || (m3 == 0)) && (m8 != 0)) {
      (countB += dp2[lb][less][t][m3][m8]) %= LL_MOD;
    }
  }

  cout << (countB - countA + LL_MOD) % LL_MOD << "\n";
  return 0;
}

template <class T> static void scan(vector<T> &v) {
  map<type_index, const char *const> m = {{typeid(int), "%d"},
                                          {typeid(ll), "%lld"},
                                          {typeid(double), "%lf"},
                                          {typeid(char), "%c"}};

  auto tFormat = m[typeid(T)];

  for (T &n : v) {
    scanf(tFormat, &n);
  }
}

static void scan(vector<string> &v, bool isWord) {
  if (isWord) {
    for (auto &n : v) {
      cin >> n;
    }
    return;
  }

  int i = 0, size = v.size();
  string s;
  getline(cin, s);

  if (s.size() != 0) {
    i++;
    v[0] = s;
  }

  for (; i < size; ++i) {
    getline(cin, v[i]);
  }
}
0