結果

問題 No.1973 Divisor Sequence
ユーザー moharan627moharan627
提出日時 2022-06-10 22:38:37
言語 C++23(draft)
(gcc 13.2.0 + boost 1.83.0)
結果
MLE  
(最新)
AC  
(最初)
実行時間 -
コード長 4,097 bytes
コンパイル時間 5,857 ms
コンパイル使用メモリ 331,928 KB
実行使用メモリ 814,796 KB
最終ジャッジ日時 2023-10-21 06:21:39
合計ジャッジ時間 11,046 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge11
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,348 KB
testcase_01 AC 2 ms
4,348 KB
testcase_02 AC 66 ms
60,456 KB
testcase_03 AC 10 ms
6,216 KB
testcase_04 AC 44 ms
36,704 KB
testcase_05 AC 30 ms
20,600 KB
testcase_06 AC 43 ms
37,820 KB
testcase_07 AC 15 ms
9,120 KB
testcase_08 AC 32 ms
21,460 KB
testcase_09 AC 39 ms
32,216 KB
testcase_10 AC 58 ms
49,308 KB
testcase_11 AC 12 ms
7,800 KB
testcase_12 AC 42 ms
31,092 KB
testcase_13 AC 15 ms
12,552 KB
testcase_14 AC 1,646 ms
127,448 KB
testcase_15 AC 76 ms
64,356 KB
testcase_16 AC 59 ms
52,076 KB
testcase_17 AC 52 ms
41,720 KB
testcase_18 AC 36 ms
7,600 KB
testcase_19 AC 65 ms
54,060 KB
testcase_20 AC 18 ms
9,800 KB
testcase_21 AC 57 ms
45,936 KB
testcase_22 AC 50 ms
43,500 KB
testcase_23 AC 129 ms
108,772 KB
testcase_24 MLE -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#if !__INCLUDE_LEVEL__

#include __FILE__
vector<ll> lldiv(ll n) { 
    vector<ll> S;
    for (ll i = 1; 1LL*i*i <= n; i++) if (n%i == 0) { S.push_back(i); if (i*i != n) S.push_back(n / i); }
    sort(S.begin(), S.end());
    return S;
}
template <typename T>
struct Compress {
    vector<T> xs;

    Compress() = default;

    Compress(const vector<T> &vs) { add(vs); }

    Compress(const initializer_list<vector<T>> &vs) {
        for (auto &p : vs) add(p);
    }

    void add(const vector<T> &vs) {
        copy(begin(vs), end(vs), back_inserter(xs));
    }

    void add(const T &x) { xs.emplace_back(x); }

    void build() {
        sort(begin(xs), end(xs));
        xs.erase(unique(begin(xs), end(xs)), end(xs));
    }

    vector<int> get(const vector<T> &vs) const {
        vector<int> ret;
        transform(begin(vs), end(vs), back_inserter(ret), [&](const T &x) {
            return lower_bound(begin(xs), end(xs), x) - begin(xs);
        });
        return ret;
    }

    int get(const T &x) const {
        return lower_bound(begin(xs), end(xs), x) - begin(xs);
    }

    const T &operator[](int k) const { return xs[k]; }
};
//行列の積
#define mat vector<vector<ll>>
const ll MOD = 1000000007;
mat mat_mul(mat &a, mat &b) {
    mat res(a.size(), vector<ll>(b[0].size()));
    for (int i = 0; i < a.size(); i++) {
        for (int j = 0; j < b[0].size(); j++) {
            for (int k = 0; k < b.size(); k++) {
                (res[i][j] += a[i][k] * b[k][j]) %= MOD;
            }
        }
    }
    return res;
}
/// 行列累乗
mat mat_pow(mat a, long long n) {
    mat res(a.size(), vector<ll>(a.size()));
    // 単位行列で初期化
    for (int i = 0; i < a.size(); i++)res[i][i] = 1;
    // 繰り返し二乗法
    while (n > 0) {
        if (n & 1) res = mat_mul(a, res);
        a = mat_mul(a, a);
        n >>= 1;
        }
    return res;
}
int main()
{
    ll N,M;cin >> N >> M;
    auto div = lldiv(M);
    Compress<ll> comp(div);
    comp.build();
    ll D = div.size();
    vector<vector<mint1>> DP(N+1,vector<mint1>(D,0));
    unordered_map<ll,int> Dflag;
    fore(d,div){
        Dflag[d] = 1;
        DP[1][comp.get(d)] = 1;
    }
    vvl Mat(D,vl(D,0));
    rep(j,D){
        rep(k,D){
            if(Dflag[div[j]*div[k]]==1){
                Mat[j][k] = 1;
            }
        }
    }
    mat R = mat_pow(Mat,N-1);
    mat L(1,vl(D,1));
    mat Ans(1,vl(N,0));
    Ans = mat_mul(L,R);
    mint1 ans = 0;
    rep(d,D)ans += Ans[0][d];
    cout << ans << endl;
}

#else

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define rep(i, n) for(int i = 0; i < n; i++)
#define rrep(i, n) for(int i = n-1; i >= 0; i--)
#define range(i, m, n) for(int i = m; i < n; i++)
#define fore(i,a) for(auto &i:a)
#define all(v) v.begin(), v.end()
#define rall(v) v.rbegin(), v.rend()
#define Sum(v) accumulate(all(v),0)
#define minv(v) *min_element(all(v))
#define maxv(v) *max_element(all(v))
typedef long long ll;
typedef vector<ll> vl;
typedef vector<vector<ll>> vvl;
const ll INF = 1e16;
const ll MOD1 = 1000000007;
const ll MOD2 = 998244353;
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }
ll SN(char s){return ll(s-'0');}
ll SN(string s){return stoll(s);}
int alpN(char s){return int(s-'a');}
int AlpN(char s){return int(s-'A');}
using Graph = vector<vector<ll>>;
using GraphCost = vector<vector<pair<ll,ll>>>;
using mint1 = modint1000000007;
using mint2 = modint998244353;
using pll = pair<long long, long long>;
template <class T>ostream &operator<<(ostream &o,const vector<T>&v){for(int i=0;i<(int)v.size();i++)o<<(i>0?" ":"")<<v[i];return o;}//vector空白区切り出力
ostream& operator<<(ostream& os, const mint1& N) {return os << N.val();}//mint出力。デフォはmint1
ostream& operator<<(ostream& os, const mint2& N) {return os << N.val();}
template<class T> bool contain(const std::string& s, const T& v) {
    return s.find(v) != std::string::npos;
}

#endif
0