社区讨论
关于2-SAT
学术版参与者 2已保存回复 2
讨论操作
快速查看讨论及其快照的属性，并进行相关操作。
- 当前回复
- 2 条
- 当前快照
- 1 份
- 快照标识符
- @m2exsmo7
- 此快照首次捕获于
- 2024/10/19 00:21 去年
- 此快照最后确认于
- 2025/11/04 16:53 4 个月前
在tarjan缩点之后，为什么在输出可行解的时候，要输出拓扑序大的点？有没有什么图可以证明一下？
回复
共 2 条回复，欢迎继续交流。
正在加载回复...
社区讨论
快速查看讨论及其快照的属性，并进行相关操作。
共 2 条回复，欢迎继续交流。