CF875C National Property
程序员文章站
2022-06-18 09:56:20
根据2-SAT的方法建图后,得到强连通分量,并根据与拓扑序联系,输出答案。代码中用详细注释。#include using namespace std;const int N=1e5+5,M=1e5+5;int n,m,ans,a[N],b[N];int cnt,head[N<<1];int col,now,top,dfn[N<<1],low[N<<1],color[N<<1],sta[N<<1...
根据2-SAT的方法建图后,得到强连通分量,并根据与拓扑序联系,输出答案。
代码中用详细注释。
#include <bits/stdc++.h>
using namespace std;
const int N=1e5+5,M=1e5+5;
int n,m,ans,a[N],b[N];
int cnt,head[N<<1];
int col,now,top,dfn[N<<1],low[N<<1],color[N<<1],sta[N<<1],si[N<<1];
bool jay;
char s1[4],s2[4];
struct edge{int next,from,to;}e[M<<1];
inline void add(int u,int v)
{
cnt++;
e[cnt].next=head[u];
e[cnt].from=u;
e[cnt].to=v;
head[u]=cnt;
}
inline void tarjan(int u)
{
dfn[u]=low[u]=++now;
sta[++top]=u;
for (register int i=head[u]; i; i=e[i].next)
{
if (!dfn[e[i].to])
{
tarjan(e[i].to);
low[u]=min(low[u],low[e[i].to]);
}
else if (!color[e[i].to])
low[u]=min(low[u],dfn[e[i].to]);
}
if (low[u]==dfn[u])
{
color[u]=++col;
si[col]++;
while (sta[top]!=u) color[sta[top]]=col,si[col]++,top--;
top--;
}
}
// i+m记录小写,i记录大写
int main(){
scanf("%d%d",&n,&m);
for (register int t=1; t<=n; ++t)
{
scanf("%d",&a[0]);
for (register int i=1; i<=a[0]; ++i) scanf("%d",&a[i]);
if (t>1)
for (register int i=1; i<=min(a[0],b[0]); ++i)
{
if (b[i]<a[i])
{
add(b[i]+m,a[i]+m); // 如果b[i]是小写,那么a[i]必须小写
add(a[i],b[i]); // 如果a[i]是大写,那么b[i]必须大写
break;
//相邻两个字符串的第一个不同的位子必须满足条件,而后面的不需要管
}
if (b[i]>a[i])
{
add(b[i]+m,b[i]); // b[i]必须大写
add(a[i],a[i]+m); // a[i]必须小写
break;
}
if (i==min(a[0],b[0]) && b[0]>a[0]) {puts("No"); return 0;}
}
for (register int i=0; i<=a[0]; ++i) b[i]=a[i];
}
// for (register int i=1; i<=cnt; ++i) printf("%d %d\n",e[i].from,e[i].to);
for (register int i=1; i<=2*m; ++i) if (!dfn[i]) tarjan(i);
for (register int i=1; i<=m; ++i)
if (color[i]==color[i+m])
{
puts("No");
return 0;
}
puts("Yes");
for (register int i=1; i<=m; ++i) if (color[i]<color[i+m]) ans++;
printf("%d\n",ans);
for (register int i=1; i<=m; ++i) if (color[i]<color[i+m]) printf("%d ",i);
//color[i]<color[i+m]表示:i+m的拓扑序小,i的拓扑序大,即i+m可以走到i
//如果i是小写,那么i必须是大写
//所以为了避免矛盾,i只能为大写
return 0;
}
本文地址:https://blog.csdn.net/Dove_xyh/article/details/108559889
推荐阅读
-
举例讲解Objective-C中@property属性的用法
-
CSS3新属性transition-property transform box-shadow实例学习
-
SpringBoot2.x升级踩坑--新增Configuration property name限制
-
property自己实现
-
spring boot 注入 property的三种方式(推荐)
-
IOS开发(38)之Objective-c的@property 详解
-
Python Property属性的2种用法
-
Cannot access protected property validate $scene
-
Python中@property的理解和使用示例
-
Python进阶之@property动态属性的实现