結果

問題 No.2682 Visible Divisible
ユーザー AerenAeren
提出日時 2024-03-20 21:32:43
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 74 ms / 2,000 ms
コード長 2,192 bytes
コンパイル時間 3,376 ms
コンパイル使用メモリ 262,248 KB
実行使用メモリ 6,548 KB
最終ジャッジ日時 2024-03-20 21:32:49
合計ジャッジ時間 5,343 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 50 ms
6,548 KB
testcase_01 AC 74 ms
6,548 KB
testcase_02 AC 74 ms
6,548 KB
testcase_03 AC 69 ms
6,548 KB
testcase_04 AC 38 ms
6,548 KB
testcase_05 AC 38 ms
6,548 KB
testcase_06 AC 38 ms
6,548 KB
testcase_07 AC 37 ms
6,548 KB
testcase_08 AC 2 ms
6,548 KB
testcase_09 AC 2 ms
6,548 KB
testcase_10 AC 2 ms
6,548 KB
testcase_11 AC 47 ms
6,548 KB
testcase_12 AC 42 ms
6,548 KB
testcase_13 AC 38 ms
6,548 KB
testcase_14 AC 70 ms
6,548 KB
testcase_15 AC 56 ms
6,548 KB
testcase_16 AC 46 ms
6,548 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