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. Sin embargo, a...
Después de escuchar a Emo Welzl hablar sobre el tema este verano, sé que el número de triangulaciones de un conjunto de puntos en el plano está entre Ω ( 8.48 n ) y O ( 30 n ) . Disculpas si estoy desactualizado; actualizaciones bienvenidas.nortenortenΩ ( 8.48norte)Ω(8.48norte)\Omega(8.48^n)O (...
Hice una búsqueda sobre esto, pero no pude encontrar una respuesta de ninguna manera. Huck respondió por completo. Gracias
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
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
¿Habría alguna consecuencia importante si SAT tuviera a lo sumo pruebas subexponenciales no firmes o, aún más fuerte, SAT tuviera algoritmos de tiempo
Tengo serios problemas para comprender un paso en el documento de Dobkin y Kirkpatrick sobre la separación de los poliedros. Estoy tratando de entender esta versión: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf Se argumenta que después de que conocemos la mejor...
Esta pregunta está inspirada en un comentario que Jukka Suomela hizo sobre otra pregunta . ¿Cuáles son ejemplos de problemas de cálculo (y algoritmos) infinitamente grandes pero localmente finitos? En otras palabras, ¿cuáles son ejemplos de cálculos que se detienen en un tiempo finito, en el...
Considera el problema de encontrar el número máximo de caballeros que se pueden colocar en un tablero de ajedrez sin que dos de ellos se ataquen entre sí. La respuesta es 32: no es demasiado difícil encontrar una coincidencia perfecta (el gráfico inducido por los movimientos de los caballeros es...
La declaración de investigación de JM Siskind dice: Stalin es un compilador optimizador para Scheme que realiza análisis estáticos de todo el programa y utiliza los resultados de ese análisis para generar código extremadamente eficiente. Stalin utiliza una gran colección de técnicas de análisis...
Estoy implementando alguna parte del sistema que requiere ayuda. Por lo tanto, lo estoy enmarcando como un problema gráfico para que sea independiente del dominio. Problema: se nos da un gráfico acíclico dirigido . Sin pérdida de generalidad, suponga que G tiene exactamente un vértice fuente s y...
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 { 1 , … , | V | } fFFfsolsolGsolsolG{ 1 , ... , | VEl |...
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...
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 3SAT se...
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...
Esta no es una tarea, aunque parece. Cualquier referencia es bienvenida. :-) Escenario: Hay bolas nnn diferentes y contenedores nnn diferentes (etiquetados de 1 a nnn , de izquierda a derecha). Cada bola se lanza de manera independiente y uniforme en los contenedores. Sea f(i)f(i)f(i) el número de...
Me pregunto cómo encontrar la circunferencia de un gráfico escaso no dirigido. Por escaso quiero decir . Por óptimo me refiero a la menor complejidad de tiempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensé en alguna modificación en el algoritmo de Tarjan para gráficos no dirigidos, pero no encontré buenos...
(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...
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...
¿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...