codeforces National Property 2sat模板题

题目链接

每个字符只能取小写和大写两种情况,因此满足2-sat的要求。

我们从第2个word开始,与前一个word进行比较。比较的时候从word左边的字符开始,找到左起的第一个不相同的字符(位置为pos)。

1.如果word[i-1][pos]<word[i][pos]。

那么表明如果word[i-1][pos]取小写的话,那么word[i][pos]一定要取小写。

同时word[i][pos]取大写的时候,word[i-1][pos]也一定要取大写。

于是连边(word[i-1][pos]+n) ->(word[i][pos] + n)  以及 (word[i][pos]) -> (word[i-1][pos])

2.如果word[i-1][pos] > word[i][pos]的话

表明word[i-1][pos]一定要取大写,word[i][pos]一定要取小写。

即:


word[i-1][pos] -> word[i-1][pos] +n

word[i][pos]+n->word[i-1][pos]



note:

+n代表大写

不加代表小写

题解:

#include <bits/stdc++.h>
using namespace std;
using namespace std;
const int maxn = 1e6;
int head[maxn];
int DFN[maxn],LOW[maxn],stk[maxn],visit[maxn],belong[maxn];
vector<int> scc[maxn];
int tot,idx,cnt,sccnum;
int n,color[maxn],degree[maxn],pos[maxn];
struct Es{ int v; int next; int cost; 
}Es[maxn<<1];  
vector<int> bkG[maxn];
void init(){ sccnum = tot = idx = cnt = 0; memset(head,-1,sizeof(head)); memset(DFN,0,sizeof(DFN)); memset(LOW,0,sizeof(LOW)); memset(visit,0,sizeof(visit)); memset(color,0,sizeof(color)); memset(degree,0,sizeof(degree));memset(pos,0,sizeof(pos));for(int i = 0;i < maxn;i++) scc[i].clear();for(int i = 0;i < maxn;++i) bkG[i].clear();
}
inline void add_edge(int i,int j,int cost = 1){   Es[cnt].v = j; Es[cnt].cost = cost; Es[cnt].next = head[i]; head[i] = cnt++; 
}   
void tarjan(int x)
{DFN[x]=LOW[x]=++tot;stk[++idx]=x;visit[x]=1;for(int i=head[x];i!=-1;i=Es[i].next){if(!DFN[Es[i].v]) {tarjan(Es[i].v);LOW[x] = min(LOW[x],LOW[Es[i].v]);}else if(visit[Es[i].v ]){  LOW[x] = min(LOW[x],DFN[Es[i].v]);}}if(LOW[x]==DFN[x]){++sccnum;do{int item = stk[idx];belong[item] = sccnum;scc[sccnum].push_back(item);visit[item]=0;idx--;}while(x!=stk[idx+1]);}return ;
}
bool check(){for(int i = 1;i <= n;i++){if(belong[i] == belong[i+n]) return false;}return true;
}
bool solve(){for(int i = 1;i <= 2*n;++i )if(!DFN[i]) tarjan(i);if(!check()) return false;for(int i = 1;i <= n;++i){if(!pos[belong[i]]){pos[belong[i]] = belong[i+n];pos[belong[i+n]] = belong[i];}}for(int i = 1;i <= 2*n;++i){for(int e = head[i];e != -1;e = Es[e].next){int v = Es[e].v;if(belong[i] != belong[v]){degree[belong[i]]++;bkG[belong[v]].push_back(belong[i]);}}}queue<int> que;for(int i = 1;i <= sccnum;++i){if(!degree[i])que.push(i);}while(!que.empty()){int u = que.front();que.pop();if(!color[u]){color[u] = 1;color[pos[u]] = 2;}for(int i = 0;i < bkG[u].size();++i){int v = bkG[u][i];degree[v]--;if(!degree[v])que.push(v);}}vector<int> ans;for(int i = 1;i <= n;++i){if(color[belong[i]] != 1) {//Yesans.push_back(i);}} printf("Yes\n%d\n",ans.size());for(int i = 0;i < ans.size();++i){printf("%d ",ans[i]);}return true;
}
int m;
vector<int> vec[maxn];
int main(){init();scanf("%d%d",&m,&n);for(int i = 0;i < m;++i){int num;scanf("%d",&num);for(int j = 0;j < num;++j){int x;scanf("%d",&x);vec[i].push_back(x);}}int f = 1;for(int i = 1;i < m;++i){int id = 0;while(id < vec[i-1].size() && id < vec[i].size() && vec[i-1][id] == vec[i][id]) ++id;if(id >= vec[i-1].size() || id >= vec[i].size()){if(vec[i-1].size() <= vec[i].size()) continue;else{f = 0;break;}}else if(vec[i-1][id] < vec[i][id]){add_edge(vec[i][id]+n,vec[i-1][id]+n);add_edge(vec[i-1][id],vec[i][id]);}else{add_edge(vec[i][id]+n,vec[i][id]);add_edge(vec[i-1][id],vec[i-1][id]+n);}}if(!f || !solve()){puts("No");}return 0;
}


本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/321462.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

传球游戏【DP】

传球游戏传球游戏传球游戏 题目描述 上体育课的时候&#xff0c;小蛮的老师经常带着同学们一起做游戏。这次&#xff0c;老师带着同学们一起做传球游戏。 游戏规则是这样的&#xff1a;n个同学站成一个圆圈&#xff0c;其中的一个同学手里拿着一个球&#xff0c;当老师吹哨子…

ASP.NET Core 添加统一模型验证处理机制

一.前言模型验证自ASP.NET MVC便有提供&#xff0c;我们可以在Model(DTO)的属性上加上数据注解&#xff08;Data Annotations&#xff09;特性&#xff0c;在进入Action之前便会根据数据注解&#xff0c;来验证输入的数据是否合法&#xff0c;下面介绍以下如何统一处理验证并返…

jzoj4017-逃跑【0/1分数规划,线段树,dp】

正题 题目链接:https://jzoj.net/senior/#contest/show/3011/2 题目大意 n1n1n1个连续的地方&#xff0c;每个地方有(a,b,c)(a,b,c)(a,b,c)。 从000开始&#xff0c;每次往前选择一个不超过LLL的位置&#xff0c;跳到那里并选择中间不包括起点的位置中ccc最大的地方获取这个位…

13、play中实现信息国际化

目录 1、指定应用使用的语言 2、语言配置文件 3、在Controller中使用 4、在模板中使用 5、改变当前请求的语言 6、格式化信息 1、指定应用使用的语言 在conf/application.conf中进行配置&#xff1a; 这些语言标记将用于创建play.i18n.Lang实例。要访问应用程序支持的语…

重温基数排序

前几天沈阳现场赛遇到了一道题&#xff0c;其中的一部分不能用快排&#xff0c;只能用基数排序&#xff0c;当时不会写基数排序&#xff0c;gg&#xff0c;从银滑到了铜。。。。真是血的教训&#xff0c;现在再来回顾一下。 输入n个整数&#xff0c;最大的整数不超过6位&#…

2018年10月17日普级B组【模拟赛】

2018年10月17日普级B组模拟赛2018年10月17日普级B组模拟赛2018年10月17日普级B组模拟赛 第一题——ISBN号码第一题——ISBN号码第一题——ISBN号码 博客链接&#xff1a; https://blog.csdn.net/ssllyf/article/details/83212746 第二题——笨小猴第二题——笨小猴第二题——笨…

讨论过后而引发对EF 6.x和EF Core查询缓存的思考

前言最近将RabbitMQ正式封装引入到.NET Core 2.0项目当中&#xff0c;之前从未接触过这个高大上的东东跟着老大学习中&#xff0c;其中收获不少&#xff0c;本打算再看看RabbitMQ有时间写写&#xff0c;回来后和何镇汐大哥探讨了一点关于EF和EF Core的内容&#xff0c;于是乎本…

CF297E-Mystic Carvings【树状数组】

正题 题目链接:https://www.luogu.com.cn/problem/CF297E 题目大意 2∗n2*n2∗n个点的圆&#xff0c;nnn条圆上不交的弦&#xff0c;选择三条使得每条弦对应的弧上的点数量相等。 解题思路 就这5种情况&#xff0c;其中满足条件的是222和555&#xff0c;我们用容斥去掉1,3,41,…

14、使用play搭建一个web应用用例

目录 1、play下载 2、启动play项目 3、将项目导入到eclipse 4、play项目中前端开发 5、添加bootstrap ace页面模板 1、play下载 找到官网&#xff0c;直接下载即可 2、启动play项目 解压文件&#xff0c;进入到项目顶级目录 等一会&#xff0c;下载jar包&#xff0c;第一…

截取【二分】

截取 题目描述 给你N段线的长度&#xff0c;现在要你从他们上面切下K段来&#xff08;切下的不能合并&#xff09;&#xff0c;使得这K段长度相等&#xff0c;并且最大。如若求出的答案小于0.01&#xff0c;则认为无解&#xff0c;输出0.00。&#xff08;所有非整数都精确到了…

EF Core 2.0使用MsSql/Mysql实现DB First和Code First

环境Visual Studio 2017 最新版本的.NET Core 2.0 SDK最新版本的 Windows PowerShell开始搭建1、在 Visual Studio 2017 中创建新项目“文件”>“新建”>“项目”从左侧菜单中选择“已安装”>“模板”>“Visual C#”>“.NET Core”。选择“ASP.NET Core Web 应用…

jzoj4019-Path【dp】

正题 题目链接:https://jzoj.net/senior/#contest/show/3014/1 题目大意 n∗mn*mn∗m的格子&#xff0c;开始在(n,1)(n,1)(n,1)&#xff0c;每次可以右拐或者往前&#xff0c;不能走重复的和障碍&#xff0c;求有多少种方案到达(y,x)(y,x)(y,x) 解题思路 设fs,x1,y1,x2,y2f_{…

基于SSM+JBPM的智能化OA办公平台

目录 1、项目介绍 2、业务架构和技术架构 3、数据模型 4、界面展示 写在前面&#xff1a;如果有小伙伴儿想获取智能化OA办公平台管理系统的对应源码和数据表结构&#xff0c;可以关注博主然后给博主发私信哟。 1、项目介绍 本项目是一款智能化OA办公平台&#xff0c;其目的…

森近林之助【字符串处理】

森近林之助森近林之助森近林之助 题目大意 输入n个字符串&#xff0c;每一位总共要出现两个“1”&#xff0c;一个“0”&#xff0c;求最少要加多少个字符串才能满足条件 解题思路&#xff1a; 这题就是将每一位出现“1”和“0”的次数加在一起&#xff0c;看每一位缺多少个…

EFCore2.0@Xamarin.Forms

由于忙于Xamarin的书的创作很久没有和大家见面了&#xff0c;回到博客我会陆续更新一些最新的Xamarin技术&#xff0c;还有最近一直在努力的人工智能相关知识。话说csdn的博客改版了。总觉得变化是好事情啊。 这篇博客&#xff0c;我想和大家说说EFCore&#xff0c;在.NET…

jzoj4020-Revolution【网络流,最小割】

正题 题目链接:https://jzoj.net/senior/#contest/show/3014/2 题目大意 n∗mn*mn∗m的地方&#xff0c;每个地方有购买价格和收益&#xff0c;一个地方如果四周都被购买那么也可以获得这个地方的收益。 求收益-价格最大。 解题思路 考虑网络流&#xff0c;进行奇偶染色&…

1、mybatis是什么?为什么要用mybatis?

对于初学者&#xff0c;如果进行mybatis的学习呢&#xff1f;我总结了几点&#xff0c;会慢慢的更新出来。首先大家需要了解mybatis是什么、用mybatis来做什么、为什么要用mybatis、有什么优缺点&#xff1b;当知道了为什么的时候就开始了解如何用的问题&#xff0c;如何使用my…

codeforces 877F F. Ann and Books hash+莫队算法

题意&#xff1a;给你一堆数字&#xff0c;每个数字有正负之分&#xff0c;求任意区间内和为k的子区间的个数。 题解&#xff1a; 先把前缀和都求出来&#xff0c;构成一个数组sum。 建立一个hash表&#xff0c;然后考虑区间sum[l,r]&#xff0c;从左到右扫&#xff0c;每扫…

花生采摘

花生采摘花生采摘花生采摘 题目描述 鲁宾逊先生有一只宠物猴&#xff0c;名叫多多。这天&#xff0c;他们两个正沿着乡间小路散步&#xff0c;突然发现路边的告示牌上贴着一张小小的纸条&#xff1a;“欢迎免费品尝我种的花生&#xff01;——熊字”。 鲁宾逊先生和多多都很…

P3317-[SDOI2014]重建【矩阵树定理,数学期望】

正题 题目链接:https://www.luogu.com.cn/problem/P3317 题目大意 nnn个点若干条边。告诉你每条边出现的概率&#xff0c;求刚好出现一颗生成树的概率是多少。 解题思路 矩阵树定理是计算每个生成树的每条边乘积之和。 我们考虑将答案转换为那个形式&#xff0c;ai,ja_{i,j}…