結果

問題 No.1417 100の倍数かつ正整数(2)
コンテスト
ユーザー Ahykw
提出日時 2021-03-11 23:48:49
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 8 ms / 3,000 ms
コード長 3,767 bytes
コンパイル時間 2,015 ms
コンパイル使用メモリ 185,816 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-10-13 10:39:41
合計ジャッジ時間 3,133 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 36
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma GCC optimize("O3")
//#pragma GCC target("avx2")
//#pragma GCC optimize("unroll-loops")

#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
typedef vector<int> vi;
typedef vector<ll> vll;
typedef vector<ld> vld;
typedef pair<ll,ll> Pll;
typedef pair<int,int> Pin;

ll INF = 1e16;
int inf = 1e9;

#define ALL(x) (x).begin(), (x).end()
#define FOR(i, m, n) for (ll i = (m); i < (n); ++i)
#define REVFOR(i, m, n) for (ll i = (n - 1); i >= (m); --i)
#define REP(i, n) FOR(i, 0, n)
#define REVREP(i, n) REVFOR(i, 0, n)
#define fi first
#define se second
#define pb push_back
#define mp make_pair
#define eb emplace_back
#define bcnt __builtin_popcountll

#ifdef LOCAL
#include <prettyprint.hpp>
#define debug(...)  cerr << "[" << #__VA_ARGS__ << "]: ", d_err(__VA_ARGS__);
#else
#define debug(...) 83;
#endif

void d_err() {
    cerr << endl;
}

template <typename H, typename... T>
void d_err(H h, T... t) {
    cerr << h << " ";
    d_err(t...);
}

template <typename T>
void print(T x) {
    cout << x << "\n";
}

template <typename T>
void print(vector<T>& x) {
    int N = x.size();
    REP(i, N) {
        if (i > 0) cout << " ";
        cout << x[i];
    }
    cout << "\n";
}

const ll MOD = 1000000007;
//const ll MOD = 998244353;
struct mint {
    ll x; // typedef long long ll;
    mint(ll x=0):x((x%MOD+MOD)%MOD){}
    mint operator-() const { return mint(-x);}
    mint& operator+=(const mint a) {
        if ((x += a.x) >= MOD) x -= MOD;
        return *this;
    }
    mint& operator-=(const mint a) {
        if ((x += MOD-a.x) >= MOD) x -= MOD;
        return *this;
    }
    mint& operator*=(const mint a) {
        (x *= a.x) %= MOD;
        return *this;
    }
    mint operator+(const mint a) const {
        mint res(*this);
        return res+=a;
    }
    mint operator-(const mint a) const {
        mint res(*this);
        return res-=a;
    }
    mint operator*(const mint a) const {
        mint res(*this);
        return res*=a;
    }
    mint pow(ll t) const {
        if (!t) return 1;
        mint a = 1;
        mint tmp = *this;
        while(t > 0) {
            if (t & 1) a *= tmp;
            tmp *= tmp;
            t >>= 1;
        }

        return a;
    }
    // for prime MOD
    mint inv() const {
        return pow(MOD-2);
    }
    mint& operator/=(const mint a) {
        return (*this) *= a.inv();
    }
    mint operator/(const mint a) const {
        return mint(*this) /= a;
    }
};
istream& operator>>(istream& is, mint& a) { return is >> a.x;}
ostream& operator<<(ostream& os, const mint& a) { return os << a.x;}

typedef vector<mint> vmi;

int main(){
    cin.tie(0);
    ios_base::sync_with_stdio(false);
    cout << fixed << setprecision(20);

    string n; cin >> n;

    vector<vector<vmi>> dp(2, vector<vmi>(3, vmi(3, 0))); // smaller, # of 2, # of 5
    dp[1][0][0] = 1;

    REP(i, n.size()) {
        vector<vector<vmi>> tmp(2, vector<vmi>(3, vmi(3, 0)));

        FOR(j, 1, 10) {
            int c2 = 0, c5 = 0;
            int cur = j;
            while(cur % 2 == 0) {
                c2++;
                cur >>= 1;
            }

            while(cur % 5 == 0) {
                c5++;
                cur /= 5;
            }

            REP(p2, 3) REP(p5, 3) {
                int q2 = min(2LL, p2 + c2);
                int q5 = min(2LL, p5 + c5);

                // smaller
                tmp[0][q2][q5] += dp[0][p2][p5];
                if (j < n[i] - '0') tmp[0][q2][q5] += dp[1][p2][p5];

                // exact
                if (j == n[i] - '0') tmp[1][q2][q5] += dp[1][p2][p5];
            }
        }

        swap(dp, tmp);

        dp[0][0][0] += 1;
    }

    print(dp[0][2][2] + dp[1][2][2]);
}
0