Preguntas etiquetadas con cc.complexity-theory

En el documento de Pruebas naturales de Razborov-Rudich , página 6, en la parte que discuten que hay "fuertes pruebas de límites inferiores contra modelos de circuito monótono " y cómo encajan en la imagen, están las siguientes oraciones: Aquí el problema no es la constructividad, las propiedades utilizadas en …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

Savitch dio un algoritmo determinista para resolver la conectividad st usando el espacio , lo que implica N L ⊆ D S P A C E ( log 2 n ) . El algoritmo de Savitch se ejecuta en el tiempo 2 O ( log 2 n ) . Es …

15 cc.complexity-theory  space-bounded 

En una presentación de 2006 titulada GRÁFICOS DE EXPANDER - ¿HAY MISTERIOS IZQUIERDOS? Nati Linial planteó el siguiente problema abierto: ¿Qué problema computacional de duro en el gráfico sigue siendo difícil cuando se restringe a los gráficos de expansión?nortePAGNPNP Desde entonces, ¿se han realizado progresos para probar dicho resultado para …

15 cc.complexity-theory  np-hardness  expanders 

Las pruebas naturales son una barrera para probar los límites inferiores de la complejidad del circuito de las funciones booleanas. Ellos no implican directamente cualquier barrera en probar límites inferiores en el la complejidad del circuito. ¿Hay algún progreso hacia la identificación de tales barreras? ¿Existen otras barreras en el …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

Este es un seguimiento de esta pregunta y está relacionado con esta pregunta de Shiva Kinali. Parece que las pruebas en estos documentos ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) usan teoremas de jerarquía. Quiero saber si las pruebas son teoremas de diagonalización " pura ", o si usan algo …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Siempre me intriga la falta de evidencia numérica de las matemáticas experimentales a favor o en contra de la pregunta P vs NP. Si bien la hipótesis de Riemann tiene alguna evidencia de respaldo de la verificación numérica, no conozco evidencia similar para la pregunta P vs NP. Además, no …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Disculpas de antemano si esta pregunta es demasiado simple. Básicamente, lo que quiero saber es si hay alguna función F(x )F(X)f(x) con las siguientes propiedades: Tome Fnorte( x )Fnorte(X)f_n(x) como F( x )F(X)f(x) cuando el dominio y el codominio están restringidos a cadenas de nortenorten bits. Luego Fnorte( x )Fnorte(X)f_n(x) …

15 cc.complexity-theory 

Una clase hereditaria de estructuras (p. Ej., Gráficas) es aquella que se cierra bajo subestructuras inducidas, o de manera equivalente, se cierra bajo eliminación de vértices. Las clases de gráficos que excluyen a un menor tienen buenas propiedades que no dependen del menor excluido específico. Martin Grohe demostró que para …

15 cc.complexity-theory  graph-theory  relational-structures 

Se dice que un problema P está en APX si existe alguna constante c> 0 tal que existe un algoritmo de aproximación de tiempo polinómico para P con factor de aproximación 1 + c. APX contiene PTAS (visto simplemente seleccionando cualquier constante c> 0) y P. ¿APX está en NP? …

15 cc.complexity-theory  complexity-classes  apx 

Dado un lenguaje L definido por una máquina de Turing que lo decide, ¿es posible determinar algorítmicamente si L se encuentra en NP?

15 cc.complexity-theory  computability  turing-machines 

En nuestro trabajo reciente, resolvemos un problema computacional que surgió en un contexto combinatorio, suponiendo que , donde es el -versión de . El único artículo sobre que encontramos fue el artículo de Beigel-Buhrman-Fortnow 1998 que se cita en Complexity Zoo . Entendemos que podemos tomar versiones de paridad de …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

La clase de complejidad BQP corresponde a subrutinas cuánticas de tiempo polinómico que toman entradas clásicas y escupen una salida clásica probabilística. El asesoramiento cuántico modifica eso para incluir copias de algunos estados de asesoramiento cuántico predeterminados pero con entradas clásicas como de costumbre. ¿Cuál es la clase de complejidad …

15 cc.complexity-theory  complexity-classes  quantum-computing 

A menudo consideramos clases de complejidad donde estamos limitados en la cantidad de espacio que nuestra máquina Turing puede usar, por ejemplo: o NSPACE ( f ( n ) ) . Parece que al principio de la teoría de la complejidad hubo mucho éxito con estas clases, como el teorema …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

¿Cuál es la siguiente variación en la cubierta del set conocida como? Dado un conjunto S, una colección C de subconjuntos de S y un entero positivo K, ¿existen K conjuntos en C de manera que cada par de elementos de S se encuentre en uno de los subconjuntos seleccionados? …

15 np-hardness  set-cover  cc.complexity-theory 

Problema relacionado: el teorema de Veblen establece que "un gráfico admite una descomposición del ciclo si y solo si es par". Los ciclos son de borde disjunto, pero no necesariamente de nodo disjunto. Dicho de otra manera, "El conjunto de bordes de un gráfico se puede dividir en ciclos si …

15 cc.complexity-theory  graph-theory  co.combinatorics