Preguntas etiquetadas con formulas

Sea f(x1,…,xn)f(x1,…,xn)f(x_1,\dots,x_n) un polinomio de grado en variables sobre , donde es constante (digamos 2 o 3). Me gustaría encontrar la fórmula más pequeña para , donde "fórmula" y "tamaño de fórmula" se definen de manera obvia (por ejemplo, la fórmula más pequeña para el polinomio es ).n F 2 …

28 cc.complexity-theory  formulas 

Pregunta: ¿Cuál es el límite inferior de tamaño de fórmula más conocido para una función explícita en AC 0 ? ¿Existe una función explícita con un límite inferior ?Ω ( n2)Ω(n2)\Omega(n^2) Fondo: Como la mayoría de los límites inferiores, los límites inferiores del tamaño de la fórmula son difíciles de …

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

Sea una fórmula CNF satisfactoria con n variables y m cláusulas. Sea S F 1 el espacio de solución de F 1 .F1F1F_1nortennmetrommSF1SF1S_{F_1}F1F1F_1 Considere el problema de determinar, dado , otra Fórmula CNF F 2 con el mismo conjunto de variables que F 1 , con S F 2 = …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

Antecedentes Una fórmula de lectura única sobre un conjunto de compuertas (también llamada base) es una fórmula en la que cada variable de entrada aparece una vez. Las fórmulas de lectura única se estudian comúnmente sobre la base De Morgan (que tiene las compuertas de 2 bits AND y OR, …

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

Quiero ser muy específico ¿Alguien sabe de una prueba o prueba de la siguiente propuesta: ∃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 G \vDash …

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

Una fórmula monótona de CNF con m términos en n variables ( ) es una fórmula de la forma f ( x 1 , ... , x n ) = ⋀ C i , donde cada C i es un OR de algún subconjunto de las variables x 1 , …

10 cc.complexity-theory  circuit-complexity  formulas