結果

問題 No.3502 GCD Knapsack
コンテスト
ユーザー kwm_t
提出日時 2026-04-17 22:04:47
言語 C++23
(gcc 15.2.0 + boost 1.89.0)
コンパイル:
g++-15 -O2 -lm -std=c++23 -Wuninitialized -DONLINE_JUDGE -o a.out _filename_
実行:
./a.out
結果
AC  
実行時間 24 ms / 2,000 ms
コード長 3,013 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 3,750 ms
コンパイル使用メモリ 336,712 KB
実行使用メモリ 7,040 KB
最終ジャッジ日時 2026-04-17 22:04:58
合計ジャッジ時間 4,529 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge3_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 35
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <bits/stdc++.h>
//#include <atcoder/all>
using namespace std;
// using namespace atcoder;
// using mint = modint1000000007;
// const int mod = 1000000007;
// using mint = modint998244353;
// const int mod = 998244353;
// const int INF = 1e9;
// const long long LINF = 1e18;
#define rep(i, n) for (int i = 0; i < (n); ++i)
#define rep2(i, l, r) for (int i = (l); i < (r); ++i)
#define rrep(i, n) for (int i = (n)-1; i >= 0; --i)
#define rrep2(i, l, r) for (int i = (r)-1; i >= (l); --i)
#define all(x) (x).begin(), (x).end()
#define allR(x) (x).rbegin(), (x).rend()
#define P pair<int, int>
template<typename A, typename B> inline bool chmax(A &a, const B &b) { if (a < b) { a = b; return true; } return false; }
template<typename A, typename B> inline bool chmin(A &a, const B &b) { if (a > b) { a = b; return true; } return false; }
#ifndef KWM_T_MATH_SIEVE_HPP
#define KWM_T_MATH_SIEVE_HPP

#include <vector>

namespace kwm_t::math {

/**
 * @brief エラトステネスの篩（bool版）
 * is_prime[i] を返す
 */
inline std::vector<bool> sieve(int n) {
	std::vector<bool> is_prime(n + 1, true);

	if (n >= 0) is_prime[0] = false;
	if (n >= 1) is_prime[1] = false;

	for (int p = 2; p * p <= n; ++p) {
		if (!is_prime[p]) continue;
		for (int i = p * p; i <= n; i += p) {
			is_prime[i] = false;
		}
	}
	return is_prime;
}

/**
 * @brief 素数列挙
 * sieve を利用して primes を返す
 */
inline std::vector<int> primes(int n) {
	auto is_prime = sieve(n);
	std::vector<int> res;

	for (int i = 2; i <= n; ++i) {
		if (is_prime[i]) res.push_back(i);
	}
	return res;
}
}

#endif

#ifndef KWM_T_MATH_CONVOLUTION_INTERNAL_MULTIPLE_TRANSFORM_HPP
#define KWM_T_MATH_CONVOLUTION_INTERNAL_MULTIPLE_TRANSFORM_HPP

#include <vector>

/**
 * @brief 倍数ゼータ / メビウス変換
 *
 * f[i] = Σ_{j: i|j} f[j]
 *
 * 典型用途:
 *   - GCD畳み込み
 *
 * 計算量:
 *   O(n log n)
 *
 * verified:
 */
namespace kwm_t::math::convolution::internal {

template <typename T>
void multiple_zeta_transform(std::vector<T>& f, const std::vector<bool>& is_prime) {
	int n = (int)f.size();

	for (int p = 2; p < n; ++p) {
		if (!is_prime[p]) continue;
		for (int i = (n - 1) / p; i >= 1; --i) {
			f[i] += f[i * p];
		}
	}
}

template <typename T>
void multiple_mobius_transform(std::vector<T>& f, const std::vector<bool>& is_prime) {
	int n = (int)f.size();

	for (int p = 2; p < n; ++p) {
		if (!is_prime[p]) continue;
		for (int i = 1; i * p < n; ++i) {
			f[i] -= f[i * p];
		}
	}
}

}

#endif // KWM_T_MATH_CONVOLUTION_INTERNAL_MULTIPLE_TRANSFORM_HPP
int main() {
	std::ios::sync_with_stdio(false);
	std::cin.tie(nullptr);
	int n, w; cin >> n >> w;
	int b = 18;
	vector<long long>a(1 << b);
	vector<int>x(n), y(n);
	rep(i, n)cin >> x[i];
	rep(i, n)cin >> y[i];
	rep(i, n)a[x[i]] += y[i];
	auto prime = kwm_t::math::sieve(1 << b);
	kwm_t::math::convolution::internal::multiple_zeta_transform(a, prime);
	long long ans = 0;
	rep2(i, w, 1 << b)chmax(ans, a[i]);
	cout << ans << endl;
	return 0;
}
0