結果

問題 No.260 世界のなんとか3
ユーザー yukirinyukirin
提出日時 2017-04-13 19:08:45
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 3,414 bytes
コンパイル時間 2,244 ms
コンパイル使用メモリ 130,080 KB
実行使用メモリ 18,568 KB
最終ジャッジ日時 2024-07-18 12:57:21
合計ジャッジ時間 4,010 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 WA -
testcase_04 AC 64 ms
18,568 KB
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 AC 46 ms
14,208 KB
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 AC 32 ms
11,136 KB
testcase_25 WA -
testcase_26 WA -
testcase_27 AC 2 ms
5,376 KB
testcase_28 AC 47 ms
18,560 KB
testcase_29 AC 81 ms
18,568 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <algorithm>
#include <bitset>
#include <boost/dynamic_bitset.hpp>
#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);
static boost::dynamic_bitset<> scan(char trueValue = 'o');

ll dp[10002][2][2][3][8];
ll dp2[10002][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 << "\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]);
  }
}

static boost::dynamic_bitset<> scan(char trueValue) {
  string s;
  getline(cin, s);

  if (s.size() == 0) {
    getline(cin, s);
  }

  for_each(begin(s), end(s),
           [trueValue](char &c) { c = (c == trueValue) ? '1' : '0'; });
  return boost::dynamic_bitset<>(string(rbegin(s), rend(s)));
}
0