結果
問題 |
No.260 世界のなんとか3
|
ユーザー |
|
提出日時 | 2020-02-10 23:29:35 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 237 ms / 2,000 ms |
コード長 | 2,028 bytes |
コンパイル時間 | 1,250 ms |
コンパイル使用メモリ | 105,880 KB |
最終ジャッジ日時 | 2025-01-08 23:26:28 |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 27 |
ソースコード
// _/ _/ _/_/_/ _/ //_/_/_/_/ _/_/ _/_/_/_/ _/_/ _/ _/_/ // _/ _/ _/ _/ _/ _/ _/_/_/ _/ //_/ _/ _/ _/ _/ _/ _/ _/ _/ // _/_/ _/_/ _/_/ _/_/ _/_/ _/ #include<iostream> #include<algorithm> #include<cmath> #include<iomanip> #include<set> #include<map> #include<queue> #include<vector> using namespace std; typedef long long ll; const int MOD=1e9+7; const double pi=3.14159265358979323846; const int inf=2e9; const ll INF=5e18; typedef pair<int,int> P; signed main() { cin.tie(0),cout.tie(0); ios::sync_with_stdio(false); string a,b; ll dp[10005][2][2][3][8]={},x=0,y=0; cin >> a >> b; dp[0][0][0][0][0]=1; for(int i=0; i<a.size(); i++) { for(int j=0; j<2; j++) { for(int k=0; k<2; k++) { for(int l=0; l<3; l++) { for(int m=0; m<8; m++) { int lim=j?9:a[i]-'0'; for(int n=0; n<=lim; n++) { (dp[i+1][j||n<lim][k||n==3][(l+n)%3][(10*m+n)%8]+=dp[i][j][k][l][m])%=MOD; } } } } } } for(int j=0; j<2; j++) { for(int k=0; k<3; k++) { for(int l=0; l<8; l++) { if((k==0||j)&&l!=0) { x+=dp[a.size()][1][j][k][l]; x%=MOD; } } } } ll DP[10005][2][2][3][8]={}; DP[0][0][0][0][0]=1; for(int i=0; i<b.size(); i++) { for(int j=0; j<2; j++) { for(int k=0; k<2; k++) { for(int l=0; l<3; l++) { for(int m=0; m<8; m++) { int lim=j?9:b[i]-'0'; for(int n=0; n<=lim; n++) { (DP[i+1][j||n<lim][k||n==3][(l+n)%3][(10*m+n)%8]+=DP[i][j][k][l][m])%=MOD; } } } } } } for(int i=0; i<2; i++) { for(int j=0; j<2; j++) { for(int k=0; k<3; k++) { for(int l=0; l<8; l++) { if((k==0||j)&&l!=0) { y+=DP[b.size()][i][j][k][l]; y%=MOD; } } } } } cout << (y-x+MOD)%MOD << endl; }