結果

問題 No.649 ここでちょっとQK！
ユーザー みずくらげみずくらげ
提出日時 2019-07-23 11:48:50
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 475 ms / 3,000 ms
コード長 6,258 bytes
コンパイル時間 1,517 ms
コンパイル使用メモリ 74,996 KB
実行使用メモリ 12,840 KB
最終ジャッジ日時 2023-09-07 09:08:44
合計ジャッジ時間 9,203 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,380 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 2 ms
4,380 KB
testcase_03 AC 285 ms
4,376 KB
testcase_04 AC 206 ms
12,840 KB
testcase_05 AC 206 ms
12,676 KB
testcase_06 AC 212 ms
12,836 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 1 ms
4,380 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 2 ms
4,376 KB
testcase_11 AC 1 ms
4,380 KB
testcase_12 AC 203 ms
7,532 KB
testcase_13 AC 199 ms
7,528 KB
testcase_14 AC 198 ms
7,496 KB
testcase_15 AC 214 ms
7,592 KB
testcase_16 AC 203 ms
7,516 KB
testcase_17 AC 228 ms
7,916 KB
testcase_18 AC 255 ms
8,372 KB
testcase_19 AC 287 ms
8,796 KB
testcase_20 AC 312 ms
9,248 KB
testcase_21 AC 334 ms
9,616 KB
testcase_22 AC 364 ms
10,088 KB
testcase_23 AC 399 ms
10,632 KB
testcase_24 AC 416 ms
10,888 KB
testcase_25 AC 444 ms
11,484 KB
testcase_26 AC 475 ms
11,788 KB
testcase_27 AC 3 ms
4,376 KB
testcase_28 AC 3 ms
4,380 KB
testcase_29 AC 3 ms
4,380 KB
testcase_30 AC 171 ms
7,684 KB
testcase_31 AC 171 ms
7,552 KB
testcase_32 AC 2 ms
4,376 KB
testcase_33 AC 1 ms
4,380 KB
testcase_34 AC 1 ms
4,380 KB
testcase_35 AC 2 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

// 実験（他の人のコード）


#include <iostream>
using namespace std;

#define REP(i, s) for (int i = 0; i < s; ++i)
#define ALL(v) (v.begin(), v.end())
#define COUT(x) cout << #x << " = " << (x) << " (L" << __LINE__ << ")" << endl
#define EACH(i, s) for (__typeof__((s).begin()) i = (s).begin(); i != (s).end(); ++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 T1, class T2> ostream& operator << (ostream &s, pair<T1,T2> P)
{ return s << '<' << P.first << ", " << P.second << '>'; }



typedef long long VAL;
const VAL SUM_UNITY = 0;
struct RBST {
    unsigned int randInt() {
        static unsigned int tx = 123456789, ty=362436069, tz=521288629, tw=88675123;
        unsigned int tt = (tx^(tx<<11));
        tx = ty; ty = tz; tz = tw;
        return ( tw=(tw^(tw>>19))^(tt^(tt>>8)) );
    }
    
	struct NODE {
        NODE *left, *right;
		VAL val;						// the value of the node
		int size;						// the size of the subtree 
		VAL sum;						// the value-sum of the subtree

        NODE() : val(SUM_UNITY), size(1), sum(SUM_UNITY) {
            left = right = NULL;
        }
        
		NODE(VAL v) : val(v), size(1), sum(v) {
			left = right = NULL;
		}

		/* additional update */
		inline void update() {

		}

		/* additional lazy-propagation */
		inline void push() {

			/* ex: reverse */
			/*
			if (this->rev) {
				swap(this->left, this->right);
				if (this->left) this->left->rev ^= true;
				if (this->right) this->right->rev ^= true;
				this->rev = false;
			}
			*/
		}
    };
    
    
    ///////////////////////
    // root
    ///////////////////////
    
    NODE* root;
    RBST() : root(NULL) { }
    RBST(NODE* node) : root(node) { }
    
    
    ///////////////////////
    // basic operations
    ///////////////////////
    
    /* size */
	inline int size(NODE *node) {
		return !node ? 0 : node->size;
	}
    inline int size() {
        return this->size(this->root);
    }

    /* sum */
	inline VAL sum(NODE *node) {
		return !node ? SUM_UNITY : node->sum;
	}
    inline VAL sum() {
        return this->sum(this->root);
    }

    /* update, push */
	inline NODE* update(NODE *node) {
		node->size = size(node->left) + size(node->right) + 1;
		node->sum = sum(node->left) + sum(node->right) + node->val;
		node->update();
		return node;
	}

	inline void push(NODE *node) {
		if (!node) return;
		node->push();
	}
    
    /* lower_bound */
    inline int lowerBound(NODE *node, VAL val) {
        push(node);
        if (!node) return 0;
        if (val <= node->val) return lowerBound(node->left, val);
        else return size(node->left) + lowerBound(node->right, val) + 1;
    }
    inline int lowerBound(VAL val) {
        return this->lowerBound(this->root, val);
    }
    
    /* upper_bound */
    inline int upperBound(NODE *node, VAL val) {
        push(node);
        if (!node) return 0;
        if (val >= node->val) return size(node->left) + upperBound(node->right, val) + 1;
        else return upperBound(node->left, val);
    }
    inline int upperBound(VAL val) {
        return this->upperBound(this->root, val);
    }
    
    /* count */
    inline int count(VAL val) {
        return upperBound(val) - lowerBound(val);
    }
    
    /* get --- k: 0-index */
    inline VAL get(NODE *node, int k) {
        push(node);
        if (!node) return -1;
        if (k == size(node->left)) return node->val;
        if (k < size(node->left)) return get(node->left, k);
        else return get(node->right, k - size(node->left) - 1);
    }
    inline VAL get(int k) {
        return get(this->root, k);
    }

    
    ///////////////////////
    // merge-split
    ///////////////////////
    
	NODE* merge(NODE *left, NODE *right) {
		push(left);
		push(right);
		if (!left || !right) {
			if (left) return left;
			else return right;
		}
		if (randInt() % (left->size + right->size) < left->size) {
			left->right = merge(left->right, right);
			return update(left);
		}
		else {
			right->left = merge(left, right->left);
			return update(right);
		}
	}
    void merge(RBST add) {
        this->root = this->merge(this->root, add.root);
    }
	pair<NODE*, NODE*> split(NODE* node, int k) { // [0, k), [k, n)
		push(node);
		if (!node) return make_pair(node, node);
		if (k <= size(node->left)) {
			pair<NODE*, NODE*> sub = split(node->left, k);
			node->left = sub.second;
			return make_pair(sub.first, update(node));
		}
		else {
			pair<NODE*, NODE*> sub = split(node->right, k - size(node->left) - 1);
			node->right = sub.first;
			return make_pair(update(node), sub.second);
		}
	}
    RBST split(int k) {
        pair<NODE*, NODE*> sub = split(this->root, k);
        this->root = sub.first;
        return RBST(sub.second);
    }

    
    ///////////////////////
    // insert-erase
    ///////////////////////
    
	void insert(const VAL val) {
        pair<NODE*, NODE*> sub = this->split(this->root, this->lowerBound(val));
        this->root = this->merge(this->merge(sub.first, new NODE(val)), sub.second);
	}
    
    void erase(const VAL val) {
        if (!this->count(val)) return;
        pair<NODE*, NODE*> sub = this->split(this->root, this->lowerBound(val));
        this->root = this->merge(sub.first, this->split(sub.second, 1).second);
    }
    

    ///////////////////////
    // debug
    ///////////////////////
    
    void print(NODE *node) {
        if (!node) return;
        push(node);
        print(node->left);
        cout << node->val << " ";
        print(node->right);
    }
    void print() {
        cout << "{";
        print(this->root);
        cout << "}" << endl;
    }
};

int main() {
    RBST S;
    int Q, K;
    cin >> Q >> K;
    for (int i = 0; i < Q; ++i) {
        int T;
        cin >> T;
        if (T == 1) {
            long long val;
            cin >> val;
            S.insert(val);
        }
        else {
            if (S.size() < K) {
                cout << -1 << endl;
                continue;
            }
            long long res = S.get(K-1);
            cout << res << endl;
            S.erase(res);
        }
        //S.print();
    }
}
0