En el modelo de caja negra, el problema de determinar la salida de una máquina BPP en la entrada es el problema de conteo aproximado de determinar con error aditivo 1/3 (digamos).x E r M ( x , r )METRO( x , r )M(x,r)M(x,r)XxxmirMETRO( x , r )ErM(x,r)E_r M(x,r) ¿Hay un problema similar para BQP?...
Quiero saber si la falta de uniformidad ayuda a las funciones informáticas en la práctica. Es fácil mostrar que hay funciones en , tome cualquier función no calificable y considere el lenguaje { }, que claramente tiene -circuitos uniformes, pero no es computable de manera uniforme en absoluto, pero...
Esta puede ser una pregunta básica, pero he estado leyendo y tratando de entender documentos sobre temas como el cálculo de equilibrio de Nash y las pruebas de degeneración lineal y no he estado seguro de cómo se especifican los números reales como entrada. Por ejemplo, cuando se afirma que LDT...
Acabo de enseñar el algoritmo de mincut aleatorio Karger-Stein en mi clase de algoritmos de posgrado. Esta es una verdadera joya algorítmica , así que no puedo no enseñarlo, pero siempre me deja frustrado, porque no conozco ninguna otra aplicación de la técnica principal. (Por lo tanto, es difícil...
Si es un gráfico d- no dirigido y S es un subconjunto de los vértices de la cardinalidad ≤ | V | / 2 , llame a la expansión del borde de S la cantidadG = ( V, E)G=(V,E)G=(V,E)reddSSS≤ | VEl | / 2≤|V|/2\leq |V|/2SSS ϕ ( S) : = Eresole s ( S, V- S)re⋅ | SEl | ⋅ | V- SEl...
Peter Shor mostró que dos de los problemas NP-intermedios más importantes, la factorización y el problema de registro discreto, están en BQP. Por el contrario, el algoritmo cuántico más conocido para SAT (búsqueda de Grover) solo produce una mejora cuadrática sobre el algoritmo clásico, lo que...
¿Qué son las "regiones fáciles" para la satisfacción? En otras palabras, condiciones suficientes para que un solucionador de SAT pueda encontrar una tarea satisfactoria, suponiendo que exista. Un ejemplo es cuando cada cláusula comparte variables con algunas otras cláusulas, debido a la prueba...
He estado pensando en el siguiente problema por un tiempo, y no he encontrado una solución polinómica para él. Solo de origen bruto. He estado tratando de reducir un problema NP-Complete en él también sin éxito. Aquí está el problema : Tiene un conjunto ordenado de pares enteros positivos. { (...
Lamento si esta pregunta es un poco vaga, pero tengo curiosidad por saber cómo los investigadores exitosos tienen una "idea" de los resultados en TCS. Por ejemplo, el álgebra lineal puede entenderse geométricamente o en términos de sus interpretaciones físicas (los vectores propios pueden...
Se sabe que dado un subconjunto -punto de (es decir, dado puntos en con la distancia euclidiana) es posible incrustarlos isométricamente en \ ell ^ {n \ eligen 2 } _1 .nnnℓd2ℓ2d\ell_2^dnnnRdRd{\mathbb R}^dℓ(n2)1ℓ1(n2)\ell^{n\choose 2}_1 ¿La isometría es computable en tiempo polinomial...
Estoy buscando códigos de corrección de errores del siguiente tipo: códigos binarios con tasa constante, decodificable a partir de una fracción constante de errores, por un decodificador implementable como un circuito booleano de tamaño , donde es la longitud de codificación.O (...
Tengo un pequeño problema para comprender completamente los pasos finales del algoritmo de factorización de Shor. Dada una que queremos factorizar, elegimos una aleatoria que tiene el orden .nortenorteNXXxrrr El primer paso consiste en configurar los registros y aplicar el operador Hadamard. El...
Soy un científico de la computación que toma un curso sobre topología (una pizca de topología de conjunto de puntos fuertemente aromatizada con la teoría del continuo). Me interesaron los problemas de decisión al probar una descripción de un espacio (por simplificaciones) para propiedades...
Para mi sorpresa, no pude encontrar documentos sobre esto, probablemente busqué las palabras clave incorrectas. Entonces, tenemos una variedad de cualquier cosa, y una función en sus índices; es una permutación.ffffff ¿Cómo reordenamos la matriz de acuerdo con con memoria y tiempo de ejecución...
No he logrado encontrar esta estructura de datos, pero no soy un experto en el campo. La estructura implementa un conjunto y es básicamente una matriz de elementos comparables con una invariante. La invariante es la siguiente (definida recursivamente): Una matriz de longitud 1 es una matriz de...
En general, se considera improbable que las computadoras cuánticas puedan resolver problemas NP-completos de manera eficiente. En el caso clásico, un enfoque para abordar tales problemas es utilizar algoritmos de aproximación. ¿Ha habido alguna investigación sobre algoritmos de aproximación que...
Estoy interesado en ejemplos de problemas en los que un teorema que aparentemente no tiene nada que ver con la mecánica / información cuántica (por ejemplo, afirma algo sobre objetos puramente clásicos), sin embargo, puede probarse utilizando herramientas cuánticas. Una encuesta de Quantum Proofs...
¿Cuál es la complejidad de decidir si un circuito con bits de entrada y bits de salida calcula una permutación de ? en otras palabras, si cada cadena de bits en es una salida del circuito para alguna entrada? Parece un problema que ha sido estudiado, pero no puedo encontrar ninguna referencia....
¿Por qué los lenguajes regulares (y de esas expresiones regulares) se llaman "regulares"? Hay mucha regularidad también en los idiomas sin contexto de otros tipos de idiomas. Supongo que, al principio, el adjetivo "regular" se ha utilizado para diferenciar ese tipo de idiomas de otros lenguajes...
Me confunde la sutil diferencia entre proposiciones y juicios cuando se expone a la teoría del tipo intuicionista. ¿Alguien puede explicarme cuál es el punto para distinguirlos y qué los distingue? Especialmente en vista del Curry-Howard