Perguntas com a marcação «proof-search»

Se P = NP, poderíamos obter provas da conjectura de Goldbach, etc.?

Esta é uma pergunta ingênua, fora dos meus conhecimentos; desculpas antecipadamente. A conjectura de Goldbach e muitas outras questões não resolvidas em matemática podem ser escritas como fórmulas curtas no cálculo de predicados. Por exemplo, o artigo de Cook "Os computadores podem descobrir...

Um teorema de soma direta para a complexidade do espaço da cláusula Resolution?

A resolução é um esquema para provar a insatisfação dos CNFs. Uma prova na resolução é uma dedução lógica da cláusula vazia para as cláusulas iniciais do CNF. Em particular qualquer cláusula inicial pode ser inferida, e a partir de dois cláusulas A ∨ xA∨xA \lor x e B ∨ ¬ xB∨¬xB \lor \neg{x} a...