Perguntas com a marcação «fine-grained»

Quais são as relações entre essas hipóteses na teoria da complexidade refinada?

A teoria da complexidade, através de conceitos como NP-completeness, distingue entre problemas computacionais que têm soluções relativamente eficientes e aqueles que são intratáveis. A complexidade "refinada" visa refinar essa distinção qualitativa em um guia quantitativo sobre o tempo exato...

O problema de decidir se um CNF monótono implica um DNF monótono

Considere o seguinte problema de decisão Entrada : um CNF monótono ΦΦ\Phi e um DNF monótono .ΨΨ\Psi Pergunta : uma tautologia?Φ→ΨΦ→Ψ\Phi \to \Psi Definitivamente, você pode resolver esse problema no tempo , onde é o número de variáveis ​​em e é o comprimento da entrada. Por outro lado, esse...