从入门到头秃周末休闲赛37诚实的人

题目链接

题目大意：有n个人，这些人分成两部分：1.诚实的，他说的话全是真实的。2.不友善的，他说的话可能是真也可能是假。
每个人说了ai句话：第i个人的第j句话是：x是y的，其中x表示一个人的编号，y是1或者0，表示诚实和不友善。现在问最多可能有多少人是诚实的。

解题思路：
看到了n的范围小于15，考虑二进制枚举出所有情况，然后分别加以判断。
例如有五个人，其中一种二进制枚举出的情况是00110，那么我们只需要判断第三和第四个人说的话是否矛盾即可，其余的人可以直接跳过。

判断思路：
如果a说x是诚实的，但是b说x是不友善的，那么当前枚举的情况不成立
如果a说x是诚实的，但是x在当前枚举的情况中是不友善的，那么当前枚举的情况不成立
如果a说x是不友善的，但是x在当前枚举的情况中是诚实的，那么当前枚举的情况不成立

AC代码：

struct node
{
    int p, y;
};
vector<node> vec[20]; //vec[i][j].p表示i的第j句话针对的是p，vec[i][j].y表示i的第j句话说p是y（y=1、0）
int a[20];
int all[35000][20]; //2的15次方<35000
int vis[20];
int main()
{
    int n;
    scanf("%d", &n);
    for (int i = 0; i < (1 << n); i++)
    {
        for (int j = 0; j < n; j++)
        {
            if (i & (1 << j))
                all[i][j + 1] = 1;
        }
    }
    for (int i = 1; i <= n; i++)
    {
        scanf("%d", &a[i]);
        for (int j = 1; j <= a[i]; j++)
        {
            int temp1, temp2;
            scanf("%d %d", &temp1, &temp2);
            vec[i].push_back(node{temp1, temp2});
        }
    }
    int ans = 0;

    for (int i = 0; i < (1 << n); i++)
    {
        int flag = 1;
        fill(vis, vis + 18, -1);
        for (int j = 1; j <= n; j++)
        {
            if (!all[i][j])
                continue;
            else
            {
                for (int k = 0; k < a[j]; k++)
                {
                    if (vec[j][k].y != vis[vec[j][k].p] && vis[vec[j][k].p] != -1)
                    {
                        flag = 0;
                        break;
                    }
                    if (vec[j][k].y && !all[i][vec[j][k].p])
                    {
                        flag = 0;
                        break;
                    }
                    if (!vec[j][k].y && all[i][vec[j][k].p])
                    {
                        flag = 0;
                        break;
                    }
                    if (vec[j][k].y)
                        vis[vec[j][k].p] = 1;
                    else
                        vis[vec[j][k].p] = 0;
                }
            }
            if (!flag)
                break;
        }
        if (flag)
        {
            int s = 0;
            for (int j = 1; j <= n; j++)
                s += all[i][j];
            ans = max(ans, s);
        }
    }
    printf("%d\n", ans);
    return 0;
}