結果
| 問題 |
No.2121 帰属関係と充足可能性
|
| コンテスト | |
| ユーザー |
👑 |
| 提出日時 | 2022-08-28 16:30:33 |
| 言語 | C++17(gcc12) (gcc 12.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 13 ms / 2,000 ms |
| コード長 | 512 bytes |
| コンパイル時間 | 500 ms |
| コンパイル使用メモリ | 65,876 KB |
| 最終ジャッジ日時 | 2025-02-06 22:23:20 |
|
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 49 |
ソースコード
#include <iostream>
#include <string>
#include <stdio.h>
#include <stdint.h>
using namespace std;
using ll = long long;
#define CIN( LL , A ) LL A; cin >> A
#define RETURN( ANSWER ) cout << ( ANSWER ) << endl; return 0
int main()
{
CIN( ll , N );
if( N < 3 ){
RETURN( "NO" );
}
CIN( ll , A0 );
CIN( ll , A1 );
CIN( ll , A2 );
CIN( ll , A3 );
CIN( ll , A4 );
CIN( ll , A5 );
RETURN( A0 != A2 && A1 != A2 && A3 != A2 && A4 != A2 && A5 != A2 && A5 != A0 && A5 != A1 ? "YES" : "NO" );
}