Perguntas com a marcação «formulas»

Seja um polinômio grau em variáveis ​​acima de , onde é constante (digamos 2 ou 3). Gostaria de encontrar a menor fórmula para , em que "fórmula" e "tamanho da fórmula" são definidos da maneira óbvia (por exemplo, a menor fórmula para o polinômio é ).f(x1,…,xn)f(x1,…,xn)f(x_1,\dots,x_n)dddnnnF2F2\mathbb{F}_2dddfffx1x2+x1x3x1x2+x1x3x_1 x_2 + x_1 x_3x1(x2+x3)x1(x2+x3)x_1(x_2+x_3) …

28 cc.complexity-theory  formulas 

Questão: Qual é o limite inferior do tamanho da fórmula mais conhecido para uma função explícita no AC 0 ? Existe uma função explícita com um limite inferior Ω(n2)Ω(n2)\Omega(n^2) ? Fundo: Como a maioria dos limites inferiores, os limites inferiores do tamanho da fórmula são difíceis de encontrar. Estou interessado …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

Seja uma fórmula CNF satisfatória com variáveis ​​e cláusulas . Seja o espaço de solução de .F1F1F_1m S F 1 F 1nnnmmmSF1SF1S_{F_1}F1F1F_1 Considere o problema de determinar, dada a , outra Fórmula CNF com o mesmo conjunto de variáveis ​​que , com (o mesmo espaço de solução que ), mas …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

fundo Uma fórmula de leitura única sobre um conjunto de portas (também chamada de base) é uma fórmula na qual cada variável de entrada aparece uma vez. As fórmulas de leitura única são comumente estudadas na base De Morgan (que possui as portas de 2 bits AND e OR e …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Eu quero ser muito específico. Alguém sabe de uma reprovação ou de uma prova da seguinte proposição: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq Clog(n)^k \wedge …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

Uma fórmula CNF monótona com m termos em n variáveis ​​( ) é uma fórmula da forma , em que cada é um OR de algum subconjunto das variáveis e varia de a . f ( x 1 , … , x n ) = ⋀ C i C i …

10 cc.complexity-theory  circuit-complexity  formulas