本文为OpenDSA项目,允许转载,证书 我看到了一个幻灯片,相当的容易理解。地址在这里,相当清晰易懂的讲解了如何把一个规范的SAT问题(布尔可满足性问题)转换成3SAT问题。 这样的形式实在是非常的好,我觉得以后我也可以做一个网站像这样来展示我的观点,甚至可以把一些结果给直接做出来,伪装成命令行的形式。