[boj 3830] 교수님은 기다리지 않는다

https://www.acmicpc.net/problem/3830

dijoint -set에 추가적으로 

 

d[u] = u와 u의 set 상에서의 조상의 거리

 

를 나타내는 배열을 관리해주면 된다.

 

이 문제를 계속 틀리면서, disjoin-set 자료구조에 대해 다시한번 정리할 필요성을 느꼈다.

 

p[u] = 이 노드가 속하는 set의 조상 노드의 번호를 나타내는 번호. find나 merge를 처리하는 중에 갱신된다.

 

find() 연산이 dijoint-set에서 하는 역할은 2개이다.

1) 이 노드가 속하는 set의 조상 노드의 번호를 return

2) p[]배열을 갱신해준다, 즉 자기의 조상을 가리키게 갱신해준다(경로압축)

 

disjoint-set은 find와 merge 연산을 통해서 갱신, 유지되기 때문에,

추가적인 정보(여기서는 조상에서의 거리를 나타내는 d[])

를 나타낼 필요가 있다면, find 또는 merge 연산 안에서 이 정보를 다시 갱신해주어야 한다.

 

나머지 문재에 대한 설명은 코드 내에 주석으로 달아놓았다.

 

<코드>

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int n, m;
const int N = 100001;
int p[N];// 이 노드가 속한 set의 조상을 나타낸다.(단, 조상노드의 경우 find내에서 -1로 그대로 리턴)
ll d[N]; // 이 노드가 속한 set의 조상으로부터 이 노드까지의 거리를 나타낸다.
//
int find(int u) {
    // 이 노드가 초기 상태이면??
    // 이떄 set의 조상노드인경우 p배열을 갱신하는 것이 아닌 그냥 자기자신의 번호를 return 
    if (p[u] < 0)return u; 
    int pn = find(p[u]);// 조상 노드, 조상에 대해서 갱신 작업을 해줘야 되기때문에, find(p[u])를 먼저 호출
    d[u] += d[p[u]];// p[u]는 원래 알고 있던 u의 조상노드이다. 즉 갱신 작업을 거치기전의 u의조상
    return p[u] = pn;
}
void merge(int u, int v,ll w) {
    int pu = find(u), pv = find(v);
    if (pu == pv)return;
    d[pv] = (d[u] - d[v] + w);// 병합되는 노드의 루트노드의 거리정보를 업데이트 해준다.
    p[pv] = pu;
}
int main() {
    memset(p, -1, sizeof(p));
    memset(d, 0, sizeof(d));
    while (1) {
        cin >> n >> m;
        if (n == 0 && m == 0)break;
        memset(p, -1, sizeof(p));
        memset(d, 0, sizeof(d));
        for (int i = 0; i < m; i++) {
            char c;
            int u, v, w;
            cin >> c;
            if (c == '!') {
                cin >> u >> v >> w;
                merge(u, v, w);
            }
            else {
                cin >> u >> v;
                if (find(u) != find(v))cout << "UNKNOWN\n";// 서로 다른 set에 속해있으면 ->결과를 알 수 없다
                else cout << d[v] - d[u] << "\n";// 같은 set이면 조상 노드와의 거리 정보를 담고 있으므로, 단순히 빼서 구할수 있다.
            }
        }
    }
}