結果
| 問題 | No.2236 Lights Out On Simple Graph | 
| コンテスト | |
| ユーザー |  pengin_2000 | 
| 提出日時 | 2023-03-03 22:47:54 | 
| 言語 | C (gcc 13.3.0) | 
| 結果 | 
                                RE
                                 
                             | 
| 実行時間 | - | 
| コード長 | 1,372 bytes | 
| コンパイル時間 | 880 ms | 
| コンパイル使用メモリ | 32,256 KB | 
| 実行使用メモリ | 27,548 KB | 
| 最終ジャッジ日時 | 2024-09-17 23:56:08 | 
| 合計ジャッジ時間 | 17,367 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 15 WA * 1 RE * 41 | 
ソースコード
#include<stdio.h>
long long int popcount(long long int n)
{
	long long int res = 0;
	for (; n > 0; n /= 2)
		res += n % 2;
	return res;
}
long long int a[44], b[44], c[44];
long long int dp1[1100006], dp2[1100006];
long long int dp3[1100006];
int main()
{
	long long int n, m;
	scanf("%lld %lld", &n, &m);
	long long int i, j, k;
	for (i = 0; i < m; i++)
	{
		scanf("%lld %lld", &a[i], &b[i]);
		a[i]--;
		b[i]--;
	}
	for (i = 0; i < n; i++)
		scanf("%lld", &c[i]);
	for (i = 0; i < (1 << (m / 2)); i++)
	{
		dp1[i] = 0;
		for (k = 0; k < m / 2; k++)
		{
			if ((i & (1 << k)) == 0)
				continue;
			dp1[i] ^= (1 << a[k]);
			dp1[i] ^= (1 << b[k]);
		}
	}
	for (i = 0; i < (1 << (m - m / 2)); i++)
	{
		dp2[i] = 0;
		for (k = m / 2; k < m; k++)
		{
			if ((i & (1 << (k - m / 2))) == 0)
				continue;
			dp2[i] ^= (1 << a[k]);
			dp2[i] ^= (1 << b[k]);
		}
	}
	for (i = 0; i < (1 << n); i++)
		dp3[i] = -1;
	for (i = 0; i < (1 << (m - m / 2)); i++)
	{
		if (dp3[dp2[i]] < 0)
			dp3[dp2[i]] = popcount(i);
		else if (dp3[dp2[i]] > popcount(i))
			dp3[dp2[i]] = popcount(i);
	}
	long long int ans = -1, cc = 0;
	for (i = 0; i < n; i++)
		cc ^= c[i] * (1 << i);
	for (i = 0; i < (1 << (m / 2)); i++)
	{
		if (dp3[cc ^ dp1[i]] < 0)
			continue;
		if (ans<0 || ans>dp3[cc ^ dp1[i]] + popcount(i))
			ans = dp3[cc ^ dp1[i]] + popcount(i);
	}
	printf("%lld\n", ans);
	return 0;
}
            
            
            
        