結果

問題 No.2270 T0空間
ユーザー MasKoaTS
提出日時 2023-02-23 13:35:07
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 817 bytes
コンパイル時間 147 ms
コンパイル使用メモリ 82,380 KB
実行使用メモリ 96,744 KB
最終ジャッジ日時 2024-07-23 09:55:47
合計ジャッジ時間 5,489 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 12 WA * 10
権限があれば一括ダウンロードができます

ソースコード

diff # 

# 入出力のみ

import sys
input = sys.stdin.readline

def solve():
	n = int(input())
	m = int(input())
	ZEROS = ''.join(['0'] * (256 - n))
	ONES = ''.join(['1'] * n)
	s = ''.join([ZEROS, ONES])
	LIS = [int(s[j << 6: (j + 1) << 6], 2) for j in range(4)]
	lis = [[] for _ in [0] * m]
	for i in range(m):
		s = ''.join([ZEROS, input().rstrip()])
		lis[i] = [int(s[j << 6: (j + 1) << 6], 2) for j in range(4)]

	print("Yes")
	exit()
	
	for i in range(n):
		a = LIS[:]
		b = [0] * 4
		p = 3 - (i >> 6)
		q = i & 63
		for j in range(m):
			if((lis[j][p] >> q) & 1):
				for k in range(4):
					a[k] &= lis[j][k]
			else:
				for k in range(4):
					b[k] |= lis[j][k]
		for j in range(4):
			# print(bin(a[j]), bin(~(b[j] | (1 << q)))
			if(a[j] & ~(b[j] | (1 << q))):
				print("No")
				exit(0)
	print("Yes")

solve()
0