求一些不是npc问题的k-sat问题
  • 板块学术版
  • 楼主remake03
  • 当前回复3
  • 已保存回复3
  • 发布时间2024/3/10 20:05
  • 上次更新2024/3/10 22:11:10
查看原帖
求一些不是npc问题的k-sat问题
716390
remake03楼主2024/3/10 20:05

例如要求 kk 个点恰好有一个为真，就可以 2-sat 解决。

萌新刚学 2-sat，有无更多可以解决的 k-sat 相关问题qwq

2024/3/10 20:05