結果

問題 No.792 真理関数をつくろう
コンテスト
ユーザー bal4u
提出日時 2019-07-10 09:57:24
言語 C
(gcc 13.3.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 1,196 bytes
コンパイル時間 664 ms
コンパイル使用メモリ 30,592 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-14 14:07:35
合計ジャッジ時間 1,534 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 22
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.c: In function 'in':
main.c:7:14: warning: implicit declaration of function 'getchar_unlocked' [-Wimplicit-function-declaration]
    7 | #define gc() getchar_unlocked()
      |              ^~~~~~~~~~~~~~~~
main.c:15:24: note: in expansion of macro 'gc'
   15 |         int n = 0, c = gc();
      |                        ^~
main.c: In function 'out':
main.c:8:15: warning: implicit declaration of function 'putchar_unlocked' [-Wimplicit-function-declaration]
    8 | #define pc(c) putchar_unlocked(c)
      |               ^~~~~~~~~~~~~~~~
main.c:25:21: note: in expansion of macro 'pc'
   25 |         while (i--) pc(b[i]);
      |                     ^~

ソースコード

diff # 

// yukicoder: No.792 真理関数をつくろう
// 2019.7.10 bal4u

#include <stdio.h>

#if 1
#define gc() getchar_unlocked()
#define pc(c) putchar_unlocked(c)
#else
#define gc() getchar()
#define pc(c) putchar(c)
#endif

int in() {   // 非負整数の入力
	int n = 0, c = gc();
	do n = 10 * n + (c & 0xf); while ((c = gc()) >= '0');
	return n;
}

void out(int n) { // 正整数の表示（出力）
	int i;
	char b[20];

	i = 0; while (n) b[i++] = n % 10 + '0', n /= 10;
	while (i--) pc(b[i]);
}

void outs(char *s) { while (*s) pc(*s++); }

int N;
char q[4100][13];
char r[4100];

int main()
{
	int i, p, t, f, r0, r1, lim;

	N = in(), lim = 1 << N, r0 = 0, r1 = 1;
	for (i = 1; i <= lim; i++) {
		for (p = 1; p <= N; p++) q[i][p] = gc() & 1, gc();
		r[i] = t = gc() & 1, gc(), r0 |= t, r1 &= t;
	}
	if (r0 == 0) outs("A=⊥");
	else if (r1 == 1) outs("A=⊤");
	else {
		outs("A="), f = 0;
		for (i = 1; i <= lim; i++) if (r[i]) {
			if (f) outs("∨"); else f = 1;
			pc('(');
			if (q[i][1]) outs("P_1"); else outs("¬P_1");
			for (p = 2; p <= N; p++) {
				outs("∧");
				if (q[i][p]) outs("P_"), out(p);
				else outs("¬P_"), out(p);
			}
			pc(')');
		}
	}
	pc('\n');
	return 0;
}
0