Quiero aprender sobre algoritmos algebraicos y complejidad thoery. En particular, estoy interesado en PIT. ¿Existe un conjunto de apuntes, libros, documentos y encuestas para estudiantes que han leído libros de texto estándar sobre teoría como el libro de Sipser o el libro de texto de complejidad...
Sea una fórmula CNF con n variables y m cláusulas. Supongamos que t ∈ { 0 , 1 } n representa una asignación variable y f φ ( t ) ∈ { 0 , ... , m } cuenta el número de cláusulas satisfechas por una asignación variable a φ . Luego defina Median-SAT como el problema de calcular el valor mediano de f φ...
Considere el problema # P-completo de contar el número de cubiertas de vértices de un gráfico dado G=(V,E)G=(V,E)G = (V, E) . Me gustaría saber si hay algún resultado que muestre cómo la dureza de dicho problema varía con algún parámetro de (por ejemplo, ).GGGd=|E||V|d=|E||V|d =...
El kkk -ésimo polinomio simétrico elemental Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) es la suma de todos los productos de distintas variables. Estoy interesado en la complejidad del circuito aritmético monótono de este polinomio. Un algoritmo de programación dinámica simple (así como la Fig. 1...
En su trabajo , Oráculos de distancia aproximada , Thorup y Zwick demostraron que para cualquier gráfico ponderado no dirigido, es posible construir una estructura de datos de tamaño que pueda devolver una distancia aproximada entre cualquier par de vértices en el gráfico.O ( k n1 + 1 /...
¿Se conocen los resultados que descartan la existencia de estructuras de datos "demasiado buenas para ser verdaderas"? Por ejemplo: ¿se puede agregar la funcionalidad y J o i n a una estructura de datos de mantenimiento de pedidos (ver Dietz y Sleator STOC '87 ) y aún obtener operaciones de...
Dado un grafo, G=(V,E)G=(V,E)G = (V, E) , quiero encontrar un óptimo -domination para . Es decir, quiero un subconjunto de tal que todos los vértices enrrrGGGSSSVVVGGG están a una distancia de como máximo rrr de algún vértice en SSS , mientras se minimiza el tamaño de SSS . De lo que he verificado...
Para cualquier lenguaje NP arbitrario completo, ¿hay siempre un superconjunto polytime cuyo complemento también es infinito? Se ha pedido una versión trivial que no estipula que el superconjunto tenga un complemento infinito en /cs//q/50123/42961 A los fines de esta pregunta, puede suponer que ....
Hice una búsqueda sobre esto, pero no pude encontrar una respuesta de ninguna manera. Huck respondió por completo. Gracias
Estaba leyendo el artículo de Wikipedia sobre el problema de las ocho reinas. Se afirma que no existe una fórmula conocida para el número exacto de soluciones. Después de buscar un poco, encontré un artículo llamado "Sobre la dureza de contar problemas de mapeos completos". En este documento hay un...
¿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
Estoy leyendo el apéndice sobre los límites inferiores de ACC para NEXP en el libro Arora and Barak's Computational Complexity . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Uno de los lemas fundamentales es una transformación de la circuitos a lo largo de los polinomios...
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...
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...
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]...
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} ¿Hay un...
El tiempo constante es la complejidad absoluta al final del tiempo. Uno puede preguntarse: ¿hay algo no trivial que se pueda calcular en tiempo constante? Si nos atenemos al modelo de máquina de Turing, entonces no se puede hacer mucho, ya que la respuesta solo puede depender de un segmento inicial...
Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq :: a -> b ->...
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...