_ajthreac_

摘要： 题目 0.定义 先定义$k-SAT$问题： 给出$n$个数和$m$个形如$x_1\oplus x_2\oplus\cdots\oplus x_k=0/1$的关系式（$\oplus$为$\land ,\lor$等运算符），询问是否有解，如果有解，求出$x_1,x_2,\cdots ,x_k$的值。 $ 阅读全文