100 atcoder#ABC147C. [ABC147C] HonestOrUnkind2

[ABC147C] HonestOrUnkind2

配点 : 300300

問題文

11 から NN までの番号がついた NN 人の人がいます。彼らはみな、必ず正しい証言を行う「正直者」か、真偽不明の証言を行う「不親切な人」のいずれかです。

iiAiA_i 個の証言を行っています。人 iijj 個目の証言は 22 つの整数 xijx_{ij} , yijy_{ij} で表され、yij=1y_{ij} = 1 のときは「人 xijx_{ij} は正直者である」という証言であり、yij=0y_{ij} = 0 のときは「人 xijx_{ij} は不親切な人である」という証言です。

この NN 人の中には最大で何人の正直者が存在し得るでしょうか?

制約

  • 入力は全て整数
  • 1N151 \leq N \leq 15
  • 0AiN10 \leq A_i \leq N - 1
  • 1xijN1 \leq x_{ij} \leq N
  • xijix_{ij} \neq i
  • xij1xij2(j1j2)x_{ij_1} \neq x_{ij_2} (j_1 \neq j_2)
  • yij=0,1y_{ij} = 0, 1

入力

入力は以下の形式で標準入力から与えられる。

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}

出力

存在し得る正直者の最大人数を出力せよ。

3
1
2 1
1
1 1
1
2 0
2

11 と人 22 が正直者であり、人 33 が不親切な人であると仮定すると、正直者は 22 人であり、矛盾が生じません。これが存在し得る正直者の最大人数です。

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

11 人でも正直者が存在すると仮定すると、直ちに矛盾します。

2
1
2 0
1
1 0
1