BOJ 1647 도시 분할 계획
BOJ 1647 도시 분할 계획
문제
$N$개의 집과 $M$개의 도로가 주어졌을 때, 마을을 두 개의 분리된 컴포넌트로 분할하며 도로 유지비의 합을 최소화하는 문제입니다. 각 마을 내부의 집들은 서로 연결되어 있어야 한다는 점이 핵심입니다.
복잡도 분석
- 시간 복잡도: $O(M \log M)$
- 간선 정렬: $O(M \log M)$
- Kruskal 알고리즘 (Union-Find): $O(M \cdot \alpha(N))$, 여기서 $\alpha$는 아커만 역함수로 사실상 상수입니다.
- 최종적으로 정렬이 전체 시간 복잡도를 지배합니다. ($M=10^6$일 때 약 $2 \times 10^7$ 연산)
- 공간 복잡도: $O(N + M)$
- 간선 정보 저장: $O(M)$
- Union-Find 배열(parent, rnk): $O(N)$
접근법
최소 신장 트리(Minimum Spanning Tree, MST) 문제. 크루스칼 알고리즘으로 MST 구성하고, 이 문제의 경우 2개 마을로 분할을 원하고 있으므로 연결한 간선 중 가중치가 큰 간선을 저장해뒀다가 마지막에 cost에서 제외하면 된다.
풀이
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
68
#include <bits/stdc++.h>
using namespace std;
int n,m;
struct Edge{
int u,v,c;
bool operator<(const Edge &other) const{
return c<other.c;
}
};
vector<Edge> g;
vector<int> parent;
vector<int> rnk;
int _find(int a){
if(parent[a]==a) return a;
return parent[a] = _find(parent[a]);
}
bool _union(int a, int b){
a = _find(a);
b = _find(b);
if (a==b) return false;
if (rnk[a] > rnk[b]){
int tmp=a;a=b;b=tmp;
}
parent[a] = b;
if (rnk[a]==rnk[b]){
rnk[b]++;
}
return true;
}
int main() {
ios::sync_with_stdio(0);
cin.tie(0);
cin>>n>>m;
for(int i=0;i<m;i++){
int a,b,c;cin>>a>>b>>c;
g.push_back({a,b,c});
}
rnk.resize(n+1,0);
for(int i=0;i<n+1;i++){
parent.push_back(i);
}
sort(g.begin(),g.end());
int connected = 0;
int cost = 0;
int mx = 0;
for(int i=0;i<size(g);i++){
int a = g[i].u;
int b = g[i].v;
int c = g[i].c;
if (_union(a,b)){
connected++;
cost += c;
mx = max(mx,c);
}
if (connected==n-1) break;
}
cout << cost-mx;
return 0;
}
유니온 파인드 부분 실수한거 제외하고는 한번에 성공함.
This post is licensed under CC BY 4.0 by the author.