Codeforces Round #533(Div.2) E 최대 독립 세트

지식점
최대 독립 세트 (set) = 보정 그림의 최대 그룹 (clique)
최소 정점 덮어쓰기 + 최대 독립 세트 = V
 
 
E. Helping Hiasat
time limit per test
2 seconds
memory limit per test
256 megabytes
input
standard input
output
standard output
Hiasat registered a new account in NeckoForces and when his friends found out about that, each one of them asked to use his name as Hiasat's handle.
Luckily for Hiasat, he can change his handle in some points in time. Also he knows the exact moments friends will visit his profile page. Formally, you are given a sequence of events of two types:

11 — Hiasat can change his handle.

22 ss — friend ss visits Hiasat's profile.

The friend ss will be happy, if each time he visits Hiasat's profile his handle would be ss.
Hiasat asks you to help him, find the maximum possible number of happy friends he can get.
Input
The first line contains two integers nn and mm (1≤n≤105,1≤m≤401≤n≤105,1≤m≤40) — the number of events and the number of friends.
Then nn lines follow, each denoting an event of one of two types:

11 — Hiasat can change his handle.

22 ss — friend ss (1≤|s|≤401≤|s|≤40) visits Hiasat's profile.

It's guaranteed, that each friend's name consists only of lowercase Latin letters.
It's guaranteed, that the first event is always of the first type and each friend will visit Hiasat's profile at least once.
Output
Print a single integer — the maximum number of happy friends.
Examples
input
Copy

5 3
1
2 motarack
2 mike
1
2 light

output
Copy

2

input
Copy

4 3
1
2 alice
2 bob
2 tanyaromanova

output
Copy

1

Note
In the first example, the best way is to change the handle to the "motarack"in the first event and to the "light"in the fourth event. This way, "motarack"and "light"will be happy, but "mike"will not.
In the second example, you can choose either "alice", "bob"or "tanyaromanova"and only that friend will be happy.
m개 친구 n개 조작
 
두 가지 작업
1 Hiasat은 자신의 ID를 임의의 값으로 수정할 수 있습니다.
2 Hiasat 친구 한 명이 ID를 봐야 해요.
그의 친구가 아이디를 볼 때마다 자신의 이름을 생각해야만 기쁘다
해석은 두 1 사이의 친구가 서로 배척하는 것은 그 중 한 명의 친구를 기쁘게 할 뿐이다. 우리는 서로 배척하는 친구 사이에 무방향이 연결되어 무방향도를 구하는 최대 독립집 문제로 바뀌었다.
AC 코드

  1 #include 
  2 #define pb push_back
  3 #define mp make_pair
  4 #define fi first
  5 #define se second
  6 #define all(a) (a).begin(), (a).end()
  7 #define fillchar(a, x) memset(a, x, sizeof(a))
  8 #define huan printf("
")
  9 #define debug(a,b) cout<10 #define ffread(a) fastIO::read(a)
11 using namespace std;
12 const int maxn = 1e5+10;
13 const int maxm = 1e4+10;
14 const int inf = 0x3f3f3f3f;
15 const int mod = 998244353;
16 const double epx = 1e-6;
17 typedef long long ll;
18 const ll INF = 1e18;
19 const double pi = acos(-1.0);
20 //head------------------------------------------------------------------
21 int G[100][100];
22 int ans,cnt[100],group[100],n,m,vis[100];//ans는 최대 그룹을 표시하고, cnt[N]는 현재 최대 그룹의 노드 수를 표시하며, 그룹[N]은 최대 그룹의 집합을 찾습니다.
23 map<string,int> pm;
24 int tot = 0;
25 struct node
26 {
27     int op;
28     string s;
29 } Q[maxn];
30 vector<int> v;
31 bool dfs (int u, int pos) //u는 이전 정점부터 깊이 검색하기 시작하고pos는 깊이 검색 깊이 (즉 현재 깊이 검색 트리가 있는 몇 층의 위치)
32 {
33     int i,j;
34 for(i=u+1;i<=tot;i++)// 점증 순서대로 정점 매거
35     {
36         if(cnt[i]+pos<=ans)
37             return 0;//가지치기
38         if(G[u][i])
39         {
40// 현재 그룹의 요소와 비교하여 Non-N(i)
41             for(j=0; j)
42                 if(!G[i][vis[j]])
43                     break;
44             if(j==pos)
45             {
46// 만약 비어 있으면 모두 i와 인접하고 이때 i를 최대 그룹에 가입
47                 vis[pos]=i;//깊이 수색 단계는 바로 최대 그룹의 정점 수이다.vis[pos]=i는 현재 제pos가 작은 최대 그룹 요소를 i로 표시한다(증가 순서에 따라 정점을 매거하기 때문이다)
48                 if(dfs(i,pos+1))
49                     return 1;
50             }
51         }
52     }
53     if(pos>ans)
54     {
55         for(i=0; i)
56             group[i] = vis[i]; // 최대 그룹 요소 업데이트
57         ans = pos;
58         return 1;
59     }
60     return 0;
61 }
62 void maxclique () / / 최대 그룹 구하기
63 {
64     ans=-1;
65     for(int i=tot; i>0; i--)
66     {
67         vis[0]=i;
68         dfs(i,1);
69         cnt[i]=ans;
70     }
71 }
72 int main()
73 {
74     scanf("%d%d",&n,&m);
75     for(int i=1; i<=n; i++)
76     {
77         int op;
78         string tmp;
79         scanf("%d",&op);
80         if(op==1)
81             Q[i].op = op;
82         else
83         {
84             cin>>tmp;
85             Q[i].op = op;
86             Q[i].s = tmp;
87             if(!pm[tmp])
88                 pm[tmp] = ++tot;
89         }
90     }
91     memset(G,inf,sizeof(G));
92     Q[n+1].op=1;
93     for(int i=1; i<=n+1; i++)
94     {
95         if(Q[i].op==1)
96         {
97             for(int j=0; j)
98             {
99                 for(int k=j+1; k)
100                 {
101                     G[v[k]][v[j]] = 0;
102                     G[v[j]][v[k]] = 0;
103                 }
104             }
105             v.clear();
106         }
107         else
108         {
109             v.push_back(pm[Q[i].s]);
110         }
111     }
112     maxclique();
113     if(ans<0)
114         ans = 0;
115     printf("%d",ans);
116     return 0;
117 }

 
전재 대상:https://www.cnblogs.com/stranger-/p/10303576.html