結果
| 問題 | 
                            No.260 世界のなんとか3
                             | 
                    
| コンテスト | |
| ユーザー | 
                             tancahn2380
                         | 
                    
| 提出日時 | 2017-11-30 21:04:09 | 
| 言語 | C++11(廃止可能性あり)  (gcc 13.3.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 208 ms / 2,000 ms | 
| コード長 | 1,994 bytes | 
| コンパイル時間 | 830 ms | 
| コンパイル使用メモリ | 87,428 KB | 
| 実行使用メモリ | 18,560 KB | 
| 最終ジャッジ日時 | 2024-11-27 15:18:55 | 
| 合計ジャッジ時間 | 4,021 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 27 | 
ソースコード
# include <iostream>
# include <algorithm>
# include <vector>
# include <string>
# include <set>
# include <map>
# include <cmath>
# include <iomanip>
# include <functional>
# include <utility>
# include <stack>
# include <queue>
# include <list>
# include <tuple>
using namespace std;
using LL = long long;
using ULL = unsigned long long;
constexpr int INF = 2000000000;
constexpr int HINF = INF / 2;
constexpr double DINF = 100000000000000000.0;
constexpr long long LINF = 9223372036854775807;
constexpr long long HLINF = 4500000000000000000;
const double PI = acos(-1);
int dx[4] = { 0,1,0,-1 }, dy[4] = { 1,0,-1,0 };
#define FOR(i,a,b) for(int i=(a);i<(b);++i)
#define REP(i,n)   FOR(i,0,n)
#define ALL(x)    (x).begin(),(x).end()
#define UNIQ(c)   (c).erase(unique(ALL((c))), end((c)))
#define mp        make_pair
#define eb        emplace_back
//typedef pair<LL, LL> P;
//typedef pair<P, P> PP;
LL dp[101010][2][2][3][8];//keta,less,has3,mod3,mod8
LL dp2[101010][2][2][3][8];
string a;
int n;
const LL MOD = 1e9 + 7;
int main() {
	cin >> a;
	for (int c = a.size() - 1; c >= 0; c--) {
		if (a[c] != '0') {
			a[c]--;
			break;
		}
		else {
			a[c] = '9';
		}
	}
	n = a.length();
	dp[0][0][0][0][0] = 1;
	REP(i, n)REP(j, 2)REP(k, 2)REP(l, 3)REP(m, 8) {
		int lim = (j ? 9 : a[i] - '0');
		REP(d, lim + 1) {
			(dp[i + 1][j || d < lim][k || d == 3][(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 == 0) && m != 0)(ans += dp[n][j][k][l][m]) %= MOD;
	string b;
	cin >> b;
	n = b.length();
	dp2[0][0][0][0][0] = 1;
	REP(i, n)REP(j, 2)REP(k, 2)REP(l, 3)REP(m, 8) {
		int lim = (j ? 9 : b[i] - '0');
		REP(d, lim + 1) {
			(dp2[i + 1][j || d < lim][k || d == 3][(l + d) % 3][(10 * m + d) % 8] += dp2[i][j][k][l][m]) %= MOD;
		}
	}
	LL ans2 = 0;
	REP(j, 2)REP(k, 2)REP(l, 3)REP(m, 8)if ((k || l == 0) && m != 0)(ans2 += dp2[n][j][k][l][m]) %= MOD;
	cout << (ans2 - ans + MOD) % MOD << endl;
	//system("pause");
}
            
            
            
        
            
tancahn2380