結果
問題 |
No.260 世界のなんとか3
|
ユーザー |
![]() |
提出日時 | 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; }