結果

問題 No.2487 Multiple of M
ユーザー square1001square1001
提出日時 2023-09-29 23:59:40
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 3,193 bytes
コンパイル時間 2,263 ms
コンパイル使用メモリ 212,200 KB
実行使用メモリ 4,504 KB
最終ジャッジ日時 2023-09-30 12:52:36
合計ジャッジ時間 4,127 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
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 WA -
testcase_35 WA -
testcase_36 WA -
testcase_37 WA -
testcase_38 WA -
testcase_39 WA -
testcase_40 WA -
testcase_41 WA -
testcase_42 WA -
testcase_43 WA -
testcase_44 WA -
testcase_45 WA -
testcase_46 WA -
testcase_47 WA -
testcase_48 WA -
testcase_49 WA -
testcase_50 WA -
testcase_51 WA -
testcase_52 WA -
testcase_53 WA -
testcase_54 WA -
testcase_55 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

#ifndef CLASS_MODINT
#define CLASS_MODINT

#include <cstdint>

template <std::uint32_t mod>
class modint {
private:
	std::uint32_t n;
public:
	modint() : n(0) {};
	modint(std::int64_t n_) : n((n_ >= 0 ? n_ : mod - (-n_) % mod) % mod) {};
	static constexpr std::uint32_t get_mod() { return mod; }
	std::uint32_t get() const { return n; }
	bool operator==(const modint& m) const { return n == m.n; }
	bool operator!=(const modint& m) const { return n != m.n; }
	modint& operator+=(const modint& m) { n += m.n; n = (n < mod ? n : n - mod); return *this; }
	modint& operator-=(const modint& m) { n += mod - m.n; n = (n < mod ? n : n - mod); return *this; }
	modint& operator*=(const modint& m) { n = std::uint64_t(n) * m.n % mod; return *this; }
	modint operator+(const modint& m) const { return modint(*this) += m; }
	modint operator-(const modint& m) const { return modint(*this) -= m; }
	modint operator*(const modint& m) const { return modint(*this) *= m; }
	modint inv() const { return (*this).pow(mod - 2); }
	modint pow(std::uint64_t b) const {
		modint ans = 1, m = modint(*this);
		while (b) {
			if (b & 1) ans *= m;
			m *= m;
			b >>= 1;
		}
		return ans;
	}
};

#endif // CLASS_MODINT

using mint = modint<998244353>;

long long mygcd(long long x, long long y) {
	if (y == 0) {
		return x;
	}
	return mygcd(y, x % y);
}

array<mint, 2> merge(long long X, const array<mint, 2>& v1, const array<mint, 2>& v2) {
	array<mint, 2> res = { mint(0), mint(0) };
	res[1] += v1[1] * v2[1];
	res[0] += v1[0] * v2[1];
	res[0] += v1[1] * v2[0];
	res[0] += v1[0] * v2[0] * (X - 2);
	res[1] += v1[0] * v2[0] * (X - 1);
	return res;
}

mint solve(long long N, long long M, long long K) {
	long long cur = 1;
	vector<long long> seq = { 1 };
	while (true) {
		cur = mygcd(cur * K, M);
		if (cur == seq.back()) {
			break;
		}
		seq.push_back(cur);
	}
	if (seq.size() > N) {
		seq.resize(N);
	}
	int V = seq.size();
	seq.push_back(K);
	vector<long long> d(V);
	for (int i = 0; i < V; i++) {
		d[i] = seq[i + 1] / seq[i];
	}
	vector<vector<mint> > dp(V);
	dp[0] = { mint(1) };
	for (int i = 1; i < V; i++) {
		dp[i].resize(i + 1);
		for (int j = 0; j < i; j++) {
			dp[i][j] += dp[i - 1][j] * seq[i - 1];
			dp[i][j + 1] += dp[i - 1][j];
		}
		for (int j = 0; j <= i; j++) {
			dp[i][j] *= (j >= 1 ? mint(d[i - 1]).pow(j - 1) : mint(1));
		}
	}
	array<mint, 2> ini = { mint(0), mint(0) };
	for (int i = 0; i < V; i++) {
		array<mint, 2> sub;
		sub[0] = dp[V - 1][i] * (i >= 1 ? mint(d[V - 1]).pow(i - 1) : mint(1));
		sub[1] = dp[V - 1][i] * (i >= 1 ? mint(d[V - 1]).pow(i - 1) : mint(0));
		if (i % 2 == 0) {
			ini[0] += sub[0];
			ini[1] += sub[1];
		}
		else {
			ini[0] -= sub[0];
			ini[1] -= sub[1];
		}
	}
	array<mint, 2> g = { seq[V - 1], seq[V - 1] };
	g[1] -= 1;
	array<mint, 2> v = { mint(0), mint(1) };
	long long X = M / seq[V - 1];
	long long rem = N - V;
	while (rem >= 1) {
		if (rem % 2 == 1) {
			v = merge(X, g, v);
		}
		g = merge(X, g, g);
		rem /= 2;
	}
	array<mint, 2> ans = merge(X, ini, g);
	return ans[1];
}

int main() {
	long long N, M, K;
	cin >> N >> M >> K;
	mint ans = solve(N, M, K);
	cout << ans.get() << endl;
	return 0;
}
0