백준17410 수열과 쿼리 1.5

문제 링크

  • http://icpc.me/17410

사용 알고리즘

  • sqrt Decomposition

시간복잡도

  • O(Q √N logN)

풀이

업데이트 쿼리가 주어지지 않는다면 merge sort tree등의 자료구조로 해결 가능하지만, 이 문제는 업데이트 쿼리가 주어집니다.

수열을 sqrtN개씩 덩어리(버킷)로 나눈 다음에, merge sort tree처럼 각 덩어리를 정렬해봅시다.
이렇게 하면 k보다 큰 원소들의 개수를 sqrtN개의 버킷에 upper_bound를 날려서 O(√N logN) 만에 할 수 있습니다.

각 버킷들은 이미 정렬이 되어있는 상태입니다. 현재 A[i] = x인데, A[i]의 값을 y로 바꾼다고 합니다.
A[i]가 속하는 버킷에서 naive하게 x를 찾아서 지워주고, 적당한 위치에 y를 삽입해주면 됩니다.
vector에서 erase와 insert를 써도 버킷의 크기는 sqrtN이기 때문에 O(√N)에 업데이트 쿼리를 처리할 수 있습니다.

전체 코드

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
#pragma GCC optimize("Ofast")
#include <bits/stdc++.h>
#define x first
#define y second
using namespace std;

int n, q;
int arr[101010];
const int sz = 1800;
vector<int> node[60];

void _update(int x, int a, int b){
	if(a){
		for(int i=0; i<node[x].size(); i++){
			if(node[x][i] == a){
				node[x].erase(node[x].begin() + i);
				break;
			}
		}
	}
	for(int i=0; i<=node[x].size(); i++){
		if(i == node[x].size() || node[x][i] >= b){
			node[x].insert(node[x].begin() + i, b);
			break;
		}
	}
}

void update(int x, int v){
	_update(x/sz, arr[x], v);
	arr[x] = v;
}

int query(int s, int e, int k){
	if(s/sz == e/sz){
		int ret = 0;
		for(; s<=e; s++) ret += (arr[s] > k);
		return ret;
	}
	int si = s/sz, ei = e/sz;
	int ret = 0;
	for(; s<si*sz+sz; s++) ret += arr[s] > k;
	for(; e>=ei*sz; e--) ret += arr[e] > k;
	for(int i=si+1; i<ei; i++) ret += node[i].end() - upper_bound(node[i].begin(), node[i].end(), k);
	return ret;
}

int main(){
	ios_base::sync_with_stdio(0); cin.tie(0);
	cin >> n;
	for(int i=1; i<n/sz; i++) node[i].reserve(sz + 1);
	for(int i=1; i<=n; i++){
		int t; cin >> t;
		update(i, t);
	}
	cin >> q;
	while(q--){
		int op; cin >> op;
		if(op == 2){
			int a, b, c; cin >> a >> b >> c;
			cout << query(a, b, c) << "\n";
		}else{
			int a, b; cin >> a >> b;
			update(a, b);
		}
	}
}