結果

問題 No.3311 フィルター
コンテスト
ユーザー sasa8uyauya
提出日時 2025-10-27 09:30:33
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 621 ms / 2,000 ms
コード長 611 bytes
コンパイル時間 488 ms
コンパイル使用メモリ 82,660 KB
実行使用メモリ 101,328 KB
最終ジャッジ日時 2025-10-27 09:30:38
合計ジャッジ時間 5,053 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 21
権限があれば一括ダウンロードができます

ソースコード

diff # 

n,m=map(int,input().split())
c=[0]*(1<<n)
for i in range(m):
  c[int(input(),2)]=1
if c[0]:
  print("No")
  exit()
q=c[:]
for j in range(n):
  for i in reversed(range(1<<n)):
    if (i>>j)&1==0:
      q[i]&=q[i|(1<<j)]
if not all((not c[i]) or q[i] for i in range(1<<n)):
  print("No")
  exit()
q=c[:]
for j in range(n):
  for i in reversed(range(1<<n)):
    if (i>>j)&1==0:
      q[i]+=q[i|(1<<j)]
for i in range(1<<n):
  q[i]**=2
for j in range(n):
  for i in range(1<<n):
    if (i>>j)&1==0:
      q[i]-=q[i|(1<<j)]
if not all((not (q[i]>0)) or c[i] for i in range(1<<n)):
  print("No")
  exit()
print("Yes")
0