結果

問題 No.2121 帰属関係と充足可能性
ユーザー googol_S0
提出日時 2022-11-04 21:32:20
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 585 bytes
コンパイル時間 173 ms
コンパイル使用メモリ 82,184 KB
実行使用メモリ 64,896 KB
最終ジャッジ日時 2024-07-18 19:15:36
合計ジャッジ時間 2,985 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 43 WA * 5 RE * 1
権限があれば一括ダウンロードができます

ソースコード

diff # 

N=int(input())
A=list(map(int,input().split()))
E=[[0]*3 for i in range(3)]
E[A[2]][A[1]]=1
E[A[2]][A[3]]=1
E[A[2]][A[4]]=1
E[A[0]][A[5]]=1
for i in range(3):
  if E[i][i]==1:
    print('NO')
    exit()
  for j in range(3):
    if E[i][j]==1 and E[j][i]==1:
      print('NO')
      exit()
    if E[i][j]==1 and N==0:
      print('NO')
      exit()
    for k in range(3):
      if E[i][j]==1 and E[j][k]==1 and E[k][i]==1:
        print('NO')
        exit()
      if E[i][j]==1 and E[j][k]==1 and N==1:
        print('NO')
        exit()
if A[0]==A[1]:
  print('YES')
  exit()
assert(0)
0