結果
| 問題 |
No.260 世界のなんとか3
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2020-02-14 23:03:24 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 215 ms / 2,000 ms |
| コード長 | 2,029 bytes |
| コンパイル時間 | 1,047 ms |
| コンパイル使用メモリ | 106,084 KB |
| 最終ジャッジ日時 | 2025-01-09 00:29:58 |
|
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| 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;
ll dp[10005][2][2][3][8]={};
int main() {
cin.tie(0),cout.tie(0);
ios::sync_with_stdio(false);
string a,b;
ll 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;
}