GYM 101173 L.Lost Logic(构造)
来源:互联网 发布:apache beam flink 编辑:程序博客网 时间:2024/06/05 17:49
Description
有n个变量,三种赋值,要求写出至多500个约束条件使得满足这些约束条件的变量赋值只有这三种
Input
第一行一整数n表示变量数,之后三行每行n个整数表示一组赋值(2<=n<=50)
Output
存在合法约束使得满足这些约束的变量赋值只有这三种那么输出这些约束,否则输出-1
Sample Input
Sample Output
Solution
如果对于某个i,满足条件的三种赋值都是0,那么xi->!xi
如果对于某个i,满足条件的三种赋值都是1,那么!xi->xi
如果对于某个i,j,满足条件的三种赋值都相等,那么xi->xj,!xi->!xj((0,0),(1,0),(1,1)都可以,但是(0,1)不行)
如果对于某个i,j,满足条件的三种赋值相都反,那么xi->!xj,!xi->xj((0,1),(1,0),(1,1)都可以,但是(1,1)不行)
之后最多还剩三个,就是(0,0,1),(0,1,0),(1,0,0)(不考虑顺序和互补,例如(1,1,0)就是(0,0,1)的补)
如果这三个都有则无解,如果一个则不用限制,如果两个就枚举赋值的四种情况去写约束
Code
#include<cstdio>#include<iostream>#include<cstring>#include<algorithm>#include<cmath>#include<vector>#include<queue>#include<map>#include<set>#include<ctime>using namespace std;typedef long long ll;#define INF 0x3f3f3f3f#define maxn 55int n,a[maxn],b[maxn],vis[maxn];typedef pair<int,int>P;vector<P>v;bool cmp(int x,int y){ return a[x]<a[y];}bool check(int x,int y){ if(x&&!y)return 0; return 1;}int main(){ while(~scanf("%d",&n)) { v.clear(); memset(a,0,sizeof(a)); for(int j=0;j<3;j++) for(int i=1;i<=n;i++) { int temp; scanf("%d",&temp); a[i]|=(temp<<j); } memset(vis,0,sizeof(vis)); for(int i=1;i<=n;i++) if(!vis[i]) { if(a[i]==0)vis[i]=1,v.push_back(P(i,i+n)); else if(a[i]==7)vis[i]=1,v.push_back(P(i+n,i)); else { for(int j=i+1;j<=n;j++) if(!vis[j]) { if(a[i]+a[j]==7||a[i]==a[j]) { vis[j]=1; if(a[i]==a[j])v.push_back(P(i,j)),v.push_back(P(i+n,j+n)); else v.push_back(P(i,j+n)),v.push_back(P(i+n,j)); } } } } int cnt=0; for(int i=1;i<=n;i++) if(!vis[i])b[cnt++]=i; if(cnt>=3)printf("-1\n"); else { sort(b,b+cnt,cmp); for(int i=0;i<cnt;i++) for(int j=0;j<cnt;j++) if(i!=j) { int x=a[b[i]],y=a[b[j]]; if(check(x&1,y&1)&&check(x&2,y&2)&&check(x&4,y&4))v.push_back(P(b[i],b[j])); x=a[b[i]]^7,y=a[b[j]]; if(check(x&1,y&1)&&check(x&2,y&2)&&check(x&4,y&4))v.push_back(P(b[i]+n,b[j])); x=a[b[i]],y=a[b[j]]^7; if(check(x&1,y&1)&&check(x&2,y&2)&&check(x&4,y&4))v.push_back(P(b[i],b[j]+n)); x=a[b[i]]^7,y=a[b[j]]^7; if(check(x&1,y&1)&&check(x&2,y&2)&&check(x&4,y&4))v.push_back(P(b[i]+n,b[j]+n)); } printf("%d\n",v.size()); for(int i=0;i<v.size();i++) { int x=v[i].first,y=v[i].second; if(x>n)printf("!x%d",x-n); else printf("x%d",x); printf(" -> "); if(y>n)printf("!x%d\n",y-n); else printf("x%d\n",y); } } } return 0;}
0 0
- GYM 101173 L.Lost Logic(构造)
- [2-SAT 构造] Codeforces Gym 101173 CERC 16 L. Lost Logic
- GYM 100488 C.Lost Temple(数论)
- GYM 101173 K.Key Knocking(构造)
- GYM 100090 L.Hard Problem(水~)
- GYM 100827 L.Wormhole(Floyd)
- GYM 101149 L.Right Build(SPFA)
- GYM 100971 L.Chess Match(贪心)
- GYM 101086 L.Chance(水~)
- GYM 100694 G.The Lost Graph(栈)
- Codeforces Gym 101173 K. Key Knocking (构造)
- GYM 100247 L. For the Honest Election(递归)
- GYM 100030 L.Make Your Donation Now(枚举)
- GYM 100488 L.Two Heads Are Better(链表)
- GYM 100712 L.Alternating Strings II(dp+线段树)
- GYM 101102 L.Starry Night(贪心+dfs)
- GYM 100694 L.Hanoi Towers and the Progress(dp)
- Gym 100273L Language Recognition(Trie+Hash)
- 前端面向对象的登录写法
- Swift 解决循环引用问题
- Location
- 采购管理师报名信息总。
- RecyclerView 练习(一)
- GYM 101173 L.Lost Logic(构造)
- Cocos2d-x 3.x版本PC端关闭窗口控制
- JS中Number数据类型需要注意的事项
- 深入浅出JMS(三)--ActiveMQ简单的HelloWorld实例
- C++日志系统log4cxx使用总结
- 彻头彻尾理解单例模式与多线程
- 用Jquery简单封装一个可重复调用的省市级联动插件
- 求出一组元素的所有排列情况&所有包含m个元素组合情况&网易笔试题-合唱团
- Android5.0 CheckBox颜色修改