結果

問題 No.260 世界のなんとか3
ユーザー 小指が強い人小指が強い人
提出日時 2016-08-19 12:50:53
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 23 ms / 2,000 ms
コード長 3,488 bytes
コンパイル時間 1,556 ms
コンパイル使用メモリ 167,052 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-11-07 18:23:35
合計ジャッジ時間 2,771 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 3 ms
5,248 KB
testcase_03 AC 18 ms
5,248 KB
testcase_04 AC 17 ms
5,248 KB
testcase_05 AC 6 ms
5,248 KB
testcase_06 AC 5 ms
5,248 KB
testcase_07 AC 13 ms
5,248 KB
testcase_08 AC 10 ms
5,248 KB
testcase_09 AC 7 ms
5,248 KB
testcase_10 AC 14 ms
5,248 KB
testcase_11 AC 14 ms
5,248 KB
testcase_12 AC 9 ms
5,248 KB
testcase_13 AC 4 ms
5,248 KB
testcase_14 AC 13 ms
5,248 KB
testcase_15 AC 5 ms
5,248 KB
testcase_16 AC 11 ms
5,248 KB
testcase_17 AC 10 ms
5,248 KB
testcase_18 AC 9 ms
5,248 KB
testcase_19 AC 11 ms
5,248 KB
testcase_20 AC 9 ms
5,248 KB
testcase_21 AC 8 ms
5,248 KB
testcase_22 AC 12 ms
5,248 KB
testcase_23 AC 3 ms
5,248 KB
testcase_24 AC 10 ms
5,248 KB
testcase_25 AC 13 ms
5,248 KB
testcase_26 AC 8 ms
5,248 KB
testcase_27 AC 2 ms
5,248 KB
testcase_28 AC 14 ms
5,248 KB
testcase_29 AC 23 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include "bits/stdc++.h"

using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef vector<int> veci;
typedef vector<ll> vecll;
typedef vector<string> vecs;
template<class T,class U> using Hash=unordered_map<T,U>;

#define REP(i, a, n) for(ll i = (a); (i) < (ll)(n); (i)++)
#define RREP(i, a, n) for(ll i = (n)-1; (i) >= (a); (i)--)
#define rep(i, n) REP(i, 0, n)
#define rrep(i, n) RREP(i, 0, n)
#define MD 1000000007ULL
#define _SPLIT " "

template<class T> T read(){T a;cin >> a;return a;}
template<class T> void read(T& a){cin >> a;}
template<class T,class ...Args> void read(T& a, Args&... args){cin >> a; read(args...);} 
template<class T> void rarr(T& a, int n){for(int i = 0; i < n; i++) {cin >> a[i];}}
template<class T> void write(T a){cout << setprecision(22) << a << endl;}
template<class T,class ...Args> void write(T a, Args... args){cout << setprecision(22) << a << _SPLIT; write(args...);}
template<class T> void warr(vector<T> a, const char* c = " "){cout << a[0];for(int i = 1; i < (int)a.size(); i++)cout << c << a[i];cout << endl;;}
template<class T> void warr(T a, int n, const char* c = " "){cout << a[0];for(int i = 1; i < n; i++)cout << c << a[i];cout << endl;}
void split(string s, string delim, veci& result){result.clear();string::size_type pos = 0;while(pos != string::npos){string::size_type p = s.find(delim, pos);if(p == string::npos){result.push_back(atoi(s.substr(pos).data()));break;}else {result.push_back(atoi(s.substr(pos, p - pos).data()));}pos = p + delim.size();}}
void split(string s, string delim, vecs& result){result.clear();string::size_type pos = 0;while(pos != string::npos){string::size_type p = s.find(delim, pos);if(p == string::npos){result.push_back(s.substr(pos));break;}else {result.push_back(s.substr(pos, p - pos));}pos = p + delim.size();}}
ll gcd(ll a, ll b){while(true){ll k = a % b;if(k == 0)return b;a = b;b = k;}}
ll comb(ll n, ll m){ll p=1;m=min(m,n-m);for(ll i=1;i<=m;i++){p*=n-i+1;p/=i;}return p;}

ll tk[3][2]={0};
ll dt[1010]={0};

ll md_add(ll x,ll y){return ((x%MD)+(y%MD))%MD;}

ll f(string& x,bool f){
    int n=x.size();
    if(n<=3)return dt[atoi(x.c_str())-f];
    ll dp[10010][2][2][3]={0};
    dp[0][0][0][0]=1;
    rep(i,n-3){
        int dg=x[i]-'0';
        rep(x,2)rep(y,2)rep(z,3)rep(w,y?10:dg+1){
            ll &t=dp[i+1][x||w==3][y||w<dg][(z+w)%3];
            t=(t+dp[i][x][y][z])%MD;
        }
    }
    ll res=0;
    //dp[i+1][x||w==3][y||y<dg][(z+w)%3];
    rep(w,2)REP(i,1,2)rep(j,3)rep(k,3){
        if(w==1){
            res=md_add(res,dp[n-3][w][i][j]*tk[k][0]);
            res=md_add(res,dp[n-3][w][i][j]*tk[k][1]);
        }
        else{
            res=md_add(res,dp[n-3][w][i][j]*tk[k][1]);
            if((j+k)%3==0)
            res=md_add(res,dp[n-3][w][i][j]*tk[k][0]);
        }
    }
    int nr4=0;
    bool in3=false;
    rep(i,n-3)nr4+=x[i]-'0',in3|=(x[i]=='3');
    int nd3=atoi(x.c_str()+n-3)-f;
    REP(i,0,nd3+1){
        if(i%8==0)continue;
        string s=to_string(i);
        bool find=in3;
        rep(i,s.size())find|=(s[i]=='3');
        if((i+nr4)%3==0||find)res=md_add(res,1);
    }
    return res;
}

int main(void)
{
    REP(i,1,1000){
        dt[i]+=dt[i-1];
        if(i%8==0)continue;
        string s=to_string(i);
        bool find=false;
        rep(i,s.size())find|=(s[i]=='3');
        tk[i%3][find]++;
        if(i%3==0||find)dt[i]++;
    }
    string a,b;
    read(a,b);
    write(md_add(f(b,false),MD-f(a,true)));
    return 0;
}
0