求一个简单的证明
  • 板块灌水区
  • 楼主pengbonan
  • 当前回复1
  • 已保存回复1
  • 发布时间2024/11/27 18:33
  • 上次更新2024/11/27 20:22:49
查看原帖
求一个简单的证明
1005693
pengbonan楼主2024/11/27 18:33

为什么 2-SAT 有解时取所在强连通分量的编号较小的那个必然为一种解

2024/11/27 18:33