Perguntas com a marcação «sat»

14
variações de SAT

Procurei na internet, mas não consegui encontrar nenhuma 'grande lista' de variantes do problema SAT. Além do (comum) SENTOU, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT o que mais variantes existem? (também será realmente útil se houver classes de complexidade (quando...

14
Qual é a complexidade do Median-SAT?

Seja uma fórmula CNF com variáveis ​​e cláusulas . Deixe representar uma atribuição de variável conte o número de cláusulas satisfeitas por uma atribuição de variável para . Em seguida, defina Median-SAT como o problema de calcular o valor mediano de em todo . Por exemplo, se é uma tautologia, a...

13
Como é provada a versão MA do SETH para ser falsa?

De acordo com este artigo , que discute uma extensão não determinística da Hipótese do Tempo Exponencial Forte (SETH), "[...] Williams recentemente demonstrou hipóteses relacionadas sobre a complexidade de Merlin-Arthur do k-TAUT são falsas". No entanto, esse documento cita apenas uma comunicação...