結果

問題 No.187 中華風 (Hard)
ユーザー kazumakazuma
提出日時 2017-11-29 22:04:39
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,160 bytes
コンパイル時間 2,358 ms
コンパイル使用メモリ 217,012 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-05-05 19:01:29
合計ジャッジ時間 5,525 ms
ジャッジサーバーID
(参考情報)
judge3 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
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 AC 311 ms
5,376 KB
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 AC 200 ms
5,376 KB
testcase_15 AC 37 ms
5,376 KB
testcase_16 AC 40 ms
5,376 KB
testcase_17 AC 1 ms
5,376 KB
testcase_18 AC 2 ms
5,376 KB
testcase_19 AC 2 ms
5,376 KB
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using pll = pair<ll, ll>;

const ll mod = 1e9 + 7;

ll pow(ll x, int n) {
	ll res = 1;
	while (n) {
		if (n & 1) res *= x;
		x *= x;
		n >>= 1;
	}
	return res;
}

ll extgcd(ll a, ll b, ll& x, ll& y) {
	ll d = a;
	if (b != 0) {
		d = extgcd(b, a % b, y, x);
		y -= (a / b) * x;
	}
	else {
		x = 1;
		y = 0;
	}
	return d;
}

ll mod_inv(ll a, ll md) {
	ll x, y;
	extgcd(a, md, x, y);
	return (x % md + md) % md;
}

ll garner(vector<pll> mr, ll md) {
	int n = mr.size();
	ll x = 0, m = 1;
	for (int i = 0; i < n; i++) {
		ll b = mr[i].second - x;
		ll t = b * mod_inv(m, mr[i].first) % mr[i].first;
		(x += m * t % md + md) %= md;
		(m *= mr[i].first) %= md;
	}
	return x;
}

vector<pair<ll, int>> factorize(ll n) {
	vector<pair<ll, int>> res;
	for (ll i = 2; i * i <= n; i++) {
		if (n % i == 0) {
			res.emplace_back(i, 0);
			while (n % i == 0) {
				res.back().second++;
				n /= i;
			}
		}
	}
	if (n != 1) {
		if (!res.empty() && res.back().first == n) res.back().second++;
		else res.emplace_back(n, 1);
	}
	return res;
}

bool add_factor(ll x, ll m, map<ll, pair<int, ll>>& facts) {
	auto fs = factorize(m);
	for (auto p : fs) {
		if (!facts.count(p.first)) {
			facts[p.first] = make_pair(p.second, x % pow(p.first, p.second));
			continue;
		}
		auto q = facts[p.first];
		if ((x - q.second) % pow(p.first, min(p.second, q.first)) != 0) return false;
		if (p.second > q.first) {
			facts[p.first] = make_pair(p.second, x % pow(p.first, p.second));
		}
	}
	return true;
}

int main()
{
	ios::sync_with_stdio(false), cin.tie(0);
	int N;
	cin >> N;
	map<ll, pair<int, ll>> facts;
	bool ok = true;
	for (int i = 0; i < N; i++) {
		int X, Y;
		cin >> X >> Y;
		ok = ok && add_factor(X, Y, facts);
		if (!ok) {
			cout << -1 << endl;
			return 0;
		}
	}
	bool zero = true;
	vector<pll> mr;
	for (auto p : facts) {
		mr.emplace_back(pow(p.first, p.second.first), p.second.second);
		if (p.second.second != 0) zero = false;
	}
	ll res = garner(mr, mod);
	if (zero) {
		res = 1;
		for (auto p : facts) {
			(res *= pow(p.first, p.second.first)) %= mod;
		}
	}
	cout << res << endl;
	return 0;
}
0