[1143] [CTSC2008]祭祀river（最大独立集 || 偏序集最大反链）

传送门

网上说这是偏序集最大反链，然而我实在不理解。

所以我换了一个思路，先用floyd，根据点的连通性连边，

问题就转换成了找出最多的点，使任意两个点之间不连边，也就是最大独立集。

——代码

 #include <cstdio>
 #include <cstring>
 #include <iostream>

 const int MAXN = ;
 int n, m, ans, cnt;
 int a[MAXN][MAXN], belong[MAXN], head[MAXN], to[MAXN << ], next[MAXN << ];
 bool vis[MAXN];

 inline int read()
 {
     int x = ;
     char c = getchar();
     for(; !isdigit(c); c = getchar());
     for(; isdigit(c); c = getchar()) x = (x << ) + (x << ) + c - '';
     return x;
 }

 inline bool find(int u)
 {
     int i, v;
     for(i = head[u]; i ^ -; i = next[i])
     {
         v = to[i];
         if(!vis[v])
         {
             vis[v] = ;
             if(!belong[v] || find(belong[v]))
             {
                 belong[v] = u;
                 return ;
             }
         }
     }
     return ;
 }

 inline void add(int x, int y)
 {
     to[cnt] = y;
     next[cnt] = head[x];
     head[x] = cnt++;
 }

 int main()
 {
     int i, j, k, x, y;
     n = read();
     m = read();
     for(; m--;)
     {
         x = read();
         y = read();
         a[x][y] = ;
     }
     for(k = ; k <= n; k++)
         for(i = ; i <= n; i++)
             for(j = ; j <= n; j++)
                 a[i][j] |= (a[i][k] && a[k][j]);
     memset(head, -, sizeof(head));
     for(i = ; i <= n; i++)
         for(j = ; j <= n; j++)
             if(a[i][j])
                 add(i, j);
     ans = n;
     for(i = ; i <= n; i++)
     {
         memset(vis, , sizeof(vis));
         ans -= find(i);
     }
     printf("%d\n", ans);
     return ;
 }