Mi teorema favorito en teoría de la complejidad es el teorema de la jerarquía del tiempo. Sin embargo, esto se hizo en 1965. Quería saber si había algo similar para Quantum Computing. Además, si no, ¿cuáles son las personas / grupos que trabajan en esta
En la teoría de la información cuántica, la distancia entre dos canales cuánticos a menudo se mide utilizando la norma del diamante. También hay varias formas de medir la distancia entre dos estados cuánticos, como la distancia de rastreo, la fidelidad, etc. El isomorfismo de Jamiołkowski...
Supongamos que es el peor tiempo de ejecución de un problema en una entrada de tamaño . Hagamos el problema un poco extraño arreglando para pero para .f(n)f(n)f(n)nnnf(n)=n2f(n)=n2f(n) = n^2n=2kn=2kn=2kf(n)=nf(n)=nf(n) = nn=2k+1n=2k+1n=2k+1 Entonces, ¿cuál es el límite inferior del problema? La...
Parece que se sabe que para encontrar una respuesta a una consulta sobre una base de datos relacional , se necesita tiempo , y no se puede eliminar el exponente.QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Como puede ser muy grande, nos preguntamos por qué las bases de datos funcionan en la...
Estoy interesado en modelos de gráficos aleatorios que son similares a los gráficos de redes informáticas reales. No estoy seguro de si el modelo común bien estudiado ( vértices, cada borde posible se selecciona con probabilidad ) es bueno para estudiar redes informáticas reales (¿verdad?).G ( n ,...
La computación reversible es un modelo computacional que solo permite operaciones termodinámicamente reversibles. De acuerdo con el principio de Landauer, que establece que borrar un poco de información libera julios de calor, esto excluye las funciones de transición que no son uno a uno (por...
En su artículo (p. 503), Garey y Johnson comentan: ... podría existir un problema de NP-completo que no es NP-completo en sentido estricto ni resuelto por un algoritmo de tiempo pseudo-polinomial ... ¿Alguien sabe algunos problemas candidatos con las propiedades mencionadas...
¿Hay alguna referencia que proporcione detalles sobre los límites inferiores del circuito para problemas difíciles específicos que surgen en la criptografía, como la factorización de enteros, el problema de logaritmo discreto primario / compuesto y su variante sobre el grupo de puntos de curvas...
¿Cuáles son los mejores recursos para encontrar ofertas de trabajo para profesores en teoría de CS? ¿Hay algún sitio web o lista de correo en particular que sea bastante completo? Actualmente tengo la impresión de que uno tiene que usar una variedad de recursos para obtener una lista completa y...
Rn\mathbb{R}^n⟨⋅,⋅⟩\langle \cdot, \cdot \ranglemmv1,v2,…,vmv_1, v_2, \ldots, v_mx∈Rnx \in \mathbb{R}^nmin i ⟨ x , v i ⟩ mini⟨x,vi⟩\min_i \langle x, v_i \rangleO ( n m )O(nm)O(nm) n = 2 n=2n = 2O ( conecto 2 m )O(log2m)O(\log^2 m) Lo único que se me ocurre es lo siguiente. Es una consecuencia...
La pregunta es simple y directa: para un fijo , ¿cuántos idiomas (diferentes) son aceptados por un DFA de tamaño (es decir, estados)? Declararé formalmente esto:nortennnortennnortenn Defina un DFA como , donde todo está como de costumbre y es una función (posiblemente parcial). Necesitamos...
¡Predecir el mercado de valores es difícil! ¿Puede TCS hacer este sentimiento más formal? Recientemente comencé a pensar un poco sobre las finanzas y me preguntaba cómo podría ayudar el conocimiento de TCS. Los fondos de cobertura y las empresas de inversión parecen utilizar el comercio...
Antecedentes: Chao Xu publicó la siguiente pregunta hace algún tiempo: " ¿Hay algún algoritmo de clasificación de comparación conocido que no se reduzca a redes de clasificación, de modo que cada elemento se compare veces?O ( logn )O(logn)O(\log n) ". Parece que estamos un poco atascados con el...
Actualmente estoy interesado en obtener (o construir) y estudiar fórmulas 3-CNF que son insatisfactorias y de tamaño mínimo. Es decir, deben consistir en la menor cantidad posible de cláusulas (m = 8 preferiblemente) y la menor cantidad posible de variables distintas (n = 4 o más), de modo que...
Cálculo de la constante Cheeger de un gráfico , también conocida como la constante de isoperimétrico (porque es esencialmente una relación de área mínima y / o volumen), se sabe que es NP-completo. Generalmente es aproximado. Estoy interesado en saber si se conocen algoritmos polinómicos exactos...
Sea un gráfico no ponderado no dirigido con vértices aristas. ¿Es posible preprocesar y producir una estructura de datos de tamaño para que pueda responder consultas de la forma "distancia entren m G m ⋅ p o l y l o g ( n ) u vGGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuu y "...
Estoy interesado en la complejidad de resolver ecuaciones lineales módulo k , para k arbitrario (y con un interés especial en las potencias primarias), específicamente: Problema. Para un sistema dado de ecuaciones lineales en incógnitas módulo , ¿existe alguna solución?n kmmmnnnkkk En el...
Supongamos que tenemos un gráfico ponderado no dirigido (con pesos no negativos). Supongamos que todos los caminos más cortos en son únicos. Supongamos que tenemos estos \ binom {n} {2} caminos (secuencias de bordes no ponderados), pero no conocemos G en sí. ¿Podemos producir cualquier G que...
Hace poco tuve una discusión sobre las máquinas de Turing cuando me preguntaron: "¿La máquina de Turing se deriva de autómatas o es al revés"? No sabía la respuesta, por supuesto, pero tengo curiosidad por averiguarlo. La máquina de Turing es básicamente una versión un poco más sofisticada de un...
Se le da un gráfico con vértices. Puede ser bipartito si quieres. Hay conjuntos de aristas (digamos disjunto). Estoy interesado en el problema de encontrar un subconjunto , lo más pequeño posible (o incluso más pequeño), de modo que el gráfico inducido tenga al menos un borde de cada clase , para...