Preguntas etiquetadas con cc.complexity-theory

Suponga que se nos da una matriz A[1..n]A[1..n]A[1..n] contiene enteros no negativos (no necesariamente distintos). BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. La solución obvia es ordenar AAA y luego calcular mmm . Esto proporciona un algoritmo que se ejecuta en el tiempo O(nlgn)O(nlg⁡n)O(n \lg n) en el peor de los casos. …

11 cc.complexity-theory  ds.algorithms  optimization  sorting 

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, técnicas de composición, etc. Me gustaría aprender algunas …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Para un problema de búsqueda local polinómica , sabemos que debe existir al menos una solución (óptimo local). Sin embargo, podrían existir muchas más soluciones, ¿qué tan difícil es contar la cantidad de soluciones para un problema PLS completo? Estoy particularmente interesado en el problema de decisión: ¿la instancia de …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

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 que a la gente le interese e …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

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 …

11 cc.complexity-theory  complexity-classes 

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 distancia promedio se puede …

11 cc.complexity-theory  graph-theory  graph-algorithms 

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 examinador afirma que, suponiendo, , es no …

11 cc.complexity-theory  uniformity 

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} …

11 cc.complexity-theory  oracles  relativization 

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 operaciones, desde …

11 cc.complexity-theory 

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 computa A x ( x …

11 cc.complexity-theory 

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 …

11 cc.complexity-theory  cr.crypto-security  circuit-complexity  derandomization  pseudorandom-generators 

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 de blog de S. Aaronson …

11 cc.complexity-theory  reference-request  fourier-analysis 

¿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 …

11 cc.complexity-theory  np-hardness  reductions 

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 encuesta realizada por Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf El tipo estándar de …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

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 …

11 cc.complexity-theory  reference-request  p-vs-np