結果

問題 No.2121 帰属関係と充足可能性
コンテスト
ユーザー googol_S0
提出日時 2022-11-04 21:31:39
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 631 bytes
コンパイル時間 182 ms
コンパイル使用メモリ 82,432 KB
実行使用メモリ 52,480 KB
最終ジャッジ日時 2024-07-18 19:14:58
合計ジャッジ時間 3,216 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 44 WA * 5
権限があれば一括ダウンロードができます

ソースコード

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()
if E[A[0]][A[1]]==1:
  print('NO')
else:
  print('YES')
0