結果
| 問題 |
No.315 世界のなんとか3.5
|
| コンテスト | |
| ユーザー |
kyawashell
|
| 提出日時 | 2018-03-26 13:58:09 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 1,952 bytes |
| コンパイル時間 | 2,180 ms |
| コンパイル使用メモリ | 197,804 KB |
| 最終ジャッジ日時 | 2025-01-05 09:36:55 |
|
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 12 TLE * 24 |
ソースコード
#include<bits/stdc++.h>
typedef long long ll;
typedef unsigned long long ull;
using namespace std;
#define pb push_back
int dy[]={0, 0, 1, -1, 1, 1, -1, -1};
int dx[]={1, -1, 0, 0, 1, -1, -1, 1};
#define FOR(i,a,b) for (int i=(a);i<(b);i++)
#define RFOR(i,a,b) for (int i=(b)-1;i>=(a);i--)
#define REP(i,n) for (int i=0;i<(n);i++)
#define RREP(i,n) for (int i=(n)-1;i>=0;i--)
#define mp make_pair
#define fi first
#define sc second
ll mod = 1e9+7;
string A,B;
ll P;
ll dp [2][2][2][3][800];
int main(){
cin >> A >> B >> P;
ll n = B.length();
dp[0][0][0][0][0] = 1;
REP(i,n) {
REP(j,2) {
REP(k,2) {
REP(l,3) {
REP(m,P) {
ll lim = (j ? 9 : B[i] - '0');
REP(d,lim + 1) {
(dp[1][j || d < lim][k || d == 3][(10 * l + d) % 3][(10 * m + d) % P] += dp[0][j][k][l][m] ) %= mod;
}
}
}
}
}
REP(j,2) {
REP(k,2) {
REP(l,3) {
REP(m,P) {
dp[0][j][k][l][m] = dp[1][j][k][l][m];
dp[1][j][k][l][m] = 0;
}
}
}
}
}
ll ans = 0;
REP(j,2) {
REP(k,2) {
REP(l,3) {
REP(m,P) {
if((k || !l) && m) {
(ans += dp[0][j][k][l][m]) %= mod;
}
}
}
}
}
n = A.length();
REP(i,2) {
REP(j,2) {
REP(k,2) {
REP(l,3) {
REP(m,P) {
dp[i][j][k][l][m] = 0;
}
}
}
}
}
dp[0][0][0][0][0] = 1;
REP(i,n) {
REP(j,2) {
REP(k,2) {
REP(l,3) {
REP(m,P) {
ll lim = (j ? 9 : A[i] - '0');
REP(d,lim + 1) {
(dp[1][j || d < lim][k || d == 3][(10 * l + d) % 3][(10 * m + d) % P] += dp[0][j][k][l][m] ) %= mod;
}
}
}
}
}
REP(j,2) {
REP(k,2) {
REP(l,3) {
REP(m,P) {
dp[0][j][k][l][m] = dp[1][j][k][l][m];
dp[1][j][k][l][m] = 0;
}
}
}
}
}
REP(j,2) {
REP(k,2) {
REP(l,3) {
REP(m,P) {
if(j && (k || !l) && m) {
(ans += mod - dp[0][j][k][l][m]) %= mod;
}
}
}
}
}
cout << ans << endl;
return 0;
}
kyawashell