Me gustaría saber el estado actual de la transición de fase para k-sat aleatorio, dadas n variables y m cláusulas, cuál es la c = m / n más conocida para los límites superior e
En SODA 2006, Martin Grohe y D niel papel de Marx "resolución de restricciones a través de cubiertas de borde fraccional" ( cita ACM ) mostraron que para la clase de hypergraphs H con anchura Hypertree fraccional acotada, CSP ( H ) ∈ P T I M E .una´a´\acute{\rm a}HHHHHH∈ PTyoMETROmi∈PTIME\in...
Graph automorphism es una permutación de nodos de gráfico que induce una biyección en el conjunto de aristas EEE . Formalmente, es una permutación fff de nodos como (u,v)∈E(u,v)∈E(u,v)\in E iff (f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Defina un borde violado para alguna permutación como un borde...
Esta pregunta ha surgido en mi mente después de leer las contribuciones de András Salamon y Colin McQuillan a mi pregunta anterior Soluciones de conteo de fórmulas Monotone-2CNF . EDITAR 30 ª Mar 2011 pregunta Agregado n ° 2. EDITAR 29 º Oct 2010 Pregunta reformuló después de la propuesta...
Hiroimono es un popular rompecabezas completo de Estoy interesado en la complejidad computacional de un rompecabezas relacionado.NPNPNP El problema es: Entrada : dado un conjunto de puntos en una cuadrícula x n cuadrada y entero knnnnnnkkk Pregunta : ¿Existe un polígono rectilíneo (sus lados...
Deje que π: { 0 , 1 }∗→ { 0 , 1 }∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* sea una permutación. Tenga en cuenta que mientras ππ\pi actúa en un dominio infinito, su descripción puede ser finita. Por descripción , me refiero a un programa que describe la funcionalidad de ππ\pi . (Como en...
¿Alguien sabe de un conjunto de problemas que varían uniformemente y abarcan una de las jerarquías "interesantes" de complejidad y computabilidad? Por interesante, quiero decir, por ejemplo, la Jerarquía Polinómica, la Jerarquía Aritmética o la Jerarquía Analítica. O tal vez (N) P, (N) EXP, 2 (N)...
La resolución es un esquema para demostrar la insatisfacción de los CNF. Una prueba en resolución es una deducción lógica de la cláusula vacía para las cláusulas iniciales de la CNF. En particular, se puede inferir cualquier cláusula inicial, y de dos cláusulas A ∨ xA∨xA \lor x y B ∨ ¬ xB∨¬xB \lor...
Antecedentes Complejidad del circuito se define como el conjunto de familias de circuitos (es decir, secuencias de circuitos, una para cada tamaño de entrada) de profundidad acotada y tamaño polinomial construido utilizando el ventilador sin límites AND, OR y NOT.AC0AC0AC^0 La función de paridad...
En una pregunta anterior sobre la jerarquía de tiempo, aprendí que las igualdades entre dos clases se pueden propagar a clases más complejas y las desigualdades se pueden propagar a clases menos complejas, con argumentos que utilizan relleno. Por lo tanto, una pregunta viene a la mente. ¿Por qué...
En esta pregunta , se mencionó que existen versiones descriptivas de complejidad del teorema de Rice. Encontré una prueba del siguiente teorema: Dada una clase de complejidad C , las propiedades no triviales de los lenguajes en C no se pueden calcular en C Anteriormente había publicado la...
Planteamiento del problema : Deje que sea un autómata pushdown (potencialmente no determinista) y deje que sea su alfabeto de entrada. ¿Hay una palabra st que es aceptado por ?A w ∈ A ∗ | w | ≤ k MMETROMETROMUNAUNA\cal Aw ∈ A∗w∈UNA∗w \in \cal A^*El | w | ≤kEl |wEl |≤k|w| \leq kMETROMETROM ¿Es...
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
¿Hay alguna manera de que un probador pueda convencer a un verificador de que alguna expresión de HORN-SAT es satisfactoria? Por supuesto, esto puede parecer una tontería, ya que existen algoritmos de tiempo lineal para HORN-SAT. Por otro lado, HORN-SAT es P-completo, lo que significa que no tiene...
Estaba jugando con la muy interesante y abierta pregunta " Alfabeto de la máquina de Turing de una sola cinta " (por Emanuele Viola) y se me ocurrió el siguiente idioma: L = { x ∈ { 0 , 1 }norte st | x | = n = 2metro y c o u n t 1 ( x ) = k ∗ m ;n , m , k ≥ 1
En pocas palabras, los teoremas de la jerarquía del tiempo dicen que una máquina de Turing puede resolver más problemas si tiene más tiempo para el cálculo. En detalle para TM determinístico y funciones construibles en el tiempo con es y para TM no determinista y funciones construibles en el...
Un programa span es una forma lineal-algebraica de especificar una función booleana presentada aquí . Recientemente, este modelo se usó para mostrar que el método negativo del adversario proporciona una caracterización estricta (al menos hasta ) de la complejidad de la consulta...
Considere el problema del conjunto dominante en gráficos generales, y sea el número de vértices en un gráfico. Un algoritmo de aproximación codicioso ofrece una garantía de aproximación del factor 1 + log n , es decir, es posible encontrar en el tiempo polinómico una solución S tal que | S | ≤ ( 1...
Aunque las separaciones exponenciales entre la complejidad cuántica de consultas con error limitado ( ) y la complejidad de consulta determinista ( D ( f ) ) o la complejidad aleatoria de consultas con error limitado ( R ( f ) ) son conocidas, solo se aplican a ciertas funciones parciales. Si las...
Actualización: Parece que este problema ha sido estudiado y resuelto recientemente, vea este artículo wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Y también esta encuesta: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supongamos que, en lugar del conjunto habitual de...