結果

問題 No.260 世界のなんとか3
ユーザー E31415926E31415926
提出日時 2017-02-21 22:25:36
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 166 ms / 2,000 ms
コード長 1,903 bytes
コンパイル時間 1,940 ms
コンパイル使用メモリ 172,012 KB
実行使用メモリ 11,148 KB
最終ジャッジ日時 2024-06-09 18:14:38
合計ジャッジ時間 5,050 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 5 ms
10,944 KB
testcase_01 AC 4 ms
10,824 KB
testcase_02 AC 4 ms
10,828 KB
testcase_03 AC 134 ms
11,008 KB
testcase_04 AC 132 ms
11,008 KB
testcase_05 AC 30 ms
10,984 KB
testcase_06 AC 22 ms
11,072 KB
testcase_07 AC 94 ms
11,008 KB
testcase_08 AC 68 ms
10,880 KB
testcase_09 AC 38 ms
10,940 KB
testcase_10 AC 103 ms
11,008 KB
testcase_11 AC 100 ms
11,008 KB
testcase_12 AC 61 ms
11,008 KB
testcase_13 AC 21 ms
11,092 KB
testcase_14 AC 91 ms
11,008 KB
testcase_15 AC 28 ms
11,132 KB
testcase_16 AC 79 ms
11,000 KB
testcase_17 AC 64 ms
11,000 KB
testcase_18 AC 60 ms
11,000 KB
testcase_19 AC 79 ms
11,008 KB
testcase_20 AC 55 ms
11,148 KB
testcase_21 AC 50 ms
10,996 KB
testcase_22 AC 87 ms
11,008 KB
testcase_23 AC 12 ms
10,940 KB
testcase_24 AC 73 ms
11,008 KB
testcase_25 AC 87 ms
11,008 KB
testcase_26 AC 55 ms
11,008 KB
testcase_27 AC 4 ms
10,920 KB
testcase_28 AC 99 ms
11,008 KB
testcase_29 AC 166 ms
11,008 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
#define int long long
using namespace std;
#define rep(i,n) for(int i=0;i<(n);++i)
#define INF (1ll<<60)
typedef pair<int, int> pii;
#define FI first
#define SE second
#define all(s) s.begin(),s.end()
#define RREP(i,n) for(int i=(n)-1;i>=0;--i)

string A;
string B;
const int mod = 1000000007;
int dp[10010][2][2][3][8]; //桁,未満確定(0未定1確定),3つく(0つかない1つく),mod3,mod8

signed main() {
	cin >> A >> B;
	dp[0][0][0][0][0] = 1;
	rep(i,B.length())
	{
		rep(j,2)
		{
			rep(k,2)
			{
				rep(l,3)
				{
					rep(m,8)
					{
						int lim = j ? 9ll : B[i] - '0';
						rep(d,lim+1)
						{
							(dp[i + 1][j || d < lim][k || d == 3][(l + d) % 3][(m
									* 10 + d) % 8] += dp[i][j][k][l][m]) %= mod;
						}
					}
				}
			}
		}
	}
	int ansB = 0;
	rep(j,2)
	{
		rep(l,3)
		{
			rep(m,7)
			{
				(ansB += dp[B.length()][j][1][l][m + 1]) %= mod;
			}
		}
		rep(m,7)
		{
			(ansB += dp[B.length()][j][0][0][m + 1]) %= mod;
		}
	}

	memset(dp, 0, sizeof(dp));
	dp[0][0][0][0][0] = 1;
	rep(i,A.length())
	{
		rep(j,2)
		{
			rep(k,2)
			{
				rep(l,3)
				{
					rep(m,8)
					{
						int lim = j ? 9ll : A[i] - '0';
						rep(d,lim+1)
						{
							(dp[i + 1][j || d < lim][k || d == 3][(l + d) % 3][(m
									* 10 + d) % 8] += dp[i][j][k][l][m]) %= mod;
						}
					}
				}
			}
		}
	}
	int ansA = 0;
	rep(j,2)
	{
		rep(l,3)
		{
			rep(m,7)
			{
				(ansA += dp[A.length()][j][1][l][m + 1]) %= mod;
			}
		}
	}
	rep(j,2)
	{
		rep(m,7)
		{
			(ansA += dp[A.length()][j][0][0][m + 1]) %= mod;
		}
	}
	int ans = ((ansB + mod) - ansA) % mod;
	int mod3 = 0, mod8 = 0;
	bool a = false;
	rep(i,A.length())
	{
		if (A[i] == '3') {
			a = true;
		}
		mod3 += A[i] - '0';
		mod3 %= 3;
		mod8 *= 10;
		mod8 += A[i] - '0';
		mod8 %= 8;
	}
	if (a || mod3 == 0) {
		if (mod8 != 0) {
			cout << (ans + 1) % mod << endl;
			return 0;
		}
	}
	cout << ans << endl;
}
0