2015年10月20日
LA 5010 Go Deeper 2-SAT 二分
摘要： 题意： 有$n$个布尔变量$x_i$，有一个递归函数。如果满足条件$x[a[dep]] + x[b[dep]] \neq c[dep]$，那么就再往深递归一层。 问最多能递归多少层。 分析： 首先二分能递归的深度，然后在2 SAT中添加相应的约束条件。 约束条件是这样添加的，对于两个布尔变量$x... 阅读全文
posted @ 2015-10-20 10:48 AOQNRMGYXLMV 阅读(146) 评论(0) 推荐(0) 编辑