社区讨论

关于2-SAT的一个疑问

2026/02/23 17:29学术版参与者 3已保存回复 3

讨论操作

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

当前回复: 3 条
当前快照: 1 份
快照标识符: @mlyz7u48
此快照首次捕获于: 2026/02/23 17:30
此快照最后确认于: 2026/02/23 21:24

2-SAT能否在一个合理的时间复杂度内求出至多可以赋值多少个true

回复

共 3 条回复，欢迎继续交流。

正在加载回复...