码迷,mamicode.com
首页 > 移动开发 > 详细

ZOJ 3795 Grouping 强联通缩点+拓扑序+偏序集的最大链的大小

时间:2015-06-30 18:21:15      阅读:179      评论:0      收藏:0      [点我收藏+]

标签:

题意:有n个人,m个关系,关系是这两个人前一个人可以跟后一个比较。
那么问你我最少分多少组可以使这个组里的人都不可以比较。

只会强联通缩点,真特么不知道怎么做,想了一个小时,网上一看,还要会偏序集的东西,有一个叫Dilworth定理的东西。
定理1 令(X,≤)是一个有限偏序集,并令r是其最大链的大小。则X可以被划分成r个但不能再少的反链。 
其对偶定理称为Dilworth定理:
定理2 令(X,≤)是一个有限偏序集,并令m是反链的最大的大小。则X可以被划分成m个但不能再少的链。
然后我们用到的是定理1.

也就是说我们直接求可以比较的最大链的大小。先强联通缩点,然后用拓扑序bfs一边,找到最长的链,就ok了。
o(︶︿︶)o 唉,感觉就是在考这个定理。

#include<iostream>
#include<string.h>
#include<stdlib.h>
#include<stdio.h>
#include<queue>
#include<algorithm>
using namespace std;
const int MAXN = 100010; //点数
const int MAXM = 300010; //边数
struct Edge
{
    int to, next;
} edge[MAXM];
int head[MAXN],tot;
int Low[MAXN],DFN[MAXN],Stack[MAXN],Belong[MAXN]; //Belong数组的值是1~scc
int Index,top;
int scc; //强连通分量的个数
bool Instack[MAXN];
int num[MAXN]; //各个强连通分量包含点的个数,数组编号1~scc
//num数组不一定需要,结合实际情况
int dis[MAXN];
int in[MAXN];
vector<int>G[MAXN];
void addedge(int u, int v)
{
    edge[tot]. to = v;
    edge[tot]. next = head[u];
    head[u] = tot++;
}
void Tarjan( int u)
{
    int v;
    Low[u] = DFN[u] = ++Index;
    Stack[top++] = u;
    Instack[u] = true;
    for(int i = head[u]; i != - 1; i = edge[i]. next)
    {
        v = edge[i]. to;
        if( !DFN[v] )
        {
            Tarjan(v);
            if( Low[u] > Low[v] )Low[u] = Low[v];
        }
        else if(Instack[v] && Low[u] > DFN[v])
            Low[u] = DFN[v];
    }
    if(Low[u] == DFN[u])
    {
        scc++;
        do
        {
            v = Stack[-- top];
            Instack[v] = false;
            Belong[v] = scc;
            num[scc]++;
        }
        while( v != u);
    }
}

void solve(int N)
{
    memset(DFN,0, sizeof(DFN));
    memset(Instack, false, sizeof(Instack));
    memset(num,0,sizeof(num));
    Index = scc = top = 0;
    for(int i = 1; i <= N; i++)
        if(!DFN[i])
            Tarjan(i);
}

void work(){
    memset(dis,0,sizeof(dis));
    queue<int>q;
    for(int i=1;i<=scc;i++){
        if(in[i]==0) {q.push(i);dis[i]=num[i];}
    }
    while(!q.empty()){
        int u=q.front();
        q.pop();
        int v;
        for(int i=0;i<G[u].size();i++){
            v=G[u][i];
            dis[v]=max(dis[u]+num[v],dis[v]);
            in[v]--;
            if(in[v]==0) q.push(v);
        }
    }
    int ans=0;
    for(int i=1;i<=scc;i++){
        ans=max(ans,dis[i]);
    }
    printf("%d\n",ans);
}

void init()
{
    tot = 0;
    memset(head, -1, sizeof(head));
    memset(in,0,sizeof(in));
}

int main(){
    int n,m,a,b;
    while(~scanf("%d%d",&n,&m)){
        init();
        for(int i=1;i<=m;i++){
            scanf("%d%d",&a,&b);
            addedge(a,b);
        }
        solve(n);
        for(int i=1;i<=scc;i++){
            G[i].clear();
        }
        for(int i=1;i<=n;i++){
            for(int j=head[i];j!=-1;j=edge[j].next)
            {
                int v=edge[j].to;
                if(Belong[i]!=Belong[v]){
                        in[Belong[v]]++;
                        G[Belong[i]].push_back(Belong[v]);
                }
            }
        }
        work();
    }
return 0;
}


版权声明:本文为博主原创文章,未经博主允许不得转载。

ZOJ 3795 Grouping 强联通缩点+拓扑序+偏序集的最大链的大小

标签:

原文地址:http://blog.csdn.net/hitwhacmer1/article/details/46697963

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!