結果

問題 No.2977 Kth Xor Pair
ユーザー amesyuamesyu
提出日時 2024-12-01 01:40:32
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
MLE  
実行時間 -
コード長 2,167 bytes
コンパイル時間 1,185 ms
コンパイル使用メモリ 96,424 KB
実行使用メモリ 1,114,372 KB
最終ジャッジ日時 2024-12-01 01:42:07
合計ジャッジ時間 93,209 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
13,632 KB
testcase_01 MLE -
testcase_02 AC 23 ms
16,264 KB
testcase_03 MLE -
testcase_04 AC 22 ms
16,264 KB
testcase_05 MLE -
testcase_06 AC 23 ms
16,272 KB
testcase_07 MLE -
testcase_08 TLE -
testcase_09 MLE -
testcase_10 TLE -
testcase_11 MLE -
testcase_12 TLE -
testcase_13 MLE -
testcase_14 TLE -
testcase_15 MLE -
testcase_16 TLE -
testcase_17 MLE -
testcase_18 MLE -
testcase_19 MLE -
testcase_20 MLE -
testcase_21 MLE -
testcase_22 MLE -
testcase_23 MLE -
testcase_24 MLE -
testcase_25 MLE -
testcase_26 TLE -
testcase_27 AC 1,406 ms
32,080 KB
testcase_28 AC 1,420 ms
34,108 KB
testcase_29 AC 1,425 ms
33,420 KB
testcase_30 AC 1,393 ms
31,820 KB
testcase_31 AC 1,424 ms
36,476 KB
testcase_32 AC 867 ms
6,816 KB
testcase_33 AC 907 ms
6,816 KB
testcase_34 AC 884 ms
6,820 KB
testcase_35 MLE -
権限があれば一括ダウンロードができます

ソースコード

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 = 31;
struct BinaryTrie {
	
	vector<int> par, cnt, b0, b1;
	
	explicit BinaryTrie(void) {
		par.push_back(-1);
		b0.push_back(-1);
		b1.push_back(-1);
		cnt.push_back(0);
	}

	inline int __append(int p, int nxt_bit) {
		int idx = par.size();
		par.push_back(p);
		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 == 1) {
				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