PATA1142 Maximal Clique（测试点2、3）

原题链接PAT甲级1142 Maximal Clique

思路

使用邻接矩阵存储图，G[ u ] [ v ] 为1，代表u和v相通。
可以先判断是否是团，即给的序列中是否有点不连通。
接着判断是否是极大团，即是否还存在着不在序列中的点，这个点可以到所有这个序列中的点。如果存在这样的点的话，即为不是极大团。否则是极大团。

#include <bits/stdc++.h>

using namespace std;

int n,e,q;
bool app[210];
int temp[210];
int G[210][210] = {0};

int main()
{
    scanf("%d%d",&n,&e);
    for(int i = 0;i < e;i++){
        int a,b;
        scanf("%d%d",&a,&b);
        G[a][b] = G[b][a] = 1;
    }

    scanf("%d",&q);
    for(int r = 0;r < q;r++){
        memset(app,false,sizeof(app));
        int k;
        scanf("%d",&k);
        for(int i = 0;i < k;i++) {
            scanf("%d",temp+i);
            app[temp[i]] = true;
        }
        bool tag = true;
        bool rest = false;
        for(int i = 0;i < k;i++){
            for(int j = i + 1;j < k;j++){
                if(!G[temp[i]][temp[j]]){
                    tag = false;
                    printf("Not a Clique\n");
                    break;
                }
            }
            if(!tag) break;
        }
        if(tag){
            bool flag = false;//不可设为true
            //此处必须设为false，因为可能某个查询包含了所有点，没有走下面的for循环
            //并且这个图，本身就是极大团
            for(int u = 1;u <= n;u++){
                if(!app[u]){
                    flag = true;
                    for(int i = 0;i < k;i++){
                        if(!G[u][temp[i]]){//如果从u到达不了temp[i]
                            flag = false;//令标记flag为false
                            break;//打破循环
                        }
                    }
                    if(flag){//如果能够从u到达所有的点
                        printf("Not Maximal\n");//还可以再添加点，故不是最大的
                        break;//打破循化
                    }
                }
            }
            //如果当前flag是false，即不是true，说明找不到可以再添加进来的点了
            if(!flag) printf("Yes\n");
        }
    }

    return 0;
}

坑点

本题属于图的遍历，不算难，但是我提交时，测试点2、3通不过，只得到20分。其实总的判断逻辑是没有错的，这样的代码也问题不大，其实问题出在了下面这个测试样例中。

4 3
1 2
1 3
2 3
1
4 1 2 3 4

整个图中，有三个结点，并且都是联通的，当时用上述测试样例时，如果已经判断当前不是非团了，接下来要判断是否是极大团，flag 的初始值不可以设为true。
因为，测试样例是所有点都出现了，所以不会走是否是不是极大团的判断代码，直接去往

//如果当前flag是false，即不是true，说明找不到可以再添加进来的点了
if(!flag) printf("Yes\n");

此时，如果flag初始值为true,则不会输出东西，其实应该输出Yes，所以应该将flag设置为false。

总结

pat中判断东西时，如果代码就是有测试点通不过，则最好是另外设置一个标记，设为false，前面出现了相应的情况，将这个标记设为true，说明已经出现了一种解了，到最后，如果标记还是false，则，是最后一个解。

2022/3/16更新

10号突然说，统考生要参加机试，不能使用2021年度的PAT成绩抵机试了。所以只要重新刷一遍题库中靠后的题目。这次又做到这道题，发现以前的方法太笨了。
之前的方法，需要保证逻辑清晰，不如将判断是否是团、是否是极大团分别写成函数。这样的话，思路非常清晰。
浙江大学计算机学院，冲！！！
代码如下

#include <bits/stdc++.h>

using namespace std;

const int maxn = 210;
int nv, ne, m, k;
bool vis[maxn] = {false};
int G[maxn][maxn] = {0};
vector<int> temp;

bool is_clique() {
    for (int i = 0; i < temp.size(); i++) {
        int u = temp[i];
        for (int j = i + 1; j < temp.size(); j++) {
            int v = temp[j];
            if (G[u][v] == 0) return false;
        }
    }
    return true;
}

bool is_maximal() {
    for (int u = 1; u <= nv; u++) { // 依次遍历没有在当前序列里面的点，看看是否与该序列中的点都相连
        if (vis[u]) continue; // 如果在序列中，则 continue
        bool tag = true;  // 认为是maximal
        for (auto v : temp) {
            if (!G[u][v]) { // 当前点与序列中的某点不相连
                tag = false; // 置标记位为false
                break;
            }
        }
        if (tag) return false; // 如果当前点与序列中的所有点都相连，则返回 false，不是maximal
    }
    return true; // 没有找到其余点，与序列中的点相连，则是 maximal
}

int main()
{
    scanf("%d%d", &nv, &ne);
    for (int i = 0; i < ne; i++) {
        int u, v;
        scanf("%d%d", &u, &v);
        G[u][v] = G[v][u] = 1;
    }

    scanf("%d", &m);
    while (m--) {
        memset(vis, false, sizeof(vis));
        temp.clear();
        scanf("%d", &k);
        for (int i = 0; i < k; i++) {
            int t;
            scanf("%d", &t);
            vis[t] = true;
            temp.push_back(t);
        }
        if (is_clique()) {
            if (is_maximal()) printf("Yes\n");
            else printf("Not Maximal\n");
        } else printf("Not a Clique\n");
    }

    return 0;
}