摘要: 将多个变量询问的问题通过一些暴力的方法转化成 2SAT 问题进行求解。 阅读全文
posted @ 2024-07-11 10:56 tanghg 阅读(32) 评论(0) 推荐(0) 编辑
点击右上角即可分享
微信分享提示