| Accept:10 | Submit:34 |
| Time Limit:1000MS | Memory Limit:65536KB |
Description
为了准备期末考试了，laprovence正被讨厌的数字逻辑搞的头昏脑胀，尤其后面的一堆乱七八糟的概念，简直不知所云@#~！*&~
这不有道简单的题就把他给难住了，题目大意是这样的：给出n个发光二极管，每个二极管都有两种状态，亮（on）与灭（off），然后给出一组每两个二极管之间的约束关系，
约束关系有以下3 种
1）a and b 表示第a个与第b个二极管必须同时亮
2）a or b表示第a个与第b个二极管至少有一个亮
3）a xor b 表示第a个与第b个二极管必须是一个亮，一个灭
Input
第一行两个整数n（二极管的个数，n<=10），m（m组约束关系，m<=50）
然后m行约束关系以a and b，a or b，a xor b的形式给出
多组测试数据，当n=0，m=0时结束
Output
输出每个二极管的状态（一行,每两个状态之间用空格隔开，最后一个不要空格，保证只有一组解），如果没有解输出No solution
Sample Input
2 1
1 and 2
3 3
1 and 2
2 xor 3
1 and 3
0 0
Sample Output
on on
No solution
为了准备期末考试了，laprovence正被讨厌的数字逻辑搞的头昏脑胀，尤其后面的一堆乱七八糟的概念，简直不知所云@#~！*&~
这不有道简单的题就把他给难住了，题目大意是这样的：给出n个发光二极管，每个二极管都有两种状态，亮（on）与灭（off），然后给出一组每两个二极管之间的约束关系，
约束关系有以下3 种
1）a and b 表示第a个与第b个二极管必须同时亮
2）a or b表示第a个与第b个二极管至少有一个亮
3）a xor b 表示第a个与第b个二极管必须是一个亮，一个灭
Input
第一行两个整数n（二极管的个数，n<=10），m（m组约束关系，m<=50）
然后m行约束关系以a and b，a or b，a xor b的形式给出
多组测试数据，当n=0，m=0时结束
Output
输出每个二极管的状态（一行,每两个状态之间用空格隔开，最后一个不要空格，保证只有一组解），如果没有解输出No solution
Sample Input
2 1
1 and 2
3 3
1 and 2
2 xor 3
1 and 3
0 0
Sample Output
on on
No solution
View Code
1 #include<iostream>
2 using namespace std;
3 struct node
4 {
5 int l;
6 char ch[5];
7 int r;
8 }map[60];
9 int ans[12];
10 int n,m;
11 bool finds()
12 {
13 int i;
14 for(i=0;i<m;i++)
15 {
16 if(map[i].ch[0]=='a')
17 {
18 if(ans[ map[i].l ]!=0 && ans[ map[i].r ]!=0 )
19 { ans[ map[i].l ]=1; ans[ map[i].r ]=1; continue;}
20 else return 0;
21 }
22 if(map[i].ch[0]=='x')
23 {
24 if(ans[ map[i].l ]==-1 && ans[ map[i].r ]==0)//-1 0
25 {
26 ans[ map[i].l ]=1;continue;
27 }
28 if(ans[ map[i].l ]==-1 && ans[ map[i].r ]==1)//-1 1
29 {
30 ans[ map[i].l ]=0;continue;
31 }
32 if(ans[ map[i].l ]==0 && ans[ map[i].r ]==-1)//0 -1
33 {
34 ans[ map[i].r ]=1;continue;
35 }
36 if(ans[ map[i].l ]==0 && ans[ map[i].r ]==0)//0 0
37 {
38 return 0;
39 }
40 if(ans[ map[i].l ]==0 && ans[ map[i].r ]==1)//0 1
41 {
42 continue;
43 }
44 if(ans[ map[i].l ]==1 && ans[ map[i].r ]==-1)//1 -1
45 {
46 ans[ map[i].r ]=0;continue;
47 }
48 if(ans[ map[i].l ]==1 && ans[ map[i].r ]==0)//1 0
49 {
50 continue;
51 }
52 if(ans[ map[i].l ]==1 && ans[ map[i].r ]==1)//1 1
53 {
54 return 0;
55 }
56 }
57 if(map[i].ch[0]=='o')
58 {
59 if(ans[ map[i].l ]==-1 && ans[ map[i].r ]==0)//-1 0
60 {
61 ans[ map[i].l ]=1;continue;
62 }
63 if(ans[ map[i].l ]==0 && ans[ map[i].r ]==-1)//0 -1
64 {
65 ans[ map[i].r ]=1;continue;
66 }
67 if(ans[ map[i].l ]==0 && ans[ map[i].r ]==0)//0 0
68 {
69 return 0;
70 }
71 }
72 }
73 return 1;
74
75 }
76 int main()
77 {
78 int i;
79 while(cin>>n>>m&&(n||m))
80 {
81 memset(ans,-1,sizeof(ans));
82 for(i=0;i<m;i++)
83 {
84 cin>>map[i].l>>map[i].ch>>map[i].r;
85 }
86 for(i=1;i<=n;i++)
87 {
88 if(ans[i]==-1)
89 {
90 if(finds()) i=0;
91 else break;
92 }
93 }
94 if(i>n)
95 {
96 for(i=1;i<=n;i++)
97 {
98 if(ans[i])
99 cout<<"on";
100 else
101 cout<<"off";
102 if(i!=n)
103 {
104 cout<<' ';
105 }
106 }
107 cout<<endl;
108 }else
109 cout<<"No solution"<<endl;
110 }
111 return 0;
112 }