Preguntas etiquetadas con cc.complexity-theory

¿Cuál es la complejidad de consulta más conocida del algoritmo de aprendizaje Goldreich-Levin? Las notas de la conferencia del blog de Luca Trevisan , Lemma 3, lo declaran como . ¿Es este el más conocido en términos de dependencia de ? ¡Estaré particularmente agradecido por una referencia a una fuente …

14 cc.complexity-theory  reference-request  lg.learning  fourier-analysis 

Estoy buscando información sobre la complejidad computacional de la multiplicación de matrices de matrices rectangulares. Wikipedia afirma que la complejidad de multiplicar por B ∈ R n × p es O ( m n p ) (multiplicación del libro escolar).A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times p}O(mnp)O(mnp)O(mnp) Tengo un …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

Estoy comenzando mi doctorado este otoño y estoy planeando trabajar en teoría de la complejidad para mi tesis. Estoy compilando una lista de documentos importantes que todo teórico de la complejidad debería saber. ¿Qué documentos le sugerirías a una persona como yo? Y explique brevemente por qué cree que el …

14 cc.complexity-theory  reference-request  big-list 

¿Cuál es la complejidad computacional de optimizar varias funciones sobre el grupo unitario U(n)U(n)\mathcal{U}(n) ? Una tarea típica, que surgen a menudo en la teoría de la información cuántica, sería maximizar una cantidad de tipo (o superior polinomios de orden en U ) sobre toda unitaria matrices U . ¿Es …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

Estoy interesado en la historia temprana de los resultados publicados sobre compensaciones de espacio-tiempo de propósito general. En particular, quiero saber quién describió por primera vez el siguiente tipo de algoritmo para evaluar un cálculo que tiene un gráfico de flujo de datos arbitrario con O en grado (1) usando …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff 

Respuesta: no conocida. Las preguntas formuladas son naturales, abiertas y aparentemente difíciles; La pregunta ahora es una wiki comunitaria. Visión general La pregunta busca dividir los idiomas que pertenecen a la clase de complejidad PPP , junto con las máquinas de Turing de decisión (TM) que aceptan estos idiomas, en …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

En el documento de Ben-Dor / Halevi [1] se da otra prueba de que el permanente es -completo. En la parte posterior del documento, muestran la cadena de reducción mientras el valor permanente se conserva a lo largo de la cadena. Como el número de asignaciones satisfactorias de una fórmula …

14 cc.complexity-theory  counting-complexity  permanent 

El problema del ancho de banda del gráfico se define de la siguiente manera. Dado un gráfico , un diseño de es un mapeo uno a uno de los vértices de en los enteros . El ancho de banda de se define comoG = ( V, E)sol=(V,mi)G=(V,E) G G { …

14 cc.complexity-theory 

Pregunta. En su artículo, Simulación mejorada de circuitos estabilizadores , Aaronson y Gottesman afirman que simular un circuito CNOT es ⊕L -completo (bajo reducciones de espacio de registro). Está claro que está contenido en ⊕L ; ¿Cómo se mantiene el resultado de la dureza? Equivalente: ¿hay una reducción de espacio …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Sé que (logarítmicamente muchas llamadas al oráculo NP) es equivalente a P N P | El | (número polinómico de consultas paralelas al oráculo NP). Me preguntaba si la versión de "función" de estas clases también es equivalente, es decir, siPAGN P [logn ]PAGnortePAG[Iniciar sesión⁡norte]\mathsf{P}^{\mathsf{NP}[\log n]}PAGN P | El |PAGnortePAGEl …

14 cc.complexity-theory  complexity-classes 

Esta pregunta está relacionada con una de mis preguntas anteriores, problemas NP-hard en los árboles . Estoy buscando problemas que sean P-completos en los árboles.

14 cc.complexity-theory  graph-theory  tree  p-hardness 

La forma más común en que ocurren los oráculos en la teoría de la complejidad es la siguiente: se pone a disposición un oráculo fijo , por ejemplo, para una máquina de Turing con ciertos recursos limitados, y uno estudia cómo el oráculo aumenta el poder computacional de la máquina. …

14 cc.complexity-theory  oracles 

Existen varios problemas en la teoría de representación combinatoria y la geometría algebraica para los cuales no se conoce una fórmula positiva. Estoy pensando en varios ejemplos, pero permítanme tomar los coeficientes de cálculo de Kronecker como mi ejemplo. Por lo general, la noción de "fórmula positiva" no se define …

14 cc.complexity-theory  counting-complexity  lower-bounds 

Beigi, Shor y Watrous tienen un muy buen artículo sobre el poder de las pruebas cuánticas interactivas con mensajes cortos. Consideran tres variantes de 'mensajes cortos', y la específica que me interesa es su segunda variante donde se puede enviar cualquier número de mensajes, pero la longitud total del mensaje …

14 cc.complexity-theory  quantum-computing  interactive-proofs 

Se sabe desde hace mucho tiempo que, dado cualquier grado de re Turing, existe un grupo finitamente presentado cuyo problema de palabras está en ese grado. Mi pregunta es si lo mismo es cierto para los grados de Turing de tiempo polinómico arbitrario . Específicamente, dado un conjunto decidible, , …

14 cc.complexity-theory  computability  gr.group-theory