求助2-sat

回复帖子

@Imitators 2021-05-05 10:53 回复

2-sat 问题能求解使得 $\sum x_i=true$ 最大的一组解吗,或者只求出这个 $\sum x_i=true$ 最大值

@SharpnessV  2021-05-05 11:18 回复 举报

再拓扑一遍?如果 $x$ 能到达 $\neg x$ 或 $\neg x$ 能到达 $x$ 那么这一位是确定的,否则指定 $x=true$ 。

反馈
如果你认为某个帖子有问题,欢迎向洛谷反馈,以帮助更多的同学。



请具体说明理由,以增加反馈的可信度。