結果

問題 No.2911 位相の公理
ユーザー katonyonkokatonyonko
提出日時 2024-10-04 22:29:41
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 416 ms / 2,000 ms
コード長 1,537 bytes
コンパイル時間 207 ms
コンパイル使用メモリ 82,216 KB
実行使用メモリ 77,380 KB
最終ジャッジ日時 2024-10-04 22:29:44
合計ジャッジ時間 3,349 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 40 ms
54,964 KB
testcase_01 AC 39 ms
56,432 KB
testcase_02 AC 40 ms
55,772 KB
testcase_03 AC 40 ms
55,012 KB
testcase_04 AC 38 ms
54,948 KB
testcase_05 AC 39 ms
55,912 KB
testcase_06 AC 39 ms
54,732 KB
testcase_07 AC 39 ms
55,888 KB
testcase_08 AC 40 ms
55,384 KB
testcase_09 AC 40 ms
56,528 KB
testcase_10 AC 39 ms
55,228 KB
testcase_11 AC 39 ms
55,456 KB
testcase_12 AC 39 ms
55,132 KB
testcase_13 AC 40 ms
55,976 KB
testcase_14 AC 40 ms
55,776 KB
testcase_15 AC 40 ms
56,844 KB
testcase_16 AC 40 ms
55,456 KB
testcase_17 AC 38 ms
55,716 KB
testcase_18 AC 57 ms
72,836 KB
testcase_19 AC 220 ms
76,760 KB
testcase_20 AC 363 ms
76,904 KB
testcase_21 AC 355 ms
76,804 KB
testcase_22 AC 71 ms
77,380 KB
testcase_23 AC 416 ms
77,144 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import io
import sys
from collections import defaultdict, deque, Counter
from itertools import permutations, combinations, accumulate
from heapq import heappush, heappop
from bisect import bisect_right, bisect_left
from math import gcd
import math

_INPUT = """\
6
1 1
0
1 1
1
1 2
0
1
3 4
000
011
110
111
"""

def input():
  return sys.stdin.readline()[:-1]

def solve(test):
  N,M=map(int, input().split())
  S=[input() for _ in range(M)]
  S=[sum([1<<j for j in range(N) if S[i][j]=='1']) for i in range(M)]
  S2=set(S)
  ans='Yes'
  if (1<<N)-1 not in S2 or 0 not in S2:
    ans='No'
  for i in range(M):
    if ans=='No':
      break
    for j in range(i+1,M):
      if S[i]&S[j] not in S2:
        ans='No'
        break
      if S[i]|S[j] not in S2:
        ans='No'
        break
  print(ans)

def random_input():
  from random import randint,shuffle
  N=randint(1,10)
  M=randint(1,N)
  A=list(range(1,M+1))+[randint(1,M) for _ in range(N-M)]
  shuffle(A)
  return (" ".join(map(str, [N,M]))+"\n"+" ".join(map(str, A))+"\n")*3

def simple_solve():
  return []

def main(test):
  if test==0:
    solve(0)
  elif test==1:
    sys.stdin = io.StringIO(_INPUT)
    case_no=int(input())
    for _ in range(case_no):
      solve(0)
  else:
    for i in range(1000):
      sys.stdin = io.StringIO(random_input())
      x=solve(1)
      y=simple_solve()
      if x!=y:
        print(i,x,y)
        print(*[line for line in sys.stdin],sep='')
        break

#0:提出用、1:与えられたテスト用、2:ストレステスト用
main(0)
0