2018年9月17日
Katu Puzzle(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, XOR) and an integer 阅读全文
posted @ 2018-09-17 21:32 行远山 阅读(113) 评论(0) 推荐(0) 编辑