結果
| 問題 |
No.260 世界のなんとか3
|
| コンテスト | |
| ユーザー |
E31415926
|
| 提出日時 | 2017-02-21 22:25:36 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 201 ms / 2,000 ms |
| コード長 | 1,903 bytes |
| コンパイル時間 | 2,163 ms |
| コンパイル使用メモリ | 170,796 KB |
| 実行使用メモリ | 11,136 KB |
| 最終ジャッジ日時 | 2024-12-30 15:14:38 |
| 合計ジャッジ時間 | 5,709 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 27 |
ソースコード
#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;
}
E31415926