Perguntas com a marcação «sat»

12
?

É possível que ? Existem conseqüências interessantes de tal contenção? Contrariaria a hipótese do tempo exponencial?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in

11
Mínimo Verdadeiro Monótono 3SAT

Estou interessado em uma variação de SAT em que a fórmula CNF é monótona (nenhuma variável é negada). Essa fórmula é obviamente satisfatória. Mas digamos que o número de variáveis ​​verdadeiras seja uma medida de quão boa é a nossa solução. Portanto, temos o seguinte problema: MONOTONE VERDADEIRO...

11
Modelo Computacional em SETH

Impagliazzo, Paturi e Calabro, Impagliazzo, Paturi introduziram a Hipótese de tempo exponencial (ETH) e a Hipótese de tempo fortemente exponencial (SETH). Grosso modo, o SETH diz que não há algoritmo que resolva o SAT no tempo . 1.99n1.99n1.99^n Eu queria saber o que isso significaria para quebrar...

11
Onde solicito ajuda com pesquisa / publicação?

Estou desenvolvendo um algoritmo SAT há algum tempo e cheguei a um ponto em que gostaria de compartilhá-lo. Não conheço muitas pessoas em ciência da computação e não sei exatamente para onde me virar. Eu estou querendo saber quais recursos estão disponíveis para alguém com um algoritmo que está...

11
Enumere todas as soluções de um problema SAT

Todos os solucionadores #SAT que eu conheço, por exemplo, RelSat, C2D, retornam apenas o número de instâncias satisfatórias. Mas eu quero conhecer cada uma dessas instâncias? Existe um solucionador de #SAT ou como devo modificar um solucionador de #SAT disponível para fazer...