社区讨论

关于2-SAT

学术版参与者 3已保存回复 4

讨论操作

快速查看讨论及其快照的属性,并进行相关操作。

当前回复
4 条
当前快照
1 份
快照标识符
@lp88bl7p
此快照首次捕获于
2023/11/21 19:05
2 年前
此快照最后确认于
2023/11/21 20:41
2 年前
查看原帖
有个问题,就是为什么缩完点之后对于 iii+ni+n 要输出所属连通块越小的哪一个?qwq.

回复

4 条回复,欢迎继续交流。

正在加载回复...