仔細讀讀題發現是二分圖DAG可重路徑。
順帶複習二分圖的寫法。
我們在增廣的時候,不是讓妹子去找男朋友,而是讓妹子已經有的男朋友去再找一個女朋友。
這樣就可以讓對方妹子孤單淒冷,然後你就趁虛而入了……喜聞樂見地匹配了。
所以我們不需要真的複製一遍點,只需要每次讓對方指向自己就行。
然後就是點數-最大匹配了。
對於這道題而言,兩個子任務。
判斷是否可以覆蓋全圖。
如果不能,求出不被覆蓋的點權最小值的最大值。
這一看又是二分答案。
二分我們的答案,答案以下的點都要被覆蓋。所以每次run一遍,看看是否滿足那個公式就行。
用floyd求傳遞閉包。
#include<bits/stdc++.h>
using namespace std;
#define in read()
int in{
int cnt=0,f=1;char ch=0;
while(!isdigit(ch)){
ch=getchar();if(ch=='-')f=-1;
}
while(isdigit(ch)){
cnt=cnt*10+ch-48;
ch=getchar();
}return cnt*f;
}
int G[503][503],g[503][503];
int n,m,key[503],b[503],bcnt;
int vis[503],match[503];
bool find(int u){
for(int i=1;i<=m;i++){
if(g[u][i]&&!vis[i]){
vis[i]=1;
if(match[i]==-1||find(match[i])){
match[i]=u;return true;
}
}
}return false;
}
bool check(int x){
int sum=0;
for(int i=1;i<=m;i++)if(key[i]<x)++sum;//cout<<sum<<" ";
for(int i=1;i<=m;i++)for(int j=1;j<=m;j++)
if(key[i]<x&&key[j]<x)g[i][j]=G[i][j];
else g[i][j]=0;
memset(match,-1,sizeof(match));
for(int i=1;i<=m;i++){
if(key[i]>=x)continue;
memset(vis,0,sizeof(vis));
if(find(i))--sum;
}//cout<<sum<<endl;
return sum<=n+1;
}
signed main(){
n=in;m=in;
for(int i=1;i<=m;i++){
key[i]=b[i]=in;int x=in;
for(int j=1;j<=x;j++){
int y=in;G[i][y]=1;
}
}
sort(b+1,b+m+1);bcnt=unique(b+1,b+m+1)-b-1;
for(int i=1;i<=m;i++)key[i]=lower_bound(b+1,b+bcnt+1,key[i])-b;
for(int i=1;i<=m;i++){
for(int j=1;j<=m;j++){
if(i==j)continue;
for(int k=1;k<=m;k++){
if(i==k||j==k)continue;
G[j][k]|=G[j][i]&G[i][k];
}
}
}
// for(int i=1;i<=m;i++){
// for(int j=1;j<=m;j++)cout<<G[i][j]<<" ";cout<<endl;
// }
for(int i=1;i<=m;i++)for(int j=1;j<=m;j++)g[i][j]=G[i][j];
// cout<<bcnt<<endl;
if(check(bcnt+1)){
cout<<"AK";return 0;
}
int l=1,r=bcnt;
while(l<r){
int mid=l+r+1>>1;
if(check(mid))l=mid;
else r=mid-1;
}cout<<b[l];
return 0;
}