摘要: 解 思考怎么去刻画这个赋值操作。 对每个变量\(i\) 维护一个 \(val_i\) 表示 \(i\) 的值(\(0\) 为 \(U\)、\(1\) 为 \(T\)、\(-1\) 为 \(F\)),同时对每个变量 \(i\) 维护一个 \(cs_i\) 表示 \(i\) 是否被确定为 \(U\)、\ 阅读全文
posted @ 2025-08-15 10:05 咚咚的锵 阅读(18) 评论(0) 推荐(0)