Preguntas etiquetadas con boolean-functions

Es bien sabido que para una clase de concepto con VC dimensión , es suficiente obtener ejemplos etiquetados para PAC learn . ¿No me queda claro si el algoritmo de aprendizaje PAC (que utiliza estas muestras) es correcto o incorrecto? En los libros de texto de Kearns y Vazirani, así …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

Supongamos que tenemos una función booleana de . Está claro que un polinomio multivariado real p ( x ) tal que f ( x ) = p ( x ) en x ∈ { 0 , 1 } n puede ser multilineal. ¿Cuáles son algunas clases interesantes de funciones booleanas …

10 boolean-functions 

Dado un circuito booleano en variables (que usa solo compuertas NOT, AND y OR), ¿cuál es la forma más eficiente de extraer la fórmula booleana representada por el circuito? ¿Existe un algoritmo polytime para este problema?nCCCnortenn

10 cc.complexity-theory  time-complexity  boolean-functions 

Supongamos que tengo un circuito booleano que calcula alguna función f : { 0 , 1 } n → { 0 , 1 } . Suponga que el circuito se compone de AND, OR y NO compuertas con entrada y salida de ventilador como máximo 2.CCCf: { 0 , 1 …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

¿Cuál es el resultado del estado del arte sobre la complejidad de las consultas de las fórmulas de aprendizaje 2-DNF PAC adecuadas con consultas de muestra y bajo distribución uniforme ? ¿O alguna atadura no trivial? Debido a que no estoy familiarizado con la teoría del aprendizaje y esta pregunta …

10 reference-request  lg.learning  boolean-functions 

Braverman demostró que las distribuciones que son independienteϵ-profundidad totaldAC0circuitos de tamañom"pegando" la aproximación de Smolensky y la aproximación de Fourier delas funciones booleanas computablesdeAC0. El autor y aquellos que habían conjeturado esto originalmente conjeturan que el exponente allí puede reducirse aO(d)(logmϵ)O(d2)(logmϵ)O(d2)(log \frac{m}{\epsilon})^{O(d^2)}ϵϵ\epsilonddd AC0AC0AC^0mmmAC0AC0AC^0O(d)O(d)O(d), y tengo curiosidad por saber si se …

9 boolean-functions  fourier-analysis 

Dada una función booleana , tenemos el grupo de automorfismo .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }FffA u t ( f) = { σ∈ Snorte ∣ ∀ x …

9 boolean-functions  randomness  gr.group-theory  symmetry 

Digamos que tenemos una función booleana y aplicamos restricción aleatoria δ en f . Además, supongamos que el árbol de decisión T que calcula f se reduce al tamaño O ( 1 ) como resultado de la restricción aleatoria. ¿Esto implica que f tiene una influencia total muy baja?F: { …

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

Digamos que tenemos una función tal que ∀ x ∈ Z n 2f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} yfes una distribución, es decir,Σx∈Z n 2 f(x)=1.∀x∈Zn2f(x)∈{12n,22n,…,2n2n},∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots, \frac{2^n}{2^n} \right\},fff∑x∈Zn2f(x)=1∑x∈Z2nf(x)=1\sum_{x\in \mathbb{Z}_2^n} f(x) = 1 La entropía de Shannon de se define como sigue: H ( f ) …

9 it.information-theory  boolean-functions 

En la complejidad del árbol de decisión de una función booleana, un método de límite inferior muy conocido es encontrar un polinomio (aproximado) que represente la función. Paturi dio una caracterización para funciones booleanas simétricas (parciales y totales) en términos de una cantidad denotada :ΓΓ\Gamma Teorema ( Paturi ): Sea …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

El establecimiento reciente de la relaciónbs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) pasa por Gotsman, Linial . ¿Puede el mismo enfoque llegar a o hay una limitación esencial para el enfoque?O ( s ( f)2)O(s(f)2)O(s(f)^2)

8 cc.complexity-theory  boolean-functions 

El lenguaje Critical SAT se define como el conjunto de fórmulas booleanas f tal que f ∈ U N S A T, pero eliminar cualquier cláusula de f lo hace satisfactorio. Se sabe que el SAT crítico es D P -completo. Me pregunto acerca de la siguiente variante: dada una …

8 cc.complexity-theory  complexity-classes  boolean-functions 

Como se muestra en el documento "Circuitos monótonos para la función mayoritaria", es posible construir un circuito booleano monótono para la función mayoritaria en n variables con tamaño O (n ^ 3) y profundidad 5.3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Mi pregunta es, ¿cuál es la complejidad temporal de …

8 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-depth 

De acuerdo con el Módulo XOR Satisfiability Solver para la integración DPLL por Tero Laitinen, necesitamos cláusulas CNF para convertir una cláusula XOR-SAT literal si no queremos aumentar el número de literales. Entonces, entiendo que el costo computacional para convertir una expresión XOR-SAT en un estrictamente CNF -SAT es exponencial.2n …

8 sat  boolean-functions  boolean-formulas