Preguntas etiquetadas con cc.complexity-theory

¿Esta respuesta a los principales problemas no resueltos en informática teórica? La pregunta indica que está abierto si un problema particular en NP requiere tiempo de .Ω(n2)Ω(n2)\Omega(n^2) Mirar los comentarios a continuación me hizo preguntarme: Además del relleno y trucos similares, ¿cuál es el límite inferior de complejidad de tiempo …

25 cc.complexity-theory  np  p-vs-np 

¿Qué se sabe sobre la complejidad computacional de factorizar enteros en campos de números generales? Más específicamente: Sobre los enteros representamos enteros a través de sus expansiones binarias. ¿Cuáles son las representaciones análogas de enteros en los campos numéricos generales? ¿Se sabe que la primalidad sobre los campos numéricos está …

25 cc.complexity-theory  nt.number-theory  comp-number-theory 

Esta pregunta surge por pura curiosidad (surgió mientras pensaba en desarmar una cadena , pero no estoy seguro de si realmente está relacionada), así que espero que sea apropiada. Hay varios productos gráficos, y estoy interesado en alguno de ellos aquí. ¿Cuál es la complejidad de determinar si un gráfico …

25 cc.complexity-theory  graph-algorithms 

Dado un gráfico no dirigido y no ponderado y un entero par , ¿cuál es la complejidad computacional de contar conjuntos de vértices tal que y el subgrafo de restringido al conjunto de vértices admite una combinación perfecta? ¿La complejidad # P-completa? ¿Hay alguna referencia para este problema?k S ⊆ …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

Pregunta: ¿Cuál es el límite inferior de tamaño de fórmula más conocido para una función explícita en AC 0 ? ¿Existe una función explícita con un límite inferior ?Ω ( n2)Ω(n2)\Omega(n^2) Fondo: Como la mayoría de los límites inferiores, los límites inferiores del tamaño de la fórmula son difíciles de …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

He leído en varios artículos que la existencia de funciones unidireccionales se cree ampliamente. ¿Alguien puede arrojar luz sobre por qué este es el caso? ¿Qué argumentos tenemos para apoyar la existencia de funciones unidireccionales?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function 

Supongamos que tenemos una clase de objetos (por ejemplo, gráficos, cadenas) y una relación de equivalencia en estos objetos. Para los gráficos esto podría ser isomorfismo gráfico. Para las cadenas, podríamos declarar dos cadenas equivalentes si son anagramas entre sí. Estoy interesado en calcular un representante para una clase de …

25 cc.complexity-theory 

Es un algoritmo determinista de tiempo polinómico conocido para el siguiente problema: Entrada: un número natural (en codificación binaria)nortenn Salida: un número primo .p > np>np > n (Según una lista de problemas abiertos de Leonard Adleman, el problema se abrió en 1995).

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

Disculpas por hacer una pregunta que seguramente debe estar en muchas referencias estándar. Tengo curiosidad acerca de exactamente la pregunta en el título, en particular estoy pensando en los circuitos booleanos, sin límite de profundidad. Pongo "el más pequeño" entre comillas para permitir la posibilidad de que haya varias clases …

25 cc.complexity-theory  circuit-complexity 

Hola chicos, entiendo que el truco de relleno nos permite traducir clases de complejidad hacia arriba - por ejemplo, . El relleno funciona "inflando" la entrada, ejecutando la conversión (digamos de N P a P ), lo que produce un algoritmo "mágico" que puede ejecutar en la entrada rellenada. Si …

25 cc.complexity-theory  complexity-classes  padding 

¿Hay alguna referencia que cubra esto?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

A la luz del resultado reciente de Arora, Barak y Steurer, Algoritmos subexponenciales para juegos únicos y problemas relacionados , me interesan los problemas de gráficos que tienen algoritmos de tiempo subexponenciales pero que no se pueden resolver polinomialmente. Un ejemplo famoso es isomorfismo gráfico que tiene algoritmo subexponencial de …

25 cc.complexity-theory  reference-request 

Es bien sabido que cualquier prueba que resuelva la cuestión P vs NP debe superar la relativización , las pruebas naturales y las barreras de algebrización . El siguiente diagrama divide el "espacio de prueba" en diferentes regiones. Por ejemplo, RNRNRN corresponde al conjunto de pruebas que se relativizan y …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

RP es la clase de problemas que puede resolver una máquina de Turing no determinista que termina en tiempo polinómico, pero también se permite un error unilateral. P es la clase habitual de problemas que puede resolver una máquina de Turing determinista que termina en tiempo polinómico. P = RP …

25 cc.complexity-theory  derandomization  conditional-results  randomized-algorithms 

Considere el siguiente problema: dada una fórmula CNF y una asignación que satisface esta fórmula, ¿hay otra asignación satisfactoria para esta fórmula? ¿Cuál es la complejidad de este problema? (Seguramente está en NP, pero ¿también es NP-hard?) ¿Qué sucede si no se le asigna la tarea y solo desea decidir …

25 cc.complexity-theory  np-hardness  sat  unique-solution