C. 证词筛选

    传统题 1000ms 256MiB

证词筛选

该比赛已结束,您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

证词筛选

题目描述

调查员收集了 NN 个人的证词,这些人的编号依次为 11 到 NN。每个人要么是诚实者,要么是不诚实者。诚实者的每条证词都正确;不诚实者的证词可以正确,也可以错误。

第 ii 个人给出了 AiA_i 条证词。他的第 jj 条证词用两个整数 xijx_{ij} 和 yijy_{ij} 表示:当 yij=1y_{ij}=1 时,他声称第 xijx_{ij} 个人是诚实者;当 yij=0y_{ij}=0 时,他声称第 xijx_{ij} 个人是不诚实者。

调查员还掌握了一条可靠信息:第 SS 个人一定是不诚实者。

请确定每个人的身份,使所有诚实者的证词都正确,并满足这条可靠信息。在所有可能的身份安排中,最多有多少个诚实者?

输入格式

第一行输入两个整数 NN 和 SS,满足 1≤N≤151\le N\le15、1≤S≤N1\le S\le N。

接下来依次输入第 11 到第 NN 个人的证词。对于每个 ii,先用一行输入整数 AiA_i,满足 0≤Ai≤N−10\le A_i\le N-1;随后输入 AiA_i 行,第 jj 行包含两个整数 xijx_{ij} 和 yijy_{ij}。

对于所有 1≤i≤N1\le i\le N、1≤j≤Ai1\le j\le A_i,保证 1≤xij≤N1\le x_{ij}\le N、xij≠ix_{ij}\ne i,且 yijy_{ij} 为 00 或 11。同一个人不会对同一对象重复作证,即对于固定的 ii 和任意 1≤j1<j2≤Ai1\le j_1<j_2\le A_i,均有 xij1≠xij2x_{ij_1}\ne x_{ij_2}。

输入中的所有数均为整数。若 Ai=0A_i=0,该人的证词部分只有一行 00。

输出格式

输出一个整数,表示最多可能有多少个诚实者。允许所有人都不诚实,此时诚实者人数为 00。

输入输出样例

输入 #1

4 4
1
2 1
2
1 1
4 0
1
2 0
1
1 1

输出 #1

2

样例解释 #1

可以让 11、22 号人成为诚实者,33、44 号人成为不诚实者。11 号人说 22 号人诚实;22 号人说 11 号人诚实、44 号人不诚实,这些证词都成立。

44 号人虽然不诚实,他所说的“11 号人诚实”仍然可以是真的。33 号人不能与 22 号人同时诚实,因为他声称 22 号人不诚实。因此,除去必须不诚实的 44 号人,剩下三个人也不能全部诚实,答案为 22。

输入 #2

3 2
1
2 1
1
3 0
1
1 1

输出 #2

0

样例解释 #2

22 号人必须不诚实。11 号人声称 22 号人诚实,所以 11 号人也不能诚实。接着,33 号人声称 11 号人诚实,因此 33 号人同样不能诚实。三个人都不诚实时满足要求,答案为 00。

【睿爸信奥】入门组算法周赛(20260912)

未参加
状态
已结束
规则
IOI
题目
4
开始于
2026-9-12 0:00
结束于
2026-9-19 0:00
持续时间
168 小时
主持人
参赛人数
14