#2926. HonestOrUnkind2

0
    ID: 2926 传统题 2000ms 1024MiB 尝试: 0 已通过: 0 难度: 3 上传者: 标签>AtCoderabc147CGESP 5级位运算(复杂)枚举(双层循环)

HonestOrUnkind2

HonestOrUnkind2

题目描述

有 NN 个人,编号为 11 到 NN。他们中的每个人要么是证词总是正确的诚实者,要么是证词可能正确也可能不正确的不诚实者。 第 ii 个人给出 AiA_i 条证词。第 ii 个人的第 jj 条证词由两个整数 xijx_{ij} 和 yijy_{ij} 表示。如果 yij=1y_{ij} = 1,该证词表示第 xijx_{ij} 个人是诚实的;如果 yij=0y_{ij} = 0,则表示第 xijx_{ij} 个人是不诚实的。 在这 NN 个人中,最多有多少个诚实的人?

输入格式

输入按以下格式由标准输入给出: NN A1A_1 x11x_{11} y11y_{11} x12x_{12} y12y_{12} : x1A1x_{1A_1} y1A1y_{1A_1} A2A_2 x21x_{21} y21y_{21} x22x_{22} y22y_{22} : x2A2x_{2A_2} y2A2y_{2A_2} : ANA_N xN1x_{N1} yN1y_{N1} xN2x_{N2} yN2y_{N2} : xNANx_{NA_N} yNANy_{NA_N}

输出格式

输出在这 NN 个人中最多可能的诚实人数。

3
1
2 1
1
1 1
1
2 0
2
3
2
2 1
3 0
2
3 1
1 0
2
1 1
2 0
0
2
1
2 0
1
1 0
1

提示

输入中的所有值均为整数。 1≤N≤151 \leq N \leq 15 0≤Ai≤N−10 \leq A_i \leq N - 1 1≤xij≤N1 \leq x_{ij} \leq N xij≠ix_{ij} \neq i xij1≠xij2(j1≠j2)x_{ij_1} \neq x_{ij_2} (j_1 \neq j_2) yij=0,1y_{ij} = 0, 1如果第 11 个人和第 22 个人是诚实的,第 33 个人是不诚实的,那么我们有两位诚实的人且没有矛盾,这是最多可能的诚实人数。
假设其中一人或多人是诚实的会立即导致矛盾。

标签: AtCoder|abc147C

来源

AtCoder|abc147C