Problem:
Score : 300 points

Problem Statement

There are N people numbered 1 to N. Each of them is either an honest person whose testimonies are always correct or an unkind person whose testimonies may be correct or not.

Person i gives A_i testimonies. The j-th testimony by Person i is represented by two integers x_{ij} and y_{ij}. If y_{ij} = 1, the testimony says Person x_{ij} is honest; if y_{ij} = 0, it says Person x_{ij} is unkind.

How many honest persons can be among those N people at most?

Constraints

All values in input are integers.

1 \leq N \leq 15

0 \leq A_i \leq N - 1

1 \leq x_{ij} \leq N

x_{ij} \neq i

x_{ij_1} \neq x_{ij_2} (j_1 \neq j_2)

y_{ij} = 0, 1

Input

Input is given from Standard Input in the following format:

N
A_1
x_{11} y_{11}
x_{12} y_{12}
:
x_{1A_1} y_{1A_1}
A_2
x_{21} y_{21}
x_{22} y_{22}
:
x_{2A_2} y_{2A_2}
:
A_N
x_{N1} y_{N1}
x_{N2} y_{N2}
:
x_{NA_N} y_{NA_N}

Output

Print the maximum possible number of honest persons among the N people.

Sample Input 1

3
1
2 1
1
1 1
1
2 0

Sample Output 1

2

If Person 1 and Person 2 are honest and Person 3 is unkind, we have two honest persons without inconsistencies, which is the maximum possible number of honest persons.

Sample Input 2

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

Sample Output 2

0

Assuming that one or more of them are honest immediately leads to a contradiction.

Sample Input 3

2
1
2 0
1
1 0

Sample Output 3

1

Solution in C (GCC 5.4.1) (judge verdict: Accepted)

#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_HUMAN_MAX		15										// 最大人数
#define D_TYPE_INI		-1										// タイプ - 初期値
#define D_TYPE_HON		1										// タイプ - 正直者
#define D_TYPE_UNK		0										// タイプ - 不親切

// 内部構造体 - 証言情報
typedef struct Evi {
	int miHNo;													// 人
	int miType;													// タイプ
} Evi;

// 内部変数
static FILE *szpFpI;											// 入力
static int siHCnt;												// 人数
static int si1ECnt[D_HUMAN_MAX];								// 証言数
static Evi sz2Evi[D_HUMAN_MAX][D_HUMAN_MAX];					// 証言
static int siMax;												// 最大人数

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// １行出力
int
fOutLine(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 検証 - 子関数
int
fJudgeK(
	int piHNo					// <I> 人
	, int piType				// <I> タイプ
	, int *pipType				// <O> タイプリスト
)
{
	int i, liRet;

	// セット済
	if (pipType[piHNo] != D_TYPE_INI) {
		if (pipType[piHNo] == piType) {			// 一致
			return 0;
		}
		else {									// 不一致
			return -1;
		}
	}

	// セット
	pipType[piHNo] = piType;

	// 正直者
	if (piType == D_TYPE_HON) {
		for (i = 0; i < si1ECnt[piHNo]; i++) {
			liRet = fJudgeK(sz2Evi[piHNo][i].miHNo, sz2Evi[piHNo][i].miType, pipType);
			if (liRet != 0) {
				return -1;
			}
		}
	}

	return 0;
}

// 検証
int
fJudge(
	int *pipType				// <I> タイプリスト
)
{
	int i, liRet;

	// 初期化
	int li1Type[D_HUMAN_MAX];
	memset(li1Type, D_TYPE_INI, sizeof(li1Type));
	for (i = 0; i < siHCnt; i++) {
		if (pipType[i] == D_TYPE_HON) {
			liRet = fJudgeK(i, D_TYPE_HON, li1Type);
			if (liRet != 0) {
				return -1;
			}
		}
	}

	// 正直者の人数 - 取得
	int liHCnt = 0;
	for (i = 0; i < siHCnt; i++) {
		if (pipType[i] == D_TYPE_HON) {
			liHCnt++;
		}
	}

	// 最大人数 - 更新
	if (siMax < liHCnt) {
		siMax = liHCnt;
	}

	return 0;
}

// タイプ - セット
int
fSetType(
	int piHNo					// <I> 人
	, int *pipType				// <O> タイプリスト
)
{
	// 終了
	if (piHNo >= siHCnt) {

		// 検証
		fJudge(pipType);

		return 0;
	}

	// 正直者
	pipType[piHNo] = D_TYPE_HON;
	fSetType(piHNo + 1, pipType);

	// 不親切
	pipType[piHNo] = D_TYPE_UNK;
	fSetType(piHNo + 1, pipType);

	return 0;
}

// 実行メイン
int
fMain(
)
{
	int i, j;
	char lc1Buf[1024];

	// 人数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siHCnt);

	// 証言数 - 取得
	for (i = 0; i < siHCnt; i++) {
		fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
		sscanf(lc1Buf, "%d", &si1ECnt[i]);

		// 証言 - 取得
		for (j = 0; j < si1ECnt[i]; j++) {
			fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
			sscanf(lc1Buf, "%d%d", &sz2Evi[i][j].miHNo, &sz2Evi[i][j].miType);
			sz2Evi[i][j].miHNo--;
		}
	}

	// タイプ - セット
	int li1Type[D_HUMAN_MAX];
	fSetType(0, li1Type);

	return 0;
}

// １回実行
int
fOne(
)
{
	int liRet;
	char lc1Buf[1024];

	// データ - 初期化
	siMax = 0;													// 最大人数

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	liRet = fMain();

	// 出力
	sprintf(lc1Buf, "%d\n", siMax);
	fOutLine(lc1Buf);

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}