摘要: 考虑2-SAT建图,设$a[i][0..1]$表示$i$变不变,$b[i][0..1]$表示$i$是下降还是上升。 首先相邻的不能同时动,说明$a[i]$和$a[i+1]$里最多选一个。 对于$x$和$y$要相等,假设$s[x]\geq s[y]$。 $1.$若$s[x]-s[y]=3$,则视为$1 阅读全文
posted @ 2017-07-16 04:50 Claris 阅读(293) 评论(0) 推荐(0) 编辑