Preguntas etiquetadas con cc.complexity-theory

Background––––––––––––––Background_\underline{\bf Background} En 2005, Regev [1] introdujo el problema de Aprendizaje con errores (LWE), una generalización del problema de Paridad de aprendizaje con error. La suposición de la dureza de este problema para ciertas opciones de parámetros ahora subyace a las pruebas de seguridad para una gran cantidad de criptosistemas …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

En una pregunta anterior Algoritmo parametrizado para encontrar bicliques , pregunté si había algoritmos parametrizados rápidos para encontrar un -biclique en un gráfico de n vértices y aprendí que estaba abierto si es FPT wrt k . ¿Es lo mismo para contar las k × k -bicliques, o se sabe …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

Hay algunos problemas NP-Complete ( , , etc.) que se sabe que están en . ¿Qué pasa con los espacios sub-lineales?S A TSUNAT \mathsf{SAT} D S P A C E ( n )S U B S E T S U MSUsiSmiTSUMETRO \mathsf{SUBSETSUM} D S P A C E ( n …

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

DLOGTIME se define en http://en.wikipedia.org/wiki/DLOGTIME se define en http://en.wikipedia.org/wiki/L_%28complexity%29 NC y NC n se definen en http: // en .wikipedia.org / wiki / NC_% 28complexity% 29LL\operatorname{L} CAROLINA DEL NORTENC\operatorname{NC}CAROLINA DEL NORTEnorteNCn\operatorname{NC}^n DLOGTIME parece ser el más pequeño que podría funcionar. He leído en varios lugares queL ⊆ NC2L⊆NC2\, \operatorname{L} \subseteq …

9 cc.complexity-theory  circuit-complexity 

En el problema de Max-Cut , se busca un subconjunto S de vértices de un gráfico simple no dirigido dado de modo que el número de aristas entre S y el complemento de S sea lo más grande posible. Max-Cut es APX-complete en gráficos de grado acotado [PY91], y de …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Supongamos un marco en la complejidad de la comunicación donde tenemos dos jugadores A (piojos) y B (ob) y un R (árbitro). A y B no se comunican directamente entre sí. En cada ronda de comunicación, cada uno de ellos envía un mensaje ( , ) a la R. R …

9 cc.complexity-theory  reference-request  communication-complexity 

Estoy tratando de mostrar que un cierto problema no es posible por una reducción de la cobertura establecida. Mi reducción transforma una instancia con conjuntos de tierra de conjuntos de tamaño nnn y mmm en una instancia de mi problema donde un determinado parámetro rrr es de tamaño O(n+m)O(n+m)O(n+m) . …

9 cc.complexity-theory  approximation-hardness  set-cover 

En todas partes que leí sobre el problema de corte más escaso, solo dice que se sabe que el problema es NP- duro. ¿Dónde puedo encontrar una prueba de esto? ¿Qué problema NP- duro conocido se reduce al problema de corte más escaso? No pude encontrar ninguna prueba en el …

9 cc.complexity-theory  reference-request  np-hardness 

La complejidad de Kolmogorov de una cadena no es computable. Sin embargo, en un subconjunto aleatorio de tamaño de cadenas binarias de longitud , el número se espera que tengan menos de complejidad algún entero menor que (en función de , y )?METROMMnortennnorte0 0n0n_{0}nortennMETROMMnortenortennorte0 0norte0 0n_{0}

9 cc.complexity-theory  kolmogorov-complexity 

Me gustaría tener un límite en la cardinalidad del conjunto de gráficos de unidades de disco con vértices. Se sabe que verificar si un gráfico es miembro de este conjunto es NP-hard. ¿Esto conduce a un límite inferior en la cardinalidad, suponiendo P ≠ NP?NNN≠≠\neq Por ejemplo, suponga que hay …

9 cc.complexity-theory  graph-theory 

Sea una matriz o con entradas . ¿Alguien puede proporcionarme una matriz para que ? ¿Cuál es la B explícita más pequeña que se conoce de modo que \ operatorname {per} (A) = \ det (B) ? ¿Alguna referencia sobre esto con ejemplos explícitos?UNAUNAA3 × 33×33 \times 34×44 4×4 44 …

9 cc.complexity-theory  algebraic-complexity  permanent 

Incluso si no es un punto crucial, no veo ninguna literatura sobre esta cuestión. ¿Hay resultados de relativización? ¿No sería bastante sencillo demostrar una inclusión estricta adaptando el teorema de la jerarquía de tiempo no determinista explorando todos los caminos posibles de la máquina NP?

9 cc.complexity-theory  complexity-classes 

Parece que en los lenguajes de consulta populares para bases de datos relacionales, es posible crear consultas que requerirán muchos recursos para responder. En la práctica, los administradores de bases de datos administran esto limitando la cantidad de memoria por consulta y verificando si hay consultas de larga duración si …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

Me ha fascinado la explosión extraordinaria en Smoothed Analysis y me llamó la atención una afirmación en el artículo Smoothed Analysis of Integer Programming . Esto indicó que la programación lineal entera está en P suavizado si está polinómicamente limitada. ¡Esto era esencial porque la programación de enteros es pseudo-polinomial! …

9 cc.complexity-theory  smoothed-analysis 

Esta pregunta surgió en el contexto de la criptografía, pero a continuación la presentaré en términos de teoría de la complejidad, ya que las personas aquí están más familiarizadas con esta última. Esta pregunta está relacionada con problemas en NP pero no en Promedio-P / poli y No uniformidad de …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity