摘要：该模板来自大白书【解释】给多个语句，每个语句为“ Xi为真(假) 或者 Xj为真(假)”每个变量和拆成两个点 2*i为假， 2*i+1为真“Xi为真 或 Xj为真” 等价于 “Xi为假 –> Xj为真”。DFS算法没有回溯过程。【函数说明】模板bfs函数在模板外一般用不到void init(int ... 阅读全文