Ciencias de la computación teórica

Resultado 1: el teorema de Linial-Mansour-Nisan dice que el peso de Fourier de las funciones calculadas por los circuitos AC0AC0\mathsf{AC}^0 se concentra en los subconjuntos de pequeño tamaño con alta probabilidad. Resultado 2: El PARITYPARITY\mathsf{PARITY} tiene su peso de Fourier concentrado en el coeficiente de grado nnn . Pregunta: ¿Hay …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Sabemos que si la brecha entre los valores de un programa entero y su dual (la "brecha de dualidad") es cero, entonces las relajaciones de programación lineal del programa entero y la dual de la relajación, ambos admiten soluciones integrales (integralidad "cero" brecha"). Quiero saber si lo contrario es válido, …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

¿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 

Estoy interesado en el problema "más cercano" (y "más complejo") de la conjetura de Collatz que se ha resuelto con éxito (que Erdos dijo que "las matemáticas aún no están maduras para tales problemas"). Se ha demostrado que una clase de problemas "tipo Collatz" es indecidible. Sin embargo, los problemas …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Sería bueno recopilar una lista de condiciones que impliquen que un lenguaje L sin contexto es regular, es decir, condiciones de la forma: "si un CFG / PDA dado tiene la propiedad P, entonces sus idiomas son regulares" La propiedad P no tiene que caracterizar los CFG que generan lenguajes …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

¿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 

(ya preguntado en el sitio principal , pero preguntando también aquí por una mejor cobertura, lo siento) Como conocía las estructuras de datos sucintas, necesito desesperadamente una buena visión general de los desarrollos más recientes en esa área. Busqué en Google y leí muchos artículos que pude ver en la …

14 reference-request  ds.data-structures  advice-request  space-time-tradeoff 

Por lo que puedo decir, casi todas las implementaciones de QKD usan el algoritmo CASCADE de Brassard y Salvail para la corrección de errores. ¿Es este realmente el método más conocido para corregir errores en una secuencia compartida de qubits aleatorios, o hay una mejor propuesta de que las implementaciones …

14 cr.crypto-security  quantum-computing  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