結果

問題 No.260 世界のなんとか3
コンテスト
ユーザー legosuke
提出日時 2019-10-29 14:35:13
言語 C++14
(gcc 13.3.0 + boost 1.89.0)
結果
AC  
実行時間 87 ms / 2,000 ms
コード長 3,641 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 1,884 ms
コンパイル使用メモリ 169,948 KB
実行使用メモリ 11,052 KB
最終ジャッジ日時 2024-09-14 21:28:41
合計ジャッジ時間 3,630 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
#define endl '\n'
#define int long long
#define lint long long
#define pii pair<int,int>
#define FOR(i,a,b) for(int i=(a);i<(b);++i)
#define REP(i,n) FOR(i,0,n)
#define ALL(v) (v).begin(),(v).end()
#define SZ(v) ((int)v.size())
#define ZERO(a) memset(a,0,sizeof(a))
#define MINUS(a) memset(a,0xff,sizeof(a))
#define MINF(a) memset(a,0x3f,sizeof(a))
#define POW(n) (1LL<<(n))
#define POPCNT(n) (__builtin_popcount(n))
#define IN(i,a,b) (a <= i && i <= b)
using namespace std;
template <typename T> inline bool CHMIN(T& a,T b) { if(a>b) { a=b; return 1; } return 0; }
template <typename T> inline bool CHMAX(T& a,T b) { if(a<b) { a=b; return 1; } return 0; }
template <typename T> inline void SORT(T& a) { sort(ALL(a)); }
template <typename T> inline void REV(T& a) { reverse(ALL(a)); }
template <typename T> inline void UNI(T& a) { sort(ALL(a)); a.erase(unique(ALL(a)),a.end()); }
template <typename T> inline T LB(vector<T>& v, T a) { return *lower_bound(ALL(v),a); }
template <typename T> inline int LBP(vector<T>& v, T a) { return lower_bound(ALL(v),a) - v.begin(); }
template <typename T> inline T UB(vector<T>& v, T a) { return *upper_bound(ALL(v),a); }
template <typename T> inline int UBP(vector<T>& v, T a) { return upper_bound(ALL(v),a) - v.begin(); }
template <typename T1, typename T2> ostream& operator<< (ostream& os, const pair<T1,T2>& p) { os << p.first << " " << p.second; return os; }
template <typename T1, typename T2> istream& operator>> (istream& is, pair<T1,T2>& p) { is >> p.first >> p.second; return is; }
template <typename T> ostream& operator<< (ostream& os, const vector<T>& v) { REP(i,v.size()) { if (i) os << " "; os << v[i]; } return os; }
template <typename T> istream& operator>> (istream& is, vector<T>& v) { for(T& in : v) is >> in; return is; }
template <typename T = int> vector<T> make_v(size_t a) { return vector<T>(a); }
template <typename T, typename... Ts> auto make_v(size_t a, Ts... ts) { return vector<decltype(make_v<T>(ts...))>(a,make_v<T>(ts...)); }
template <typename T, typename V> typename enable_if<is_class<T>::value == 0>::type fill_v(T &t, const V &v) { t = v; }
template <typename T, typename V> typename enable_if<is_class<T>::value != 0>::type fill_v(T &t, const V &v) { for(auto &e : t) fill_v(e,v); }
const lint MOD = 1000000007;
const lint INF = 0x3f3f3f3f3f3f3f3f;
const double EPS = 1e-10;

int dp[10010][2][3][2][8];

int calc(string s) {
    ZERO(dp);
    dp[0][0][0][0][0] = 1;
    REP(i, SZ(s)) REP(j, 2) REP(k, 3) REP(l, 2) REP(m, 8) {
        int lim = (j ? 9 : s[i] - '0');
        REP(d, lim + 1) {
            (dp[i + 1][j | (d < lim)][(10 * k + d) % 3][l | (d == 3)][(10 * m + d) % 8] += dp[i][j][k][l][m]) %= MOD;
        }
    }
    int ans = 0;
    REP(j, 2) REP(k, 3) REP(l, 2) REP(m, 8) {
        if ((k == 0 || l == 1) && (m != 0)) {
            (ans += dp[SZ(s)][j][k][l][m]) %= MOD;
        }
    }
    return ans;
}

bool check(string s) {
    int s3 = 0, s8 = 0;
    bool f = false;
    REP(i, SZ(s)) {
        s3 = (10 * s3 + (s[i] - '0')) % 3;
        s8 = (10 * s8 + (s[i] - '0')) % 8;
        f |= (s[i] == '3');
    }
    return ((s3 == 0 || f) && s8 != 0);
}

void _main() {
    string A, B;
    cin >> A >> B;
    cout << (calc(B) + MOD - calc(A) + check(A)) % MOD << endl;
}

signed main(signed argc, char **argv) {
    if (argc > 1) {
        if (strchr(argv[1], 'i'))
            freopen("input.txt", "r", stdin);
        if (strchr(argv[1], 'o'))
            freopen("output.txt", "w", stdout);
    }
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    cout << fixed << setprecision(10);
    _main();
    return 0;
}
0