PAT甲级-1142 Maximal Clique

题目

题目大意

团图是完全子图，即所有顶点之间都有边。最大团图，即不能再添加其它顶点构成完全图，也即不能添加其它顶点，使得该顶点可以与该团图的所有顶点连通。给定一个无向图和一些用例，判断最大团图、非最大团图、非团图。

思路

根据团图的定义进行模拟。

最大团图：所有顶点之间都有边；不能添加其它顶点与原来的顶点都连通。

团图：所有顶点之间都有边；可以添加其它顶点与原来的顶点都连通。

非团图：不是所有的顶点之间都有边。

由以上特性可以设置2个标志位进行判断。flag1标志是否能添加其它顶点构成完全图，flag2标志是否所有的顶点之间都有边。

为了便于找到其它不在团图中的顶点，可以设置一个flag数组，如果在团图中值为1，不在值为0。

代码

#include <iostream>
#include <vector>
using namespace std;

int nv, ne, m;
int g[201][201] = {0};

int main(){
    cin >> nv >> ne;
    for (int i = 0; i < ne; i++){
        int v1, v2;
        cin >> v1 >> v2;
        g[v1][v2] = g[v2][v1] = 1;
    }
    cin >> m;
    for (int t = 0; t < m; t++){
        int k;
        cin >> k;
        vector<int> v(k);
        int flag[nv + 1] = {0};  // v数组中包含的顶点值设为1，未包含的设为0
        for (int i = 0; i < k; i++){
            cin >> v[i];
            flag[v[i]] = 1;
        }

        int flag1 = 1;  // 是否可以再加一个顶点，能加为0，不能加为1
        int flag2 = 1;  // 每个顶点之间是否都有边
        for (int i = 1; i <= nv; i++){
            if (flag[i] == 0){
                bool canAdd = true;  // 标记每个未被包含的节点是否能连通所有顶点
                for (int j = 0; j < k; j++){
                    if (g[i][v[j]] == 0){
                        canAdd = false;
                        break;
                    }
                }
                if (canAdd){
                    flag1 = 0;
                    break;
                }  // 如果存在一个节点可以连通所有顶点，flag1置为0
            }
        }  // 判断标志flag1
        for (int i = 0; i < k; i++){
            for (int j = i + 1; j < k; j++){
                if (g[v[i]][v[j]] == 0){
                    flag2 = 0;
                    break;
                }
            }
            if (flag2 == 0){
                break;
            }  // 及时退出循环，降低时间复杂度
        }  // 判断标志flag2

        if (flag1 && flag2){
            cout << "Yes" << endl;
        }else if (flag2){
            cout << "Not Maximal" << endl;
        }else{
            cout << "Not a Clique" << endl;
        }
    }

    return 0;
}