結果

問題 No.2039 Copy and Avoid
ユーザー kabipoyokabipoyo
提出日時 2022-08-12 23:10:26
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 440 ms / 2,000 ms
コード長 2,108 bytes
コンパイル時間 2,672 ms
コンパイル使用メモリ 226,740 KB
実行使用メモリ 21,892 KB
最終ジャッジ日時 2023-10-24 11:29:19
合計ジャッジ時間 6,051 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 437 ms
21,884 KB
testcase_01 AC 2 ms
4,348 KB
testcase_02 AC 6 ms
4,348 KB
testcase_03 AC 2 ms
4,348 KB
testcase_04 AC 1 ms
4,348 KB
testcase_05 AC 13 ms
4,348 KB
testcase_06 AC 2 ms
4,348 KB
testcase_07 AC 2 ms
4,348 KB
testcase_08 AC 2 ms
4,348 KB
testcase_09 AC 2 ms
4,348 KB
testcase_10 AC 2 ms
4,348 KB
testcase_11 AC 2 ms
4,348 KB
testcase_12 AC 2 ms
4,348 KB
testcase_13 AC 433 ms
21,784 KB
testcase_14 AC 437 ms
21,892 KB
testcase_15 AC 440 ms
21,600 KB
testcase_16 AC 373 ms
18,184 KB
testcase_17 AC 4 ms
4,348 KB
testcase_18 AC 9 ms
4,348 KB
testcase_19 AC 4 ms
4,348 KB
testcase_20 AC 32 ms
4,348 KB
testcase_21 AC 2 ms
4,348 KB
testcase_22 AC 2 ms
4,348 KB
testcase_23 AC 2 ms
4,348 KB
testcase_24 AC 2 ms
4,348 KB
testcase_25 AC 2 ms
4,348 KB
testcase_26 AC 2 ms
4,348 KB
testcase_27 AC 7 ms
4,348 KB
testcase_28 AC 2 ms
4,348 KB
testcase_29 AC 1 ms
4,348 KB
testcase_30 AC 1 ms
4,348 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
// #include <atcoder/all>
using namespace std;
// using namespace atcoder;
typedef int64_t lint;
#define rep(i, n) for(int i=0; i<n; i++)
#define repx(i, l, n) for(int i=l; i<n; i++)
#define all(v) v.begin(), v.end()
#define show(x) cout << #x << ": " << x << endl;
#define list(x) cout << #x << ": " << x << "  ";
#define pb push_back
using vi = vector<lint>;
using vvi = vector<vector<lint>>;
template<class T> inline void vin(vector<T>& v) { rep(i, v.size()) cin >> v.at(i); }
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; }
template<class T> inline void drop(T x) { cout << x << endl; exit(0); }
template<class T> void vout(vector<T> v) { rep(i, v.size()) { cout << v.at(i) << ' '; } cout << endl; }
constexpr lint LINF = LLONG_MAX/2;
using pint = pair<lint, lint>;
using vp = vector<pint>;
vector<lint> divisor(lint n) {
	vector<lint> v;
	for (lint i = 1; i*i <= n; i++) {
		if (n % i == 0) {
			v.push_back(i);
			if (i*i != n) v.push_back(n/i);
		}
	}
	sort(v.begin(), v.end());
	return v;
}

int main() {
	lint N, M, A, B;
	cin >> N >> M >> A >> B;
	vi v(M);
	vin(v);

	lint a=0, b=LINF, c=1, x, y, z;
	sort(all(v));
	priority_queue<pint> q;
	map<pint, lint> m;
	set<pint> s;
	q.push({N, N});
	m[{N, N}] = -B;
	while (!q.empty()) {
		tie(x, y) = q.top();
		q.pop();
		if (s.count({x, y})) continue;
		s.insert({x, y});
		z = m[{x, y}];
		// list(x)
		// list(y)
		// show(z)
		if (x != y) {
			bool f = true;
			rep(i, M) {
				if (v[i] > x) break;
				if (v[i]%y == 0) f = false;
			}
			if (!f) continue;
			z += (x/y-1)*A;
			x = y;
			q.push({x, y});
			if (!m.count({x, y})) m[{x, y}] = z;
			else chmin(m[{x, y}], z);
		} else {
			vi w = divisor(x);
			rep(i, w.size()) {
				if (w[i] <= a) continue;
				if (s.count({x, w[i]})) continue;
				q.push({x, w[i]});
				m[{x, w[i]}] = z+B;
			}
		}
		// if (m.count({1, 1})) show((m[{1, 1}]))
	}
	if (!m.count({1, 1})) std::cout << -1 << '\n';
	else std::cout << m[{1, 1}] << '\n';
}
0