poj 1611 - The Suspects(并查集)

传说中的大水题，我却纠结了好久。

原因是我的思路逻辑上有点有bug。

思路：

很明显的并查集题目，把每组的成员都放到一个集合里面，然而我为了保证符合条件的答案都在0这个集合中，所以我对每个分组都是合并到改组中编号最小的那个节点上了，恰恰是这个想法成了我代码的bug，出错的原因是每组的节点都合并到了最小的点上，但并不能保证合并后的那个集合的节点是编号最小的，因为这还牵扯到父节点的问题。

例如某个分组中有10，100两个成员，然后p[10] = 9; p[100] = 0;而我的代码在这个case下就犯错了，把0节点的那个集合并到了9那个集合中。

代码如下：

const int M = 30005;
int p[M];
int find(int x) { return p[x] == x ? x : p[x] = find(p[x]); }
int main()
{
    int n, m, k, x, lastx;
    while(scanf("%d%d", &n, &m) && n+m)
    {
        for(int i = 0; i <= n; ++i) p[i] = i;
        for(int i = 0; i < m; ++i)
        {
            scanf("%d%d", &k, &lastx);
            for(int j = 1; j < k; ++j)
            {
                scanf("%d", &x);
                int a = find(lastx);
                int b = find(x);
                if(a>b) p[a] = b;    //错误代码此处是：if(a != b && x < lastx) p[a] = b;
                else p[b] = a;       //错误代码此处是：if(a != b && x > lastx) p[b] = a;
                lastx = x;
            }
        }
        int ans = 0;
        for(int i = 0; i < n; ++i)
            ans += (find(i)==0);
        printf("%d\n", ans);
    }
    return 0;
}