HDU1530 Maximum Clique （最大团）

最大团的定义可以百度。。

最大团的做法 （侵删：

暴力：

定义一个集合U用于存放完全子图

初始化： 
　　　　　　从一个点 u 开始，把这个点加入到一个集合中，设为 U。遍历一遍所有和他相连的点，把他们放入另一个集合 S1 中，接下来进行第一遍 DFS

　　　　第一遍 DFS ： 
　　　　　　从 S1 中选择一个点 u1，这个点肯定和集合 U 中的任何一个点相连。把集合 S1 中 u1 能访问到的点加入到集合 S2 中，并把 u1 加入到集合 U 中，进行第二遍 DFS 
　　　　第二遍 DFS ： 
　　　　　　从 S2 中选择一个点 u2，这个点肯定和集合 U 中的任何一个点相连。把集合 S2 中 u2 能访问到的点加入到集合 S3 中，并把 u2 加入到集合 U 中，进行第三遍 DFS 
　　　　第三遍 DFS ： 
　　　　　　从 S3 中选择一个点 u3，这个点肯定和集合 U 中的任何一个点相连。把集合 S3 中 u3 能访问到的点加入到集合 S4 中，并把 u3 加入到集合 U 中，进行第四遍 DFS 
　　　　…… 
　　　　最底层的 DFS ： 
　　　　　　当某个 S 集合为空集的时候，DFS 结束，这时候我们就找到了一个完全子图，用这个完全子图更新我们的最大团。退出当前的 DFS，返回上层 DFS，接着找下一个完全子图，直到找完所有的完全子图

剪枝：

按照上面介绍的 DFS 方法，肯定能够得到一个最大团，因为该 DFS 把所有的完全子图都枚举了一遍。但是这样做的时间复杂度是不是太高了？于是产生了下面的 DFS 过程，大致上和上面的 DFS 一样，只不过有一些地方不太一样了。 
首先，我们先得到后几个点组成的最大团到底是多大，（最开始的时候肯定是最后一个点单独构成一个最大团，点数为1）然后我们再 DFS：

初始化： 
　　　　　　从一个点 u 开始，把这个点加入集合 U 中。将编号比它大的且和它相连的点加入集合 S1 中，为了方便，将集合 S1 中的点有序，让他们从小到大排列，进行第一遍 DFS 
　　　　第一遍 DFS ： 
　　　　　　从 S1 中选择一个点 u1，遍历 S1 中，所有编号比 u1 大且和 u1 相连的点，其实也就是排在 u1 后面，并且和 u1 相连的点，将它们加入集合 S2 中。同理，让 S2 中的点也按照编号也从小到大排列。将 u1 加入集合 U 中，进行第二遍 DFS 
　　　　第二遍 DFS ： 
　　　　　　从 S2 中选择一个点 u2，遍历 S2 中，所有排在 u2 后面且和 u2 相连的点，并把它们加入集合 S3 中，让 S3 中的点按照编号从小到大排列，将 u2 加入集合 U 中进行第三遍 DFS 
　　　　第三遍 DFS ： 
　　　　　　从 S3 中选择一个点 u3，遍历 S3 中，所有排在 u3 后面且和 u3 相连的点，并把它们加入集合 S4 中，让 S4 中的点按照编号从小到大排列，将 u3 加入集合 U 中进行第四遍 DFS 
　　　　…… 
　　　　最底层的 DFS ： 
　　　　　　当某个 S 集合为空时，DFS 过程结束，得到一个只用后面几个点构成的完全子图，并用它去更新只用后面几个点构成的最大团。退出当前 DFS，返回上层 DFS，接着找下一个完全子图，直到找完所有的完全子图

对于这里的对于当前的点只能比它大的点连可以这样来想，如果之前有个点也可以入团，那么再搜到它时就会进行搜索，与之后的成团，就没有必要在后面再往前搜。

分析：
1. 如果 U 集合中的点的数量+1（选择 ui 加入 U 集合中）+Si 中所有 ui 后面的点的数量 ≤ 当前最优值，不用再 DFS 了 
2. 如果 U 集合中的点的数量+1（理由同上）+[ui, n]这个区间中能构成的最大团的顶点数量 ≤ 当前最优值，不用再 DFS了 
3. 如果 DFS 到最底层，我们能够更新答案，不用再 DFS 了，结束整个 DFS 过程，也不再返回上一层继续 DFS 了

1.第一个剪枝，这是一个显然的可行性剪枝，如果后面可加入的点就算全入团都小于当前最优解，当然就没必要再搜索下去。 
2.第二个剪枝，与第一个类似，记录之后可以形成的最大团。 
3.证明：第一次搜索出来的结果>=当前ans+1（准确应该=ans+1），而不会在有更优的情况，如果有那么当前ans求出来就是个错的，它一定会要大一点。（也可以这么想，每次最多加入一个点，如果加入两个点，那么置后的那个点在之前会更新一次答案）

#include <iostream>
#include <string.h>
#include <stdio.h>
#include <algorithm>
#include <queue>
#include <vector>
using namespace std;
constexpr int MAXN = 60;
int n;
int map[MAXN][MAXN];
int set[MAXN];
int ans;

inline bool is_clique(int num, int node) {
    for (int i = 1; i <= num; ++i) {
        if (!map[set[i]][node]) {
            return false;
        }
    }
    return true;
}

void dfs(int depth, int cur) {
    if (n - cur + depth + 1 <= ans)
        return;
    for (int i = cur; i <= n; ++i) {
        if (is_clique(depth, i)) {
            set[depth + 1] = i;
            dfs(depth + 1, i + 1);
        }
    }
    if (depth > ans)
        ans = depth;
}
int main() {
    while (cin >> n && n) {
        for (int i = 1; i <= n; ++i) {
            for (int j = 1; j <= n; ++j) {
                cin >> map[i][j];
            }
        }
        ans = 0;
        dfs(0, 1);
        cout << ans << endl;
    }
}