我知道您无法提供验证证书。但是，我只是想，为什么我们不能给NDTM决定SAT的输入，然后反过来？缺陷在哪里？
答案 0 :(得分：4)
实际上不知道SAT的补充是否在NP中。如果P = NP，则由于所有P语言在互补下都是闭合的，因此SAT的补码必须在NP中（因为它在P中）。否则，如果SAT的补码不在NP中，那么通过使用类似的逻辑P≠NP。
怀疑 SAT的补充不在NP中，因为SAT的补充包括（忽略垃圾格式错误的字符串）不可满足的命题公式。目前还不清楚你可以不确定地猜测哪些信息可以帮助你确定公式是否永远不会评估为真，而在SAT的情况下，很容易不确定地猜测一个令人满意的任务，以检查公式是否确实可以满足。
至于你的推理中的错误 - 如果有某些接受计算的分支，则NTM接受。如果将所有“接受”翻转为“拒绝”，则不会翻转计算的整体结果。要翻转计算结果，必须让补充的NTM接受iff 每个分支接受，而如果至少有一个分支接受。
希望这有帮助！