网友聚会解答

 

网友聚会

某论坛想组织一次小规模的网友聚会，邀请论坛的n（1<=n<=4）个版主和论坛上m（1<=m<=10）个积极的网友参加。这m个网友是根据在论坛上的发文贡献从大到小排列后选出来的。组织者在论坛上公布了聚会计划，也按贡献大小公布了这m个网友的名单，然后逐个向这m个网友询问参加意向。有趣的是，这些网友都没有直接说参加还是不参加，而是声明了各自参加聚会的条件，而且这些条件只和版主以及贡献比自己大的那些网友是否参加有关。

组织者统计了一下，各种条件其实可以归纳为4类，每一类都和另外一个或两个人是否参加有关。如果用X和Y来表示某个版主或者某个网友，那么这4类条件是：

1） 我不参加，除非X和Y都参加。

2） 我参加，除非X和Y都不参加。

3） 如果X参加，那么我不参加，否则我参加。

4） 我参加，除非X去并且Y不去。

组织者发现，对于以上各类条件，只要确定了条件中X和Y是否参加，那么该网友是不是参加也就确定了。因此在上述4类条件下，该网友是否参加可分别用逻辑表达式X v Y、X ^ Y、~X和X > Y来表示，其中4个符号分别表示析取、合取、否定和推演。

组织者还发现，虽然各个论坛版主是否会参加聚会还不确定，但是根据各个网友声明的参加条件进行推理，其实有些网友一定不会参加聚会，而有些网友一定会参加聚会，当然还有一些网友是否参加最终要看各个版主的参加情况。

组织者请你写一个程序，由他输入各个网友声明的条件，请你输出各个网友的参加情况。输入格式是这样的：用P0、P1、…、Pn-1分别表示各个版主，用A0、A1、…、Am-1分别表示各个网友，且下标越小表示该网友贡献越大。程序的输入有多行，第一行是以空格分开的两个整数n和m，之后的m行依次描述各个网友声明的条件，并严格依照以下格式：

Ai空格Tj空格?空格Sk

其中Ai依次为A0、A1、…、Am-1；?可以为“~”、“>”、“^”或“v”之一；若?为“~”，则Tj为“X0”（表示只与后面Sk的参加情况有关），若?为“>”、“^”或“v”，则Tj为Aj（0<=j<i）或Pj（0<=j<n）；Sk为Ak（0<=k<i）或Pk（0<=k<n）。

程序的输出要求是以空格分开的m个整数（最后一个整数之后没有空格直接换行），分别表示A0、A1、…、Am-1的参加情况。不管各位版主的参加情况如何，如果该网友一定会参加聚会则用1表示，如果该网友一定不会参加聚会则用-1表示，如果必须根据版主的参加情况才能确定则用0表示。

【输入样例1】 1 2 A0 X0 ~ P0 A1 A0 v P0 【输出样例1】 0 1

【输入样例2】 3 4 A0 P0 > P1 A1 P1 > P2 A2 P2 > P3 A3 P0 > P3 【输出样例2】 0 0 0 0

【输入样例3】 2 3 A0 P0 > P1 A1 P1 > A0 A2 X0 ~ A1 【输出样例3】 0 1 -1

 #include <iostream>
using namespace std;

struct Condition
{
 char type; // 逻辑运算符
 char left; // 左项，X或P或A
 int i;  // 左项下标
 char right; // 右项，P或A
 int j;  // 右项下标
 bool value; // 真假的取值
};
Condition A[10]; // 记录表达式情况
int TrueTimes[10] = {0}; // 记录取真次数
bool P[4];  // 变元

void SetP(int i) // 枚举版主参加情况
{
 P[0] = bool(i & 0x1);
 P[1] = bool(i & 0x2);
 P[2] = bool(i & 0x4);
 P[3] = bool(i & 0x8);
}

bool LeftValue(const Condition &a) // 左项取值
{
 if (a.left == 'A')
  return A[a.i].value;
 else
  return P[a.i];
}

bool RightValue(const Condition &a) // 右项取值
{
 if (a.right == 'A')
  return A[a.j].value;
 else
  return P[a.j];
}

int OutValue(int allTimes, int trueTimes)
{
 if (trueTimes == 0)
  return -1;
 if (trueTimes == allTimes)
  return 1;
 return 0;
}

int main()
{
 int n, m;  // 读入n, m
 cin >> n >> m;

 char c;   // 辅助用
 for (int i = 0; i < m; i++)  // 读入m个逻辑表达式
  cin >> c >> c >> A[i].left >> A[i].i
  >> A[i].type >> A[i].right >> A[i].j;

 int allTimes = 1 << n; // 先计算总的枚举次数

 for (int i = 0; i < allTimes; i++)
 {  
  SetP(i); // 枚举版主参加情况

  // 依次计算网友参加情况
  for (int j = 0; j < m; j++)
  {
   switch (A[j].type)
   {
    case '~':
     A[j].value = !RightValue(A[j]);
     break;
    case '>':
     A[j].value = !LeftValue(A[j]) || RightValue(A[j]);
     break;
    case '^':
     A[j].value = LeftValue(A[j]) && RightValue(A[j]);
     break;
    case 'v':
     A[j].value = LeftValue(A[j]) || RightValue(A[j]);
     break;
   }
   if (A[j].value)  // 参加聚会
    TrueTimes[j] ++;
  }
 }

 cout << OutValue(allTimes, TrueTimes[0]);
 for (int i = 1; i < m; i++)
  cout << ' ' << OutValue(allTimes, TrueTimes[i]);
 cout << endl;
 
 return 0;
}