Existen varios problemas en la teoría de representación combinatoria y la geometría algebraica para los cuales no se conoce una fórmula positiva. Estoy pensando en varios ejemplos, pero permítanme tomar los coeficientes de cálculo de Kronecker como mi ejemplo. Por lo general, la noción de "fórmula...
Hice una búsqueda sobre esto, pero no pude encontrar una respuesta de ninguna manera. Huck respondió por completo. Gracias
BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} ( min , + )(max,+)(max,+)(\max,+)(min,+)(min,+)(\min,+) Deje ser un semired. Un patrón cero de una secuencia de polinomios en es un subconjunto para el que existen y tal que para todo , si y sólo si . Es decir, las gráficas de exactamente esos...
Incompleto de Chaitin teorema dice que no lo suficientemente fuerte como la teoría de la aritmética puede llegar K(s)>LK(s)>LK(s) > L , donde K(s)K(s)K(s) es la complejidad de Kolmogorov de cuerda sss y LLL es una constante suficientemente grande. LLL es suficientemente grande si es más...
¿Habría alguna consecuencia importante si SAT tuviera a lo sumo pruebas subexponenciales no firmes o, aún más fuerte, SAT tuviera algoritmos de tiempo
Es bien sabido que no existe un protocolo determinista de dos partes puede resolver el problema de disyunción (DISJ) en entradas -bit sin enviar bits en el peor de los casos (véase, por ejemplo, el libro de Kushilevitz y Nisan). Para protocolos aleatorios de error acotado, Razborov [Razborov92]...
Considere el siguiente modelo de circuito monótono simple: cada puerta es solo un OR binario. ¿Cuál es la complejidad de una función f ( x ) = A xf(x)=Axf(x)=Ax donde AAA es una matriz booleana n × nn×nn \times n con O ( n )O(n)O(n) 0? ¿Se puede calcular mediante circuitos OR de tamaño lineal? Más...
Alice y Bob tienen cadenas de n bits, y quieren averiguar si son iguales mientras hacen poca comunicación. La solución aleatoria estándar es tratar las cadenas de n bits como polinomios de grado luego evaluar los polinomios sobre algunos elementos elegidos al azar de un campo de tamaño mayor que n...
Pregunta. En su artículo, Simulación mejorada de circuitos estabilizadores , Aaronson y Gottesman afirman que simular un circuito CNOT es ⊕L -completo (bajo reducciones de espacio de registro). Está claro que está contenido en ⊕L ; ¿Cómo se mantiene el resultado de la dureza? Equivalente: ¿hay...
En el documento de Ben-Dor / Halevi [1] se da otra prueba de que el permanente es -completo. En la parte posterior del documento, muestran la cadena de reducción mientras el valor permanente se conserva a lo largo de la cadena. Como el número de asignaciones satisfactorias de una fórmula 3SAT se...
Estoy buscando información sobre la complejidad computacional de la multiplicación de matrices de matrices rectangulares. Wikipedia afirma que la complejidad de multiplicar por B ∈ R n × p es O ( m n p ) (multiplicación del libro escolar).A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in...
Un idioma está en si existe un espacio de registro de la máquina de Turing que decide el idioma con una cantidad polinómica de consejos.L / p o l yL/ /pagolyL/poly Consulte aquí para obtener más información: https://en.wikipedia.org/wiki/L/poly Pregunta ¿Cuáles son las consecuencias de ?PAG⊆...
Razborov demostró que la coincidencia de la función monótona no está en mP . Pero, ¿podemos calcular la correspondencia utilizando un circuito de tamaño polinómico con algunas negaciones? ¿Hay un circuito P / poly con negaciones que calcule la coincidencia? ¿Cuál es la compensación entre el número...
Resultado 1: el teorema de Linial-Mansour-Nisan dice que el peso de Fourier de las funciones calculadas por los circuitos AC0AC0\mathsf{AC}^0 se concentra en los subconjuntos de pequeño tamaño con alta probabilidad. Resultado 2: El PARITYPARITY\mathsf{PARITY} tiene su peso de Fourier concentrado...
Sea una función booleana de n variables booleanas. Sea g ( x ) = T ϵ ( f ) ( x ) el valor esperado de f ( y ) cuando y se obtiene de x al voltear cada coordenada con probabilidad ϵ / 2 .fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)f(y)f(y)f(y)yyyxxxϵ/2ϵ/2\epsilon/2 Estoy interesado en...
Digamos que tenemos una red neuronal de alimentación de una sola capa con k entradas y una salida. Calcula una función a partir de , es bastante fácil ver que tiene al menos la misma potencia de cálculo que A C 0 . Solo por diversión, llamaremos al conjunto de funciones computables por una red...
Dado un algoritmo que se ejecuta en el tiempo , podemos convertirlo en una familia de circuitos uniforme "trivial" para el mismo problema de tamaño como máximo ≈ t ( n ) log t ( n ) .t(n)t(n)t(n)≈t(n)logt(n)≈t(n)logt(n)\approx t(n)\log t(n) Por otro lado, podría ser que tengamos circuitos...
Antecedentes: La complejidad del árbol de decisión o la complejidad de la consulta es un modelo simple de cálculo definido de la siguiente manera. Sea una función booleana. La complejidad de consulta determinista de f , denotada D ( f ) , es el número mínimo de bits de la entrada x ∈ { 0 , 1 } n...
A lo que me refiero como contar es el problema que consiste en encontrar el número de soluciones para una función. Más precisamente, dada una función F: N→ { 0 , 1 }F:norte→{0 0,1}f:N\to \{0,1\} (no necesariamente caja negra), aproximada # { x ∈ N∣ f( x ) = 1 } = | F-...
Es bien sabido que la complejidad de distinguir un moneda sesgada de una feria es θ ( ε - 2 ) . ¿Hay resultados para distinguir una moneda p de una moneda p + ϵ ? Puedo ver que para el caso especial de p = 0 , la complejidad será ϵ - 1 . Tengo el presentimiento de que la complejidad dependerá de si...