AT_abc187_c.[ABC187C] 1-SAT

普及-

通过率：0%

AC君温馨提醒

该题目为【atcoder】题库的题目，您提交的代码将被提交至atcoder进行远程评测，并由ACGO抓取测评结果后进行展示。由于远程测评的测评机由其他平台提供，我们无法保证该服务的稳定性，若提交后无反应，请等待一段时间后再进行重试。

题目描述

给定 $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
```
6
a
!a
b
!c
d
!d
```
输出#1
```
a
```

输入#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 翻译

输入解题思路，AI测评打分。不知道怎么写?

首页