【问题标题】:How to convert SAT formula to 3SAT format?如何将SAT公式转换为3SAT格式?
【发布时间】:2021-04-16 01:48:28
【问题描述】:

我很难理解什么是 NP Completion。由于我的一位教授没有很好地向我解释他们给我们的这个示例问题。如果有人知道这个解决方案,请向我解释一下,以便我能够学习。 Here the equation that I was having trouble on! Please take a look.

【问题讨论】:

    标签: algorithm computer-science np-complete


    【解决方案1】:

    如果您的子句 C 的字面量太少,可以将其替换为 (C ∨ x) ∧ (C ∨ x′),其中 x 是一个新变量。

    如果你有一个子句 C 的字面量太多,你可以先把它拆分为 C = C0 ∨ C1,把一半的字面量放在 C0 里,另一半放在 C1 里,然后返回合取法式将 C 替换为 (C0 ∨ x) ∧ (C1 ∨ x′)。

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 2022-08-08
      • 2022-12-04
      • 2019-05-22
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 2012-12-12
      • 1970-01-01
      相关资源
      最近更新 更多