結果

問題 No.315 世界のなんとか3.5
ユーザー tsutaj
提出日時 2018-07-05 18:21:10
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,411 ms / 2,000 ms
コード長 3,083 bytes
コンパイル時間 1,709 ms
コンパイル使用メモリ 172,008 KB
実行使用メモリ 154,080 KB
最終ジャッジ日時 2024-07-01 02:38:15
合計ジャッジ時間 20,056 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 36
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

const long long int MOD = 1000000007LL;
long long int dp[200010][3][8][2][2];

void fastadd(long long int &A, long long int B) {
    A += B;
    if(A >= MOD) A -= MOD;
}

void fastsub(long long int &A, long long int B) {
    A = A - B + MOD;
    if(A >= MOD) A -= MOD;
}

long long int solve(string s, int P, bool include_equal) {
    int d = 0, cP = P;
    while(cP % 10 == 0) d++, cP /= 10;

    long long int N = s.length(), ret = 0;
    memset(dp, 0, sizeof(dp));
    dp[0][0][0][0][0] = 1;
    for(int i=0; i<=N; i++) {
        for(int mod3=0; mod3<3; mod3++) {
            for(int mod8=0; mod8<8; mod8++) {
                for(int inc3=0; inc3<2; inc3++) {
                    for(int f=0; f<2; f++) {
                        if(N - i == d) {
                            int nmod3 = mod3, nmod8 = mod8;
                            for(int k=0; k<d; k++) nmod3 *= 10, nmod8 *= 10;

                            bool ok = true;
                            if(nmod3 % 3 != 0 && inc3 == 0) ok = false;
                            if(i != 0 && f == 0 && !include_equal) ok = false;
                            if(nmod8 % P != 0) ok = false;
                            
                            if(ok) {
                                // fprintf(stderr, "invalid value = %lld\n", dp[i][mod3][mod8][inc3][f]);
                                fastsub(ret, dp[i][mod3][mod8][inc3][f]);
                            }
                            // dp[i][mod3][mod8][inc3][f] = 0;
                        }

                        if(i == N) continue;
                        int lim = f ? 9 : s[i] - '0';
                        for(int x=0; x<=lim; x++) {
                            int nmod3 = (mod3 * 10 + x) % 3;
                            int nmod8 = (mod8 * 10 + x) % 8;
                            int ninc3 = (inc3 || x == 3);
                            fastadd(dp[i+1][nmod3][nmod8][ninc3][f || x < lim], dp[i][mod3][mod8][inc3][f]);
                        }
                    }
                }
            }
        }
    }

    for(int mod3=0; mod3<3; mod3++) {
        for(int inc3=0; inc3<2; inc3++) {
            if(mod3 != 0 && inc3 == 0) continue;
            for(int mod8=0; mod8<8; mod8++) {
                fastadd(ret, dp[N][mod3][mod8][inc3][1]);
                if(include_equal) {
                    fastadd(ret, dp[N][mod3][mod8][inc3][0]);
                }
            }
        }
    }
    return ret - (N - d < 0);
}

void trans(string &s) {
    int idx = (int)s.length() - 1;
    while(1) {
        if(s[idx] != '0') {
            int c = s[idx] - '0' - 1;
            s[idx] = (char)('0' + c);
            break;
        }
        else {
            s[idx] = '9';
            idx--;
        }
    }
}

int main() {
    string A, B; int P; cin >> A >> B >> P;
    trans(A);

    long long int rr = solve(B, P, 1);
    // fprintf(stderr, "rr = %lld\n", rr);
    long long int rl = solve(A, P, 1);
    // fprintf(stderr, "rl = %lld\n", rl);
    cout << (rr - rl + MOD) % MOD << endl;
    return 0;
}
0