#2260. 等式方程的可满足性
等式方程的可满足性
说明
给定 个表示变量之间关系的字符串 ,其长度为 ,有以下两种形式:"a==b"
或"a!=b"
。在这里,a
和 b
是小写字母(可能相同),表示单字母变量名。
只有当可以将整数分配给变量名,以便满足所有给定的方程时才输出 YES
,否则输出 NO
。
格式
输入
第一行一个整数 。 接下来 行,每行一个长度为 的字符串。
输出
YES
或者 NO
。
样例
2
a==b
b!=a
NO
2
b==a
a==b
YES
3
a==b
b==c
a==c
YES
提示
样例说明
样例一
如果我们指定, 且 ,那么可以满足第一个方程,但无法满足第二个方程。没有办法分配变量同时满足这两个方程。
样例二
我们可以指定 且 以满足满足这两个方程。
数据范围
- 字符串长度为
- 字符串头尾字符为小写字母
- 字符串中间部分为
==
或者!=