Estoy tratando de entender la complejidad de las funciones que se expresan a través de las puertas de umbral y esto me llevó a . En particular, estoy interesado en lo que se sabe actualmente sobre el aprendizaje dentro de T C 0 , ya que no soy un experto en el
El siguiente problema aparece en la lista de Aaronson Diez desafíos grandes para la teoría de la computación cuántica . Es B Q P = B P PB Q N CsiQPAG=siPAGPAGsiQnorteC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} En otras palabras, ¿se puede comprimir la parte "cuántica" de cualquier algoritmo...
Leí que la programación lineal entera se puede resolver en tiempo polinominal si el número de variables es fijo, es decir, n ∈ O ( 1 ) . Si el número de variables crece logarítmicamente, es decir, n ∈ O ( log 2 ( N ) ) para una entrada dada de tamaño N , ¿el problema aún se puede resolver en tiempo...
¿Cuáles son algunos ejemplos de pares de clases de complejidad y B tales queAAABBB no sabemos si , yA=BA=BA=B tampoco conocemos relativizaciones contradictorias (es decir, no conocemos los oráculos y Q de manera que A P = B P y A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Para...
Descargo de responsabilidad: sé muy poco sobre la teoría de la complejidad. Lo siento, pero realmente no hay forma de hacer esta pregunta sin ser (terriblemente) conciso: ¿Cuáles deberían ser los morfismos en "la" categoría de las máquinas de Turing? Esto es obviamente subjetivo y depende de...
Un estudiante mío recientemente hizo la siguiente pregunta: D T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) . DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h ( n ) h(n)h(n)D T I M E ( f ( n ) ) ⊊ D T I M E ( h ( n ) ) ⊊ D T I M E ( g ( n) )
El teorema de Savitch muestra que para todas las funciones suficientemente grandes , y demostrar que esto es estricto ha sido un problema abierto durante décadas .fNSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACmi(F(norte)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)FFf Supongamos que...
Nosotros sabemos (por ahora unos 40 años, gracias a Adleman, Bennet y Gill) que la inclusión BPP ⊆⊆\subseteq P / poli, y un aún más fuerte BPP / poli ⊆⊆\subseteq P / retención poli. El "/ poly" significa que trabajamos de manera no uniforme (un circuito separado para cada longitud de entrada nnn ),...
¿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? Nota: No es difícil ver...
Dado un lenguaje L definido por una máquina de Turing que lo decide, ¿es posible determinar algorítmicamente si L se encuentra en
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? En particular,...
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....
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...
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...
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 estoy al...
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...
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...
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 un gran problema abierto si la conectividad st puede resolverse mediante un algoritmo...
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...
Es duro encontrar una aproximación de factor constante del ciclo más largo en gráficos hamiltonianos cúbicos. Los gráficos hamiltonianos cúbicos tienen al menos dos ciclos hamiltonianos.nortePAGnortePAGNP ¿Cuáles son los límites superior e inferior más conocidos en el número de ciclos...