結果

問題 No.868 ハイパー部分和問題
コンテスト
ユーザー e869120
提出日時 2019-08-16 14:32:17
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,691 ms / 7,000 ms
コード長 1,273 bytes
コンパイル時間 955 ms
コンパイル使用メモリ 80,248 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-09-23 06:55:23
合計ジャッジ時間 24,454 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 38
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <bitset>
#include <algorithm>
#include <vector>
#include <cassert>
using namespace std;

const int BACKET = 130;
int N, K, Q, A[15009], X[15009], V[15009], ans[15009];
bool used[15009];
bitset<15009>ZERO;

void query(int cl, int cr) {
	for (int i = 1; i <= N; i++) used[i] = false;
	vector<int> J;
	for (int i = cl; i <= cr; i++) { used[X[i]] = true; J.push_back(X[i]); }
	sort(J.begin(), J.end());
	J.erase(unique(J.begin(), J.end()), J.end());

	bitset<15009> G = ZERO; G.set(0);
	for (int i = 1; i <= N; i++) {
		if (used[i] == false) G |= (G << A[i]);
	}

	for (int i = cl; i <= cr; i++) {
		A[X[i]] = V[i];
		bitset<15009>H = G;
		for (int pos : J) H |= (H << A[pos]);
		if (H[K] == 1) ans[i] = 1;
		else ans[i] = 0;
	}
}

int main() {
	cin >> N >> K;
	assert(1 <= N && N <= 15000);
	assert(1 <= K && K <= 15000);
	for (int i = 1; i <= N; i++) { cin >> A[i]; assert(0 <= A[i] && A[i] <= 15000); }
	cin >> Q;
	assert(1 <= Q && Q <= 15000);
	for (int i = 1; i <= Q; i++) {
		cin >> X[i] >> V[i];
		assert(1 <= X[i] && X[i] <= N);
		assert(0 <= V[i] && V[i] <= 15000);
	}

	for (int i = 1; i <= Q; i += BACKET) {
		int cl = i, cr = min(Q, i + BACKET - 1);
		query(cl, cr);
	}
	for (int i = 1; i <= Q; i++) cout << ans[i] << endl;
	return 0;
}
0