摘要: POJ 3678 2 SAT "题目链接" Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a boolean operator op (one of AND, OR, XO 阅读全文
posted @ 2018-06-13 19:54 Q1143316492 阅读(127) 评论(0) 推荐(0) 编辑