結果

問題 No.2682 Visible Divisible
ユーザー AerenAeren
提出日時 2024-03-20 21:32:43
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 68 ms / 2,000 ms
コード長 2,192 bytes
コンパイル時間 2,822 ms
コンパイル使用メモリ 262,896 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-09-30 07:21:46
合計ジャッジ時間 4,763 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 44 ms
6,816 KB
testcase_01 AC 66 ms
6,816 KB
testcase_02 AC 68 ms
6,820 KB
testcase_03 AC 61 ms
6,820 KB
testcase_04 AC 33 ms
6,816 KB
testcase_05 AC 33 ms
6,816 KB
testcase_06 AC 34 ms
6,816 KB
testcase_07 AC 33 ms
6,816 KB
testcase_08 AC 1 ms
6,820 KB
testcase_09 AC 2 ms
6,820 KB
testcase_10 AC 2 ms
6,820 KB
testcase_11 AC 41 ms
6,820 KB
testcase_12 AC 38 ms
6,816 KB
testcase_13 AC 32 ms
6,816 KB
testcase_14 AC 63 ms
6,820 KB
testcase_15 AC 49 ms
6,816 KB
testcase_16 AC 41 ms
6,820 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

// #pragma GCC optimize("O3,unroll-loops")
#include <bits/stdc++.h>
// #include <x86intrin.h>
using namespace std;
#if __cplusplus >= 202002L
using namespace numbers;
#endif

// Correctness proved in https://github.com/kth-competitive-programming/kactl/blob/master/doc/modmul-proof.pdf
// twice faster than (__int128_t)a * b % M
using ull = unsigned long long;
ull mod_mul(ull a, ull b, ull M){
	long long res = a * b - M * ull(1.L / M * a * b);
	return res + M * (res < 0) - M * (res >= (long long)M);
}
ull mod_pow(ull b, ull e, ull mod){
	ull res = 1;
	for(; e; b = mod_mul(b, b, mod), e >>= 1) if(e & 1) res = mod_mul(res, b, mod);
	return res;
}
// Millar Rabin Primality Test
// 7 times slower than a^b mod c
bool isprime(ull n){
	if(n < 2 || n % 6 % 4 != 1) return (n | 1) == 3;
	ull s = __builtin_ctzll(n - 1), d = n >> s;
	for(ull a: {2, 325, 9375, 28178, 450775, 9780504, 1795265022}){
		ull p = mod_pow(a, d, n), i = s;
		while(p != 1 && p != n - 1 && a % n && i --) p = mod_mul(p, p, n);
		if(p != n - 1 && i != s) return false;
	}
	return true;
}
// Pollard rho algorithm
// O(n^1/4)
ull get_factor(ull n){
	auto f = [n](ull x){ return mod_mul(x, x, n) + 1; };
	ull x = 0, y = 0, t = 30, prd = 2, i = 1, q;
	while(t ++ % 40 || gcd(prd, n) == 1){
		if(x == y) x = ++ i, y = f(x);
		if(q = mod_mul(prd, max(x, y) - min(x, y), n)) prd = q;
		x = f(x), y = f(f(y));
	}
	return gcd(prd, n);
}
// Returns the prime factors in arbitrary order
vector<ull> factorize(ull n){
	if(n == 1) return {};
	if(isprime(n)) return {n};
	ull x = get_factor(n);
	auto l = factorize(x), r = factorize(n / x);
	l.insert(l.end(), r.begin(), r.end());
	return l;
}

int main(){
	cin.tie(0)->sync_with_stdio(0);
	cin.exceptions(ios::badbit | ios::failbit);
	int n;
	long long k;
	cin >> n >> k;
	map<long long, int> pf;
	for(auto fact = factorize(k); auto p: fact){
		++ pf[p];
	}
	map<long long, int> best;
	for(auto i = 0; i < n; ++ i){
		long long x;
		cin >> x;
		for(auto [p, e]: pf){
			e = 0;
			while(x % p == 0){
				++ e;
				x /= p;
			}
			best[p] = max(best[p], e);
		}
	}
	for(auto [p, e]: pf){
		if(e > best[p]){
			cout << "No\n";
			return 0;
		}
	}
	cout << "Yes\n";
	return 0;
}

/*

*/
0