14 平面3SAT是NP完全的。平面3SAT实例是3SAT实例，对于该3SAT实例，使用以下规则构建的图形是平面的： X一世X一世X一世¯X一世¯ 为每个子句添加一个顶点CĴCĴ （x一世，X一世¯）（X一世，X一世¯） X一世X一世X一世¯X一世¯ （x1个，X2），（X2，X3），。。。，（xñ，X1个）（X1个，X2），（X2，X3），。。。，（Xñ，X1个） 特别是，规则5构建了一个“主干”，将子句拆分为两个不同的区域。 平面1合3 SAT也是NP完全的。 （x一世，X我+ 1）（X一世，X一世+1个） np-complete reductions satisfiability 3-sat — Vor source 1 万一有人在寻找能显示出平面1合3SAT硬度（强度较低的版本）硬度的纸张，以防万一。这是一个链接：dl.acm.org/citation.cfm?doid=1137856.1137859从他们的证明中，您可以看到很容易满足“骨干”要求。 — sud03r
8 是的你可以。实际上，您甚至可以证明更强的东西是正确的。如Mulzer和Rote所示，称为正平面1-in-3-SAT的问题是NP完全的。 在此版本的1-in-3-SAT中，您需要为每个输入公式 每个子句有三个变量，没有一个被否定 即使在变量顶点之间添加“主干”，公式的图形也是平面的 减少来自平面3-SAT。 — 舒尔茨 source