結果

問題 No.941 商とあまり
ユーザー QCFium
提出日時 2019-09-15 18:33:03
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 1,044 bytes
コンパイル時間 155 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 316,280 KB
最終ジャッジ日時 2024-11-21 04:56:51
合計ジャッジ時間 130,215 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 6
other AC * 64 TLE * 40
権限があれば一括ダウンロードができます

ソースコード

diff # 


def solve(n, x, a) :
	if n == 1 :
		s = '0' * x
		if a[0] <= x : s = s[:a[0]-1] + '1' + s[a[0]:]
		return s
	a.sort()
	prod = 1
	for i in range(n) :
		prod *= a[i] + 1
		if prod > x + 1 : return '0' * x
	if 1 in a :
		return '0' * (prod - 2) + '1' * (x - prod + 2)
	size = [(x + 1) // (3 ** (n - i)) for i in range(n + 1)]
	dp = [[False] * (size[bin(i).count("1")]) for i in range(1 << n)]
	for i in range(n) : dp[2 ** i][a[i]] = True
	for i in range(1 << n) :
		cur_sz = len(dp[i])
		for j in range(n) :
			if i >> j & 1 : continue
			tmp = [False for i in range(len(dp[i | 1 << j]))]
			for k in range(cur_sz) :
				target = (k + 1) * (a[j] + 1) - 1
				if dp[i][k] and target < len(tmp) : tmp[target] = True
			for k in range(len(tmp) - a[j]) :
				if tmp[k] : tmp[k + a[j]] = True
			for k in range(len(tmp)) :
				if tmp[k] : dp[i | 1 << j][k] = True

	res = ''
	for i in range(x) : res += '1' if dp[(1 << n) - 1][i + 1] else '0';
	return res


n, x = map(int, input().split())
a = list(map(int, input().split()))
print(solve(n, x, a))
0