結果

問題 No.3311 フィルター
コンテスト
ユーザー titia
提出日時 2025-10-28 02:39:28
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 91 ms / 2,000 ms
コード長 619 bytes
コンパイル時間 330 ms
コンパイル使用メモリ 82,632 KB
実行使用メモリ 92,668 KB
最終ジャッジ日時 2025-10-28 02:39:31
合計ジャッジ時間 2,828 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 21
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = sys.stdin.readline

N,M=map(int,input().split())
A=[0]*(1<<N)
B=[0]*(1<<N)
X=[]
for i in range(M):
    S=input().strip()
    a=int(S,2)
    A[a]=1


if A[0]==1:
    print("No")
    exit()

for i in range(1<<N):
    if A[i]==1:
        if B[i]==0:
            X.append(i)
        for j in range(N):
            if A[i|(1<<j)]==0:
                print("No")
                exit()
            else:
                B[i|(1<<j)]=1

for i in range(len(X)):
    for j in range(i+1,len(X)):
        x=X[i]
        y=X[j]

        if A[x&y]==0:
            print("No")
            exit()

print("Yes")
0