結果

問題 No.2121 帰属関係と充足可能性
ユーザー ygussany
提出日時 2022-11-04 22:11:52
言語 C(gnu17)
(gcc 15.3.0)
コンパイル:
gcc-15 -O2 -fplugin=/usr/lib/yukicoder/noavx512-gcc15.so -std=gnu17 -Wno-error=implicit-function-declaration -Wno-error=implicit-int -Wno-error=incompatible-pointer-types -Wno-error=int-conversion -DONLINE_JUDGE -o a.out _filename_ -lm
実行:
./a.out
結果
AC  
実行時間 0 ms / 2,000 ms
+ 895µs
コード長 292 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 138 ms
コンパイル使用メモリ 38,384 KB
実行使用メモリ 9,888 KB
最終ジャッジ日時 2026-10-23 10:15:46
合計ジャッジ時間 2,098 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge4_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 50
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include <stdio.h>

int main()
{
	int i, N, A[6];
	scanf("%d", &N);
	for (i = 0; i < 6; i++) scanf("%d", &(A[i]));
	if (N <= 2 || A[0] != A[1] || A[1] == A[2] || A[2] == A[3] || A[2] == A[4] || A[0] == A[5] || A[2] == A[5]) printf("NO\n");
	else printf("YES\n");
	fflush(stdout);
	return 0;
}
0