Lightoj1261——1261
来源:互联网 发布:安捷伦66319d编程手册 编辑:程序博客网 时间:2024/06/07 05:07
SAT was the first known NP-complete problem. The problem remains NP-complete even if all expressions are written in conjunctive normal form with 3 variables per clause (3-CNF), yielding the 3-SAT problem. A K-SAT problem can be described as follows:
There are n persons, and m objects. Each person makes K wishes, for each of these wishes either he wants to take an object or he wants to reject an object. You have to take a subset of the objects such that every person is happy. A person is happy if at least one of his K wishes is kept. For example, there are 3 persons, 4 objects, and K = 2, and
Person 1 says, “take object 1 or reject 2.”
Person 2 says, “take object 3 or 4.”
Person 3 says, “reject object 3 or 1.”
So, if we take object 1 2 3, then it is not a valid solution, since person 3 becomes unhappy. But if we take 1 2 4 then everyone becomes happy. If we take only 4, it’s also a valid solution. Now you are given the information about the persons’ wishes and the solution we are currently thinking. You have to say whether the solution is correct or not.
Input
Input starts with an integer T (≤ 100), denoting the number of test cases.
Each case starts with a line containing three integers n, m, K (1 ≤ n, m, K ≤ 30). Each of the next n lines contains K space separated integers where the ith line denotes the wishes of the ith person. Each of the integers in a line will be either positive or negative. Positive means the person wants the object in the solution; negative means the person doesn’t want that in the solution. You can assume that the absolute value of each of the integers will lie between 1 and m.
The next line contains an integer p (0 ≤ p ≤ m) denoting the number of integers in the solution, followed by p space separated integers each between 1 and m, denoting the solution. That means the objects we have taken as solution set.
Output
For each case, print the case number and ‘Yes’ if the solution is valid or ‘No’ otherwise.
Sample Input
Output for Sample Input
2
3 4 2
+1 -2
+3 +4
-3 -1
1 4
1 5 3
+1 -2 +4
2 2 5
Case 1: Yes
Case 2: No
n个人有k个愿望,每个愿望是得到某个东西或者不能拿到某个东西。给你p个已经拿的东西,求是否能满足所有人的愿望
p个拿到的东西就说明有m-p个东西不拿,与每个人一个个比较就行了,数据不大
#include <iostream>#include <cstring>#include <string>#include <vector>#include <queue>#include <cstdio>#include <set>#include <math.h>#include <algorithm>#include <queue>#include <iomanip>#include <map>#define INF 0x3f3f3f3f#define MAXN 10005#define Mod 20007using namespace std;int n,m,k;int vis[100],mp[100][100];set<int> table;bool solve(){ int flag=0; for(int i=1; i<=n; ++i) { flag=0; for(int j=1; j<=k; ++j) if(table.find(mp[i][j])!=table.end()) { flag=1; break; } if(!flag) return false; } return true;}int main(){ int t; scanf("%d",&t); for(int cas=1; cas<=t; ++cas) { memset(vis,0,sizeof(vis)); table.clear(); scanf("%d%d%d",&n,&m,&k); for(int i=1; i<=n; ++i) for(int j=1; j<=k; ++j) scanf("%d",&mp[i][j]); int p,x; scanf("%d",&p); while(p--) { scanf("%d",&x); table.insert(x); vis[x]=1; } for(int i=1; i<=m; ++i) if(!vis[i]) table.insert(-i); if(solve()) printf("Case %d: Yes\n",cas); else printf("Case %d: No\n",cas); } return 0;}
- Lightoj1261——1261
- Combinatorics——HDUOJ 1261
- CSU 1261——水仙花数
- 1261
- hdu 1261
- URAL 1261
- HDOJ 1261
- ZOJ-1261
- hdu-1261
- HDU 1261
- CSU-1261
- hdu 1261 字串数
- HDU -1261 组合数学。
- hdu 1261(排列组合)
- HDOJ 1261 字串数
- hdu 1261 字串数
- coj 1261: 水仙花数
- 【nyoj 1261 不是匹配 】
- Flex布局
- http协议
- input type='file'上传图片限制大小,类型判断,以及原生js实现上传至后端前实现图片显
- 自定义注解 @interface
- JS获取浏览器窗口大小 获取屏幕,浏览器,网页高度宽度
- Lightoj1261——1261
- 数据库自动化运维平台--元数据平台
- 数学3
- 2017 Wuhan University Programming Contest (Online Round) E. Lost in WHU(矩阵快速幂)
- OpenGL Shader简单例子
- linq中如何随机获取数据
- poj-1837-Balance
- [模拟]CODEVS-1160 蛇形矩阵
- 深度剖析之 PagerSlidingTabStrip