結果

問題 No.2977 Kth Xor Pair
ユーザー amesyuamesyu
提出日時 2024-12-01 01:46:52
言語 C++17(clang)
(17.0.6 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 2,116 bytes
コンパイル時間 1,109 ms
コンパイル使用メモリ 122,752 KB
実行使用メモリ 355,056 KB
最終ジャッジ日時 2024-12-01 01:48:28
合計ジャッジ時間 92,993 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
13,636 KB
testcase_01 AC 2 ms
332,216 KB
testcase_02 AC 22 ms
13,148 KB
testcase_03 AC 22 ms
344,732 KB
testcase_04 AC 22 ms
13,400 KB
testcase_05 AC 22 ms
342,268 KB
testcase_06 AC 22 ms
13,536 KB
testcase_07 TLE -
testcase_08 TLE -
testcase_09 TLE -
testcase_10 TLE -
testcase_11 TLE -
testcase_12 TLE -
testcase_13 TLE -
testcase_14 TLE -
testcase_15 TLE -
testcase_16 TLE -
testcase_17 TLE -
testcase_18 TLE -
testcase_19 TLE -
testcase_20 TLE -
testcase_21 TLE -
testcase_22 TLE -
testcase_23 TLE -
testcase_24 TLE -
testcase_25 TLE -
testcase_26 TLE -
testcase_27 AC 1,210 ms
25,064 KB
testcase_28 AC 1,299 ms
26,604 KB
testcase_29 AC 1,295 ms
26,088 KB
testcase_30 AC 1,321 ms
24,940 KB
testcase_31 AC 1,351 ms
24,936 KB
testcase_32 AC 645 ms
5,248 KB
testcase_33 AC 645 ms
5,248 KB
testcase_34 AC 650 ms
5,248 KB
testcase_35 AC 657 ms
292,208 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
using namespace std;
using ll = long long;
const int log = 30;
struct BinaryTrie {
	
	vector<int> cnt, b0, b1;
	
	explicit BinaryTrie(void) {
		b0.push_back(-1);
		b1.push_back(-1);
		cnt.push_back(0);
	}

	inline int __append(int p, int nxt_bit) {
		int idx = cnt.size();
		b0.push_back(-1);
		b1.push_back(-1);
		cnt.push_back(0);
		if(nxt_bit == 0) b0[p] = idx;
		if(nxt_bit == 1) b1[p] = idx;
		return idx;
	}

	inline int move(int p, int nxt_bit) {
		if(nxt_bit == 0) {
			if(b0[p] == -1) return __append(p, nxt_bit);
			else return b0[p];
		} else {
			if(b1[p] == -1) return __append(p, nxt_bit);
			else return b1[p];
		}
	}

	void add_value(int x) {
		int root = 0;
		cnt[root]++;
		for(int i = log; i >= 0; i--) {
			root = move(root, (x>>i)&1);
			cnt[root]++;
		}
	}
	
	inline int subtree_cnt(int r) {
		if(r == -1) return 0;
		return cnt[r];
	}

	int lower_bound(int value, int x=0) {
		int lb = 0;
		int root = 0;
		for(int i = log; i >= 0; i--) {
			int nxt_bit = (value>>i)&1;
			int flip = (x>>i)&1;
			if(nxt_bit) {
				if(flip) lb += subtree_cnt(b1[root]);
				else lb += subtree_cnt(b0[root]);
			}
			root = move(root, nxt_bit^flip);
		}
		return lb;
	}
	
	int upper_bound(int value, int x=0) {
		int ub = 0;
		int root = 0;
		for(int i = log; i >= 0; i--) {
			int nxt_bit = (value>>i)&1;
			int flip = (x>>i)&1;
			if(nxt_bit) {
				if(flip) ub += subtree_cnt(b1[root]);
				else ub += subtree_cnt(b0[root]);
			}
			root = move(root, nxt_bit^flip);
		}
		ub += subtree_cnt(root);
		return ub;
	}
};

int main() {
	
	BinaryTrie bt;
	
	long long n, k;
	cin >> n >> k;
	
	vector<int> a(n);
	for(int i = 0; i < n; ++i) {
		cin >> a[i];
		bt.add_value(a[i]);
	}
		
	// Find N + 2 * K kth number
	const long long pos = n + 2 * k - 1;
	int ng = -1, ok = 1e9;
	while(ok - ng > 1) {
		int x = (ok + ng) >> 1;
		long long count = 0;
		for(int i = 0; i < n; ++i) {
			count += bt.upper_bound(x, a[i]);
		}
		if(count >= pos) ok = x;
		else ng = x;
	}
	cout << ok << endl;
}
0