Perguntas com a marcação «boolean-formulas»

18

É possível testar se um número computável é racional ou inteiro?

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...

computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

15

Fórmulas booleanas quantificadas com alternâncias logarítmicas

Estou estudando um problema difícil para a classe de fórmulas booleanas quantificadas com um número logarítmico de alternâncias dos quantificadores. Um problema nesta classe seria semelhante

cc.complexity-theory boolean-formulas

14

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...

exp-time-algorithms boolean-formulas fine-grained

11

Qual é a complexidade do problema de equivalência para árvores de decisão de leitura única?

Uma árvore de decisão de leitura única é definida da seguinte maneira: TrueTrueTrue e são árvores de decisão de leitura única.FalseFalseFalse Se e são árvores de decisão de leitura única e é uma variável que não ocorre em e , também é uma árvore de decisão leitura...

cc.complexity-theory lo.logic decision-trees boolean-formulas

10

Equilíbrio de fórmula booleana em

Estou procurando referências sobre a complexidade do problema de balanceamento de fórmulas booleanas . Em particular, Sabia-se que as fórmulas booleanas podem ser balanceadas em AC0AC0\mathsf{AC^0} ? Existe uma prova simples de que o balanceamento de fórmula booleana esteja em AC0AC0\mathsf{AC^0}...

cc.complexity-theory ds.algorithms reference-request lo.logic boolean-formulas

8

Conversão entre k-SAT e XOR-SAT

De acordo com o XOR Satisfiability Solver Module para integração de DPLL por Tero Laitinen, precisamos de cláusulas n - 1 CNF para converter uma cláusula XOR-SAT n literal se não quisermos aumentar o número de literais. Portanto, entendo que o custo computacional para converter uma expressão...

sat boolean-functions boolean-formulas