Perguntas com a marcação «sat»

SAT representa o problema de satisfação booleana.

4
Redução direta de SAT para 3-SAT
Aqui, o objetivo é reduzir um problema arbitrário de SAT para 3-SAT em tempo polinomial usando o menor número de cláusulas e variáveis. Minha pergunta é motivada pela curiosidade. Menos formalmente, eu gostaria de saber: "Qual é a redução 'mais natural' de SAT para 3-SAT?" Agora, a redução que eu …
1
Um espaço topológico relacionado ao SAT: é compacto?
O problema da satisfação é, obviamente, um problema fundamental no CS teórico. Eu estava brincando com uma versão do problema com infinitas variáveis. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configuração básica. Seja XXX um conjunto de variáveis não vazio e possivelmente infinito . Um literal é uma variável x∈Xx∈Xx \in X ou sua negação …
5
Satisfação de restrição aberta ou interativa
No passado, implementei modelos de coordenação usando SAT e satisfação regular de restrições como o cavalo de batalha principal em seus motores. Continuando nesta linha de trabalho, gostaria de tornar os modelos mais interativos, e a melhor maneira de fazer isso é abrir o solucionador de restrições para que ele …
17 sat  lo.logic  csp 
5
Benchmarks exclusivos do
Essa pergunta provavelmente está na linha de fronteira entre o tópico e o tópico, mas eu já vi perguntas semelhantes aqui, portanto, eu vou perguntar. Estou implementando um solucionador Unique kkk -SAT, cuja entrada é uma fórmula kkk -CNF com no máximo 111 atribuição satisfatória. Para testar seu comportamento prático, …
16 sat 
1
Tautologias / contradições de casos médios, além do modelo aleatório de k-CNF
É sabido que as fórmulas aleatórias de CNF sobre n variáveis ​​com cláusulas c n são insatisfatórias (isto é, são contradições) com alta probabilidade, para uma constante suficientemente grande c . Assim, as fórmulas aleatórias de k- CNF (para c suficientemente grandes) constituem uma distribuição natural sobre fórmulas booleanas insatisfatórias …
1
Complexidade da versão de pesquisa do 2-SAT assumindo
Se , então há um algoritmo logspace que resolve a versão decisão de 2-sab.L = N Leu=Neu\mathsf{L = NL} É conhecido como implicando que há um algoritmo logspace para obter uma atribuição de satisfazer , quando dado um exemplo satisfatível 2-sab como entrada?L = N Leu=Neu\mathsf{L = NL} Se não, …
6
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 possível))
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.