AT_abc187_c [ABC187C] 1-SAT

题目描述

给定 $N$ 个字符串 $S_1,\ S_2,\ \dots,\ S_N$。每个字符串都是在一个由小写英文字母组成的非空字符串前面加上 $0$ 个或 $1$ 个 ! 字符得到的。
如果存在某个字符串 $T$，使得无论在 $T$ 前面加 $0$ 个还是 $1$ 个 !，都能与 $S_1,\ S_2,\ \dots,\ S_N$ 中的某个字符串完全一致，则称 $T$ 为“不满的字符串”。
请判断是否存在不满的字符串，如果存在，请输出其中任意一个。

输入格式

输入以以下格式从标准输入读入。

$N$
$S_1$
$\vdots$
$S_N$

输出格式

如果存在不满的字符串，输出其中任意一个。
如果不存在，输出 satisfiable。

输入输出样例 #1

输入 #1

6
a
!a
b
!c
d
!d

输出 #1

a

输入输出样例 #2

输入 #2

10
red
red
red
!orange
yellow
!blue
cyan
!green
brown
!gray

输出 #2

satisfiable

说明/提示

限制条件

• $1 \leq N \leq 2 \times 10^5$
• $1 \leq |S_i| \leq 10$
• $S_i$ 是在一个由小写英文字母组成的非空字符串前面加上 $0$ 个或 $1$ 个 ! 字符得到的。

样例解释 1

字符串 a，在前面加 $0$ 个 ! 时与 $S_1$ 相同，加 $1$ 个 ! 时与 $S_2$ 相同，因此 a 是不满的字符串。除了 a，输出 d 也是正确答案。

由 ChatGPT 4.1 翻译