原题：ZOJ 3795 

题目大意：给定一个有向图，要求把点分为k个集合，使得每个集合中的任意两点a, b满足a, b互相不可到达。

分析：求出强连通分量后缩点，得到有向无环图，dfs该图求出各点深度(深度加权，权值为强连通分量大小)，深度最大值即答案，

因为这一条路径上任意两点都可从深度小的一点到达深度大的一点，所以任意两点必定属于不同集合，即每个点一个集合；求的最大深度集合后，又可以把其它路径(长度为len)上的各点依次归到集合1..len。

代码：

#include 
      
       #include 
       
        #include 
        
         #include 
         
          #include 
          
           #include 
           
            #include 
            
             #include 
             
              #define Mod 1000000009using namespace std;#define N 100007vector
              
                G[N],G2[N];stack
               
                 stk;int instk[N],cnt,Time,n,m,dep[N];int low[N],dfn[N],bel[N],num[N];void tarjan(int u){ low[u] = dfn[u] = ++Time; stk.push(u); instk[u] = 1; for(int i=0;i