結果
| 問題 |
No.260 世界のなんとか3
|
| コンテスト | |
| ユーザー |
kyawashell
|
| 提出日時 | 2018-03-26 12:23:29 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 321 ms / 2,000 ms |
| コード長 | 1,645 bytes |
| コンパイル時間 | 2,142 ms |
| コンパイル使用メモリ | 198,008 KB |
| 最終ジャッジ日時 | 2025-01-05 09:35:23 |
|
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 27 |
ソースコード
#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 dp [200000][2][2][3][8];
int main(){
cin >> A >> B;
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,8) {
ll lim = (j ? 9 : B[i] - '0');
REP(d,lim + 1) {
(dp[i + 1][j || d < lim][k || d == 3][(10 * l + d) % 3][(10 * m + d) % 8] += dp[i][j][k][l][m] ) %= mod;
}
}
}
}
}
}
ll ans = 0;
REP(j,2) {
REP(k,2) {
REP(l,3) {
REP(m,8) {
if((k || !l) && m) {
(ans += dp[n][j][k][l][m]) %= mod;
}
}
}
}
}
n = A.length();
REP(i,n + 1) {
REP(j,2) {
REP(k,2) {
REP(l,3) {
REP(m,8) {
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,8) {
ll lim = (j ? 9 : A[i] - '0');
REP(d,lim + 1) {
(dp[i + 1][j || d < lim][k || d == 3][(10 * l + d) % 3][(10 * m + d) % 8] += dp[i][j][k][l][m] ) %= mod;
}
}
}
}
}
}
REP(j,2) {
REP(k,2) {
REP(l,3) {
REP(m,8) {
if(j && (k || !l) && m) {
(ans += mod - dp[n][j][k][l][m]) %= mod;
}
}
}
}
}
cout << ans << endl;
return 0;
}
kyawashell