摘要：提供 $k$ 个变量 $(k\leq 4)$ 可独立取值为 $0,1$，两种运算分别等价于 $\neg a$ 和 $\neg a \lor b$ 。 你需要恰好使用 $n$ 个运算符构造一个公式 $Q$ ，一共 $m$ 组询问 $(m\leq 500)$，每次寻味有给定一个恰好含有一个 $Q$ 的公 阅读全文

摘要：题目大意：给定一个长为$n$($n\leq 10^6$)的序列S，定义一个合法的五元组$(a,b,c,d,e)$合法当且仅当 $$ ( S_a \mid S_b ) and S_c and ( S_d \bigotimes S_e ) = 2^k $$ $$ S_a and S_b = 0 $$ 对 阅读全文