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

10
Representando a função booleana por um polinômio

Supondo que tenhamos uma função booleana de . É claro que um polinômio multivariado real tal que em pode ser multilinear. Quais são algumas classes interessantes de funções booleanas para as quais o grau mínimo de é conhecido? Temos exemplos concretos?p ( x ) f ( x ) = p ( x ) x ∈ { 0 , 1 } n p ( x...

9
A entropia de uma distribuição barulhenta

Digamos que temos uma função f: Zn2→ Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} tal que efé uma distribuição, ou seja,∑x∈Z n 2 f(x)=1.∀ x ∈ Zn2f( x ) ∈ { 12n, 22n, ... , 2n2n} ,∀x∈Z2nf(x)∈{1 12n,22n,...,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots,...

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