結果

問題 No.260 世界のなんとか3
ユーザー gabriel55_gabriel55_
提出日時 2023-01-15 16:47:18
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 216 ms / 2,000 ms
コード長 2,233 bytes
コンパイル時間 4,793 ms
コンパイル使用メモリ 274,076 KB
実行使用メモリ 14,200 KB
最終ジャッジ日時 2024-06-09 04:39:53
合計ジャッジ時間 8,353 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,816 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 175 ms
14,080 KB
testcase_04 AC 174 ms
14,080 KB
testcase_05 AC 35 ms
7,040 KB
testcase_06 AC 23 ms
6,940 KB
testcase_07 AC 114 ms
12,596 KB
testcase_08 AC 84 ms
12,672 KB
testcase_09 AC 47 ms
7,808 KB
testcase_10 AC 133 ms
11,632 KB
testcase_11 AC 125 ms
13,268 KB
testcase_12 AC 77 ms
10,624 KB
testcase_13 AC 22 ms
6,940 KB
testcase_14 AC 112 ms
12,684 KB
testcase_15 AC 30 ms
6,940 KB
testcase_16 AC 99 ms
10,960 KB
testcase_17 AC 79 ms
8,752 KB
testcase_18 AC 78 ms
8,012 KB
testcase_19 AC 100 ms
12,544 KB
testcase_20 AC 70 ms
8,960 KB
testcase_21 AC 65 ms
9,600 KB
testcase_22 AC 113 ms
10,880 KB
testcase_23 AC 12 ms
6,944 KB
testcase_24 AC 90 ms
11,776 KB
testcase_25 AC 108 ms
14,192 KB
testcase_26 AC 67 ms
14,200 KB
testcase_27 AC 2 ms
6,940 KB
testcase_28 AC 133 ms
13,952 KB
testcase_29 AC 216 ms
14,080 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#if !__INCLUDE_LEVEL__
#include __FILE__

using mint = modint1000000007;

int main(void){
   mint ans = 0;
   rep(x,2){
      string s;
      cin >> s;
      ll n = s.length();
      vector dp(n+1, vector<vector<vector<vector<mint>>>>(2, vector<vector<vector<mint>>>(2, vector<vector<mint>>(3, vector<mint>(8, 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 : s[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];
      }

      rep(j,2) rep(k,2) rep(l,3) m_99(m,1,8) {
         if(!x && !j) continue;
         if(k || !l) {
            if(!x) ans -= dp[n][j][k][l][m];
            else ans += dp[n][j][k][l][m];
         }
      }
   }
   cout << ans.val() << '\n';
}

/*---------------------------------------------------------------------------------------------------
　　 　　 ○＿＿＿＿＿_
　  　 　 ||　 　 　 |
　 　  　 ||　  ● 　 |
　 　  　 ||　 　 　 |
 　   　  ||￣￣￣￣￣
　　   　 ||  君が代は
   ∧__,,∧||　 千代に八千代に
　 ( ｀･ω･||    さざれ石の巌となりて
　  ヽ  つ０     こけのむすまで
　　 し―-J
---------------------------------------------------------------------------------------------------*/

#else
#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
using ll = long long;
using ull = unsigned long long;
using ldb = long double;
using P = pair<ll, ll>;
#define fi first
#define se second
#define m_99(i,a,b) for (ll i = a, i##_range = (b); i < i##_range; i++)
#define rep(i,a) m_99(i,0,a)
template <class T> bool chmin(T& a, const T& b) { return a > b ? a = b, true : false; }
template <class T> bool chmax(T& a, const T& b) { return a < b ? a = b, true : false; }
#ifdef LOCAL
#include <debug_print.hpp>
#define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
#define debug(...) (static_cast<void>(0))
#endif
struct initialise { initialise() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(20); }; }__INI__;
const ll inf = 1LL << 60;
const ll dx[4] = {-1, 1, 0, 0}, dy[4] = {0, 0, -1, 1};
#endif
0