結果

問題 No.686 Uncertain LIS
ユーザー chocoruskchocorusk
提出日時 2018-12-21 12:22:57
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 238 ms / 2,000 ms
コード長 2,588 bytes
コンパイル時間 632 ms
コンパイル使用メモリ 96,520 KB
実行使用メモリ 9,852 KB
最終ジャッジ日時 2023-08-20 18:42:05
合計ジャッジ時間 6,348 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 1 ms
4,376 KB
testcase_05 AC 1 ms
4,380 KB
testcase_06 AC 2 ms
4,380 KB
testcase_07 AC 1 ms
4,380 KB
testcase_08 AC 1 ms
4,380 KB
testcase_09 AC 200 ms
8,996 KB
testcase_10 AC 191 ms
8,544 KB
testcase_11 AC 118 ms
6,856 KB
testcase_12 AC 4 ms
4,504 KB
testcase_13 AC 59 ms
5,264 KB
testcase_14 AC 99 ms
6,204 KB
testcase_15 AC 63 ms
5,092 KB
testcase_16 AC 176 ms
8,064 KB
testcase_17 AC 233 ms
9,560 KB
testcase_18 AC 232 ms
9,708 KB
testcase_19 AC 238 ms
9,636 KB
testcase_20 AC 230 ms
9,624 KB
testcase_21 AC 228 ms
9,592 KB
testcase_22 AC 104 ms
9,572 KB
testcase_23 AC 105 ms
9,596 KB
testcase_24 AC 139 ms
9,720 KB
testcase_25 AC 164 ms
9,852 KB
testcase_26 AC 110 ms
9,832 KB
testcase_27 AC 143 ms
9,592 KB
testcase_28 AC 168 ms
9,580 KB
testcase_29 AC 144 ms
9,672 KB
testcase_30 AC 144 ms
9,560 KB
testcase_31 AC 2 ms
4,376 KB
testcase_32 AC 106 ms
9,628 KB
testcase_33 AC 118 ms
9,576 KB
testcase_34 AC 235 ms
9,612 KB
testcase_35 AC 231 ms
9,648 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
using namespace std;
typedef long long int ll;
typedef pair<int, int> P;
random_device rnd;
mt19937 mt(rnd());
uniform_real_distribution<> rnd1(0, 1.0);
struct node_t{
	int val;
	node_t *lch;
	node_t *rch;
	double pri;
	int cnt;
	int lazy_val;
	bool lazy;
	node_t() {}
	node_t(int v, double p):val(v), pri(p), cnt(1), lazy_val(0), lazy(false), lch(nullptr), rch(nullptr){}
 
};

int count(node_t *t){
	return !t ? 0 : t->cnt;
}

void push(node_t *t){
	if(!t) return;
	if(t->lazy){
		t->val+=t->lazy_val;
		if(t->lch){
			t->lch->lazy=true;
			t->lch->lazy_val+=t->lazy_val;
		}
		if(t->rch){
			t->rch->lazy=true;
			t->rch->lazy_val+=t->lazy_val;
		}
		t->lazy_val=0;
		t->lazy=false;
	}
}

node_t *update(node_t *t){
	push(t);
	push(t->lch);
	push(t->rch);
	t->cnt=count(t->lch)+count(t->rch)+1;
	return t;
}

node_t *merge(node_t *l, node_t *r){
	if(!l || !r) return !l ? r : l;
	update(l); update(r);
	if(l->pri > r->pri){
		l->rch=merge(l->rch, r);
		return update(l);
	}else{
		r->lch=merge(l, r->lch);
		return update(r);
	}
}

pair<node_t*, node_t*> split(node_t *t, int v){ //[0, v), [v, inf)
	if(!t) return make_pair(nullptr, nullptr);
	update(t);
	if(v <= t->val){
		pair<node_t*, node_t*> s=split(t->lch, v);
		t->lch=s.second;
		return make_pair(s.first, update(t));
	}else{
		pair<node_t*, node_t*> s=split(t->rch, v);
		t->rch=s.first;
		return make_pair(update(t), s.second);
	}
}

pair<node_t*, node_t*> split2(node_t *t, int k){ //[0, k), [k,n)
	if(!t) return make_pair(nullptr, nullptr);
	update(t);
	if(k <= count(t->lch)){
		pair<node_t*, node_t*> s=split2(t->lch, k);
		t->lch=s.second;
		return make_pair(s.first, update(t));
	}else{
		pair<node_t*, node_t*> s=split2(t->rch, k-1-count(t->lch));
		t->rch=s.first;
		return make_pair(update(t), s.second);
	}
}

node_t *query(node_t *t, int l, int r){
	pair<node_t*, node_t*> s=split(t, l);
	pair<node_t*, node_t*> s2=split(s.second, r);
	if(s2.first){
		s2.first->lazy=true;
		s2.first->lazy_val=1;
	}
	pair<node_t*, node_t*> s3=split2(s2.second, 1);
	return merge(s.first, merge(new node_t(l, rnd1(mt)), merge(s2.first, s3.second)));
}

int main()
{
	int n;
	cin>>n;
	node_t *s=nullptr;
	for(int i=0; i<n; i++){
		int l, r;
		cin>>l>>r;
		s=query(s, l, r);
	}
	cout<<count(s)<<endl;
	return 0;
}
0