結果

問題 No.315 世界のなんとか3.5
ユーザー tsutaj
提出日時 2018-07-05 17:32:11
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 2,260 bytes
コンパイル時間 1,670 ms
コンパイル使用メモリ 169,784 KB
実行使用メモリ 154,052 KB
最終ジャッジ日時 2024-07-01 02:36:30
合計ジャッジ時間 20,551 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 34 WA * 2
権限があれば一括ダウンロードができます

ソースコード

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;
    while(P % 10 == 0) d++, P /= 10;

    int N = s.length();
    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++) {
                        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]);
                        }
                    }
                }
            }
        }
    }

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

            fastadd(maybe_ng, dp[N][mod3][0][inc3][1]);
            if(N - d >= 1) fastsub(maybe_ng, dp[N-d][mod3][0][inc3][1] - (mod3 == 0 && inc3 == 0));

            if(include_equal) {
                fastadd(maybe_ng, dp[N][mod3][0][inc3][0]);
                if(N - d >= 1) fastsub(maybe_ng, dp[N-d][mod3][0][inc3][0]);
            }
        }
    }
    return (ret + maybe_ng - 1) % MOD;
}

int main() {
    string A, B; int P; cin >> A >> B >> P;
    long long int rr = solve(B, P, 1);
    long long int rl = solve(A, P, 0);
    // printf("rr = %lld, rl = %lld\n", rr, rl);
    cout << (rr - rl + MOD) % MOD << endl;
    return 0;
}
0