結果

問題 No.315 世界のなんとか3.5
ユーザー koyumeishikoyumeishi
提出日時 2015-09-20 01:00:18
言語 C++11
(gcc 11.4.0)
結果
WA  
実行時間 -
コード長 2,370 bytes
コンパイル時間 661 ms
コンパイル使用メモリ 80,708 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-07-19 08:15:46
合計ジャッジ時間 4,750 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 AC 1 ms
6,944 KB
testcase_08 WA -
testcase_09 WA -
testcase_10 AC 1 ms
6,944 KB
testcase_11 WA -
testcase_12 AC 60 ms
6,944 KB
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 WA -
testcase_32 WA -
testcase_33 WA -
testcase_34 AC 190 ms
6,944 KB
testcase_35 AC 275 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

//WA
//aが答えに含まれていた時を見落とした場合WAが出るか確認

#include <iostream>
#include <vector>
#include <cstdio>
#include <sstream>
#include <map>
#include <string>
#include <algorithm>
#include <queue>
#include <cmath>
#include <set>
using namespace std;

#define MOD 1000000007

int P;

long long func(string& s){

	//dp[mod_P][lower | has3 | mod3]
	
	vector<vector<long long>> dp (P, vector<long long>(16, 0));
	vector<vector<long long>> dp_(P, vector<long long>(16, 0));

	int keta;
	int tmp = P;
	int two = 0;
	int five = 0;
	while(tmp%2==0){
		tmp/=2;
		two++;
	}
	while(tmp%5==0){
		tmp/=5;
		five++;
	}
	keta = max(two, five);

	dp[0][0b0000] = 1;

	for(int i=0; i<s.size(); i++){
		for(int j=0; j<( (s.size()-i< keta) ?P:1); j++){
			fill(dp_[j].begin(), dp_[j].end(), 0);
		}

		for(int lower=0; lower<2; lower++)
		for(int has3=0; has3<2; has3++)
		for(int mod3=0; mod3<3; mod3++)
		{
			int state = (lower<<3) | (has3<<2) | mod3;
			for(int d=0; d<10; d++){
				if(lower==0 && d>s[i]-'0') continue;
				int next_state = (lower || d<s[i]-'0')<<3;
				next_state |= (has3 || d==3)<<2;
				next_state |= (mod3*10+d)%3;

				if(s.size()-i > keta){
					long long& dp_now = dp[0][state];
					long long& dp_next = dp_[0][next_state];
					dp_next += dp_now;
					if(dp_next>=MOD) dp_next -= MOD;

				}else for(int mod_P=0; mod_P<P; mod_P++){
					long long& dp_now  = dp[mod_P][state];
					long long& dp_next = dp_[(mod_P*10+d)%P][next_state];
					dp_next += dp_now;
					if(dp_next>=MOD) dp_next -= MOD;
				}
			}
		}

		swap(dp, dp_);
	}

	long long ret = 0;
	for(int mod_P=1; mod_P<P; mod_P++){
		if(mod_P % P == 0) continue;

		for(int lower=0; lower<2; lower++)
		for(int has3=0; has3<2; has3++)
		for(int mod3=0; mod3<3; mod3++)
		{
			int state = (lower<<3) | (has3<<2) | mod3;
			if( has3==0 && mod3!=0 ) continue;
			ret += dp[mod_P][state];
			if(ret>=MOD) ret -= MOD;
		}
	}

	return ret;
}

int main(){
	string a,b;
	cin >> a >> b;
	cin >> P;
	

	long long ans = 0;
	ans += func(b);
	ans -= func(a);
	ans = (ans+MOD)%MOD;
/*
	int mod3 = 0;
	int has3 = 0;
	int mod_P = 0;
	for(int i=0; i<a.size(); i++){
		if(a[i] == '3') has3 = 1;
		mod3 = (mod3*10 + a[i]-'0') % 3;
		mod_P = (mod_P*10 + a[i]-'0') % P;
	}
	if( (mod3==0 || has3==1) && mod_P!=0 ) ans += 1;

	ans = (ans+MOD)%MOD;
*/
	cout << ans << endl;

	return 0;
}
0