【BZOJ2199】 [Usaco2011 Jan]奶牛议会

【【BZOJ2199】 [Usaco2011 Jan]奶牛议会】的更多相关文章

BZOJ2199: [Usaco2011 Jan]奶牛议会(2-SAT)

Time Limit: 10 Sec Memory Limit: 259 MBSubmit: 559 Solved: 360[Submit][Status][Discuss] Description 由于对Farmer John的领导感到极其不悦,奶牛们退出了农场,组建了奶牛议会.议会以“每头牛都可以获得自己想要的”为原则,建立了下面的投票系统: M只到场的奶牛 (1 <= M <= 4000) 会给N个议案投票(1 <= N <= 1,000) .每只奶牛会对恰好两个议案…

BZOJ2199[Usaco2011 Jan]奶牛议会——2-SAT+tarjan缩点

题目描述由于对Farmer John的领导感到极其不悦,奶牛们退出了农场,组建了奶牛议会.议会以“每头牛都可以获得自己想要的”为原则,建立了下面的投票系统: M只到场的奶牛 (1 <= M <= 4000) 会给N个议案投票(1 <= N <= 1,000) .每只奶牛会对恰好两个议案 B_i and C_i (1 <= B_i <= N; 1 <= C_i <= N)投出“是”或“否”(输入文件中的'Y'和'N').他们的投票结果分别为VB_i (…

BZOJ2199: [Usaco2011 Jan]奶牛议会

趁此机会学了一下2-SAT. 以前的2-SAT都是用并查集写的,只能应用于极小的一部分情况,这次学了一正式的2-SAT,是用一张有向图来表示其依赖关系. 2-SAT的介绍参见刘汝佳<训练指南>. /************************************************************** Problem: 2199 User: zhuohan123 Language: C++ Result: Accepted Time:140 ms Memory:1388 k…

【BZOJ2199】[Usaco2011 Jan]奶牛议会 2-SAT

[BZOJ2199][Usaco2011 Jan]奶牛议会 Description 由于对Farmer John的领导感到极其不悦,奶牛们退出了农场,组建了奶牛议会.议会以“每头牛都可以获得自己想要的”为原则,建立了下面的投票系统: M只到场的奶牛 (1 <= M <= 4000) 会给N个议案投票(1 <= N <= 1,000) .每只奶牛会对恰好两个议案 B_i and C_i (1 <= B_i <= N; 1 <= C_i <= N)投出“是…

BZOJ 2199: [Usaco2011 Jan]奶牛议会

2199: [Usaco2011 Jan]奶牛议会 Time Limit: 10 Sec Memory Limit: 259 MBSubmit: 375 Solved: 241[Submit][Status][Discuss] Description 由于对Farmer John的领导感到极其不悦,奶牛们退出了农场,组建了奶牛议会.议会以“每头牛都可以获得自己想要的”为原则,建立了下面的投票系统: M只到场的奶牛 (1 <= M <= 4000) 会给N个议案投票(1 <= N &…

【BZOJ2199】 [Usaco2011 Jan]奶牛议会

Description 由于对Farmer John的领导感到极其不悦,奶牛们退出了农场,组建了奶牛议会.议会以“每头牛都可以获得自己想要的”为原则,建立了下面的投票系统: M只到场的奶牛 (1 <= M <= 4000) 会给N个议案投票(1 <= N <= 1,000) .每只奶牛会对恰好两个议案 B_i and C_i (1 <= B_i <= N; 1 <= C_i <= N)投出“是”或“否”(输入文件中的'Y'和'N').他们的投票结果分别…

BZOJ 2199: [Usaco2011 Jan]奶牛议会 [2-SAT 判断解]

http://www.lydsy.com/JudgeOnline/problem.php?id=2199 题意:裸的2-SAT,但是问每个变量在所有解中是只能为真还是只能为假还是既可以为真又可以为假这样的话求$SCC$的做法就不好做了于是只能用$naive$做法了,枚举每个变量选择真假然后$dfs$一遍看看是否可行点从2开始,然后就可以愉快的异或啦 #include <iostream> #include <cstdio> #include <cstring> #…

BZOJ.2199.[USACO2011 Jan]奶牛议会(2-SAT)

题目链接建边不说了.对于议案'?'的输出用拓扑不好判断,直接对每个议案的结果DFS,看是否会出现矛盾 Tarjan也用不到 //964kb 76ms #include <cstdio> #include <cstring> #include <algorithm> const int N=2005,M=16005; int n,m,Enum,H[N],nxt[M],to[M],conf[N];//conflict bool vis[N]; char ans[N]; i…

2199: [Usaco2011 Jan]奶牛议会 2-sat

链接 https://www.luogu.org/problemnew/show/P3007 https://www.lydsy.com/JudgeOnline/problem.php?id=2199 思路建图,缩点tarjan 判断impossible 之后就不是输出方案的套路了判断Y .N.? 直接暴力枚举点的两种情况(i,i+n)是否能dfs到一块不能就是互不牵制,是? 其他就是Y 或 N 代码 #include <bits/stdc++.h> using namespace st…

bzoj 1823: [JSOI2010]满汉全席 && bzoj 2199 : [Usaco2011 Jan]奶牛议会 2-sat

noip之前学的内容了,看到题竟然忘了怎么建图了,复习一下. 2-sat 大概是对于每个元素,它有0和1两种选择,必须选一个但不能同时选.这之间又有一些二元关系,比如x&y=1等等... 先把每个点拆成0和1两个点. 那么我们就建图,如果x等于A的话y必须等于B,那么从x的A点向y的B点连一条有向边,表示选了一个点它所有的后继点也必须选. 没有一组合法解的情况当且仅当x的01两个点缩点后在同一个强联通分量里. bzoj 1823 裸题 #include<iostream> #inclu…

bzoj 2199: [Usaco2011 Jan]奶牛议会【2-SAT】

好久没写2-SAT了啊,还以为是网络流设点x为选,x'为不选,因为一头牛至少要满足一个条件,所以对于牛条件的两个点,选了一个不符合的点,就要选另一个符合的点,这样连两条边然后枚举所有议案的选和不选点,从当前枚举的点出发,dfs一遍,把经过的点都打上标记,然后判断当前枚举的点是否合法(没有一个议案的选和不选点都被dfs到),如果选和不选点都不合法就退出,输出impossible:都合法就输出?:只有一个合法就输出相对的选或不选 #include<iostream> #include<c…

C++之路进阶——bzoj2199（奶牛议会）

F.A.Qs Home Discuss ProblemSet Status Ranklist Contest ModifyUser gryz2016 Logout 捐赠本站 Notice:由于本OJ建立在Linux平台下,而许多题的数据在Windows下制作,请注意输入.输出语句及数据类型及范围,避免无谓的RE出现. 2199: [Usaco2011 Jan]奶牛议会 Time Limit: 10 Sec Memory Limit: 259 MBSubmit: 258 Solved: 16…

BZOJ2199 奶牛议会【2-sat】

BZOJ2199 奶牛议会 Description 由于对Farmer John的领导感到极其不悦,奶牛们退出了农场,组建了奶牛议会.议会以"每头牛都可以获得自己想要的"为原则,建立了下面的投票系统: M只到场的奶牛 (1 <= M <= 4000) 会给N个议案投票(1 <= N <= 1,000) .每只奶牛会对恰好两个议案 B_i and C_i (1 <= B_i <= N; 1 <= C_i <= N)投出"是&…

2-set奶牛议会

Description 由于对Farmer John的领导感到极其不悦,奶牛们退出了农场,组建了奶牛议会.议会以“每头牛都可以获得自己想要的”为原则,建立了下面的投票系统: M只到场的奶牛 (1 <= M <= 4000) 会给N个议案投票(1 <= N <= 1,000) .每只奶牛会对恰好两个议案 B_i and C_i (1 <= B_i <= N; 1 <= C_i <= N)投出“是”或“否”(输入文件中的’Y’和’N’).他们的投票结果分别…

【BZOJ-2199】奶牛议会

链接: BZOJ-2199 题意: 给出 $n(1\leq n\leq 1000)$ 个点,$m(1\leq m\leq 4000)$ 个形如:"点 $a$ 取 $ca$ 或点 $b$ 取 $cb$,其中 $ca,cb\in\{'Y','N'\}$" 的限制.如果没有一组方案满足所有限制,输出"IMPOSSIBLE":否则,可能有多组满足限制的解.对于一个点,如果在所有方案中都取 $'Y'$ 则该点最终答案为 $'Y'$,如果在…