NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Consideremos ahora las familias de circuitos con puertas de Oracle - por ejemplo, , donde es una clase de la complejidad del circuito que contiene logspace con acceso a Oracle a otra clase , a través de puertas de Oracle adjuntas a la base de . ¿Hay algún...
Esto es similar a SAT, excepto que conocemos la asignación de cada variable, pero no conocemos la asignación de ningún operador booleano. En ese caso, ¿encontrar la asignación de cada operador para que la expresión evalúe un valor booleano dado es un problema NPC? En realidad, me preguntaba si...
El problema de N-queen es este: Entrada: N Salida: una colocación de N "reinas" en un tablero de ajedrez de NXN de modo que no haya dos reinas en la misma fila, columna o diagonal. Al hacer una búsqueda en Google sobre esto, descubrí que muchas diapositivas de muchos profesores afirman que este...
Se cree ampliamente que algunos problemas computacionales, como el isomorfismo de grafos, no pueden ser NP-completos porque no poseen suficiente estructura o redundancia para ser computacionalmente duros (NP-hard). Estoy interesado en las diferentes nociones formales para la estructura de los...
¿Qué tipo de teoremas de jerarquía existen para la profundidad del circuito? Declaraciones como g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n))...
¿Qué se sabe actualmente sobre la aproximabilidad del problema del género? Una búsqueda preliminar me dice que una aproximación de factor constante es trivial para gráficos suficientemente densos, y se ha descartado un algoritmo de aproximación . ¿Esta información está actualizada o se conocen...
Relajemos un poco el color, es decir, permitimos que se asigne el mismo color a un pequeño número de vértices adyacentes. Un componente monocromático se define como un componente conectado en el subgrafo inducido por el conjunto de vértices que reciben el mismo color, y la pregunta es pedir el...
Estoy interesado en la pregunta de si NP es igual a coNP o no. Agradecería mucho algunos consejos sobre buenas publicaciones para leer sobre el tema. Para el registro, sé que esta pregunta está íntimamente relacionada con la pregunta de si P es igual a NP o no (de modo que si NP! = CoNP entonces...
Algunos antecedentes: Estoy interesado en encontrar límites inferiores "menos conocidos" (o resultados de dureza) para el problema de Aprendizaje con errores (LWE) y generalizaciones de los mismos como Aprender con errores sobre anillos. Para definiciones específicas, etc., aquí hay una buena...
Un problema abierto muy interesante en el estudio de las medidas de complejidad de la función booleana es la llamada conjetura de sensibilidad frente a sensibilidad de bloque. Para obtener información sobre la sensibilidad frente a la sensibilidad de bloque, puede consultar la siguiente publicación...
¿Hay alguna con las siguientes propiedades:L ∈ N PL∈NPL\in {\bf NP} Se sabe que implica P = N P .L ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} No hay (conocido) tiempo polinómico reducción Turing de (o algún otro N P problema -Complete) a L .SA TSATSATN PNP{\bf NP}LLL En otras palabras, si un...
Tengo algunas preguntas sobre engañar a los circuitos de profundidad constante. Se sabe que la independencia de es necesaria para engañar a los circuitos A C 0 de profundidad d , donde n es el tamaño de la entrada. ¿Cómo se puede probar esto?Iniciar sesiónO ( d)( n )logO(d)(n)\log^{O(d)}(n)A C0...
Me gustaría saber si existe un mundo donde relativizada . También estoy interesado en saber si existe un mundo donde relativizada P B ≠ N P B = P P B .PAGUNA= N PUNA≠ P PUNAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PAGsi≠ N Psi= P PsiPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf...
Aproximadamente una matriz de rango se dice que es rígida, si se baja su rango a nnnn , uno tiene que cambiar al menosn1+ϵde sus entradas, para algunosϵ>0.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Si una matriz A es rígida, entonces el programa de línea recta más pequeño que...
Yo, como muchas personas, soy un usuario entusiasta de software matemático como Mathematica y Maple. Sin embargo, me siento cada vez más frustrado por los muchos casos en que dicho software simplemente le da la respuesta incorrecta sin previo aviso. Esto puede ocurrir al realizar todo tipo de...
Deja ad(G)ad(G)\rm{ad}(G) sea la distancia media de un gráfico conectado G.G.G. Una forma de calcular ad(G)ad(G)\rm{ad}(G) es sumar los elementos de D(G),D(G),D(G), la matriz de distancia de GGG y escalar la suma adecuadamente. Si el gráfico de salida es un árbol, entonces se sabe que la...
El asistente de enseñanza de un curso ha logrado escribir un programa que (determinísticamente) genera preguntas de examen difíciles. Ahora, le gustaría escribir un programa que genere las respuestas correspondientes. El problema del examinador pregunta si esto siempre es posible; la conjetura de...
Se sabe que algunas clases de complejidad sintáctica (no relativizadas) entre y P S P A C E tienen la siguiente propiedad, P ⊆ C o N P ⊆ U S ⊆ C = P ⊆ P P ⊆ P S P A C E . Me pregunto si existe una clase de complejidad sintáctica (no relativizada) X tal que P P ⊆ X ⊆ P S P A C EPP{\bf...
Este es un seguimiento de mi pregunta anterior: Mejor complejidad de tiempo determinista conocida límite inferior para un problema natural en NP Me resulta desconcertante que no hayamos podido probar ningún límite inferior de tiempo determinista cuadrático para ningún problema interesante de NP...
Estoy interesado en estudiar los problemas completos del isomorfismo gráfico (IG). En el documento "Problemas polinomialmente equivalentes al isomorfismo gráfico" de Kellogg S. Booth, (1979), demostró que muchos problemas básicos se completan GI mediante el uso de técnicas de reemplazo de bordes,...