摘要: 将多个变量询问的问题通过一些暴力的方法转化成 $2-SAT$ 问题进行求解。 阅读全文
posted @ 2024-07-11 10:56 tanghg 阅读(18) 评论(0) 推荐(0) 编辑