512MB,1S
红石计算机
问题描述
[山谷村长]gbakkk5951 并没有做过红石计算机,所以导致原型机漏洞百出,,
他想通过输出数据是否能由某一组输入生成来更(dan)好(teng)地验证其正确性。
已知输入有 N 个数(编号 1 到 N)组成,和 M 次运算的结果,且所有数的二进制
表示都有 K 位,gbakkk5951 想知道是否存在一组输入数据使得所有的输出结果
都被满足。
输入描述
第 1 行 3 个整数 N,M,K
接下来 M 行,每行 1 个一整数 A,一个运算符(一字节)op,一个整数 B(中间
有空格),一个空格,一个 K 位二进制整数 C,表示第 A 个数 op 第 B 个数=C
若 op 为 ^ 表示异或
若 op 为 & 表示位与
若 op 为 | 表示位或
输出描述
若果(存在一组输入使得所有 M 个关系都被满足){
输出 N 行,每行一个二进制整数,表示第 i 号数的取值。(如果有多种方案
请任意输出一组)
}否则{
若果(存在最坏复杂度为多项式的 2-SAT 方案数统计算法){
输出一行 Exist
}否则{
输出一行 No
}
}
评论0