2020年4月18日
4-18整理
摘要： 2-sat问题：设x1~xn为bool，给定m个逻辑表达式(形式为xi <逻辑运算> x2 = 值），求x1~xn的一组解，使得所有逻辑表达式成立：做法：建立2n个点，分别表示点n的true点和false点。连一条边，当且仅当根据一个逻辑表达式能绝对确定xi=true(or false)时xj的取值 阅读全文
posted @ 2020-04-18 15:06 梦中霜雪梨花白 阅读(92) 评论(0) 推荐(0) 编辑