En general, la cinta de consulta para un oráculo cuenta para la complejidad espacial de una TM. Sin embargo, parece plausible permitir una cinta de oráculo de solo escritura (como la que se usa en las reducciones de espacio L). ¿Es útil esta construcción? ¿Produce algún resultado particularmente...
La clase de complejidad PPAD (por ejemplo, el cálculo de varios equilibrios de Nash) se puede definir como el conjunto de problemas de búsqueda total polytime reducible a FIN DE LA LÍNEA : FIN DE LA LÍNEA : Dados los circuitos S y P con n bits de entrada y n bits de salida de modo que P (0 n ) = 0...
La autorreferencialidad del problema P / NP a veces se ha resaltado como una barrera para su resolución, ver, por ejemplo, el artículo de Scott Aaronson, ¿ es P vs. NP formalmente independiente ? Una de las muchas resoluciones concebibles para P / NP sería una demostración de que el problema es...
[Nota: creo que esta pregunta de ninguna manera depende de la corrección o incorrección del documento de Deolalikar.] En el blog de Scott Aaronson, Shtetl Optimized , en la discusión sobre el reciente intento de Deolalikar de P vs NP, Leonid Gurvits hizo el siguiente comentario : Traté de...
Existe una gran literatura sobre "pruebas de propiedad": el problema de realizar una pequeña cantidad de consultas de recuadro negro a una función para distinguir entre dos casos:F: { 0 , 1 }norte→ RF:{0 0,1}norte→Rf\colon\{0,1\}^n \to R es miembro de alguna clase de funciones CFFfCC\mathcal{C}...
Con algunos algoritmos aleatorios, puede desrandomizar el algoritmo, eliminando (a un posible costo en tiempo de ejecución) el uso de bits aleatorios y maximizando un límite inferior en el objetivo (generalmente calculado utilizando el hecho de que los teoremas son sobre el rendimiento esperado del...
Los lenguajes de hoja son una forma hermosa de definir uniformemente muchas clases de complejidad. La mayoría de las clases de complejidad generalmente se especifican mediante un modelo de cálculo (por ejemplo, TM determinista / aleatorizado) y un límite de recursos (tiempo de registro, espacio...
Al leer algunos subprocesos recientes sobre computación cuántica ( aquí , aquí y aquí ), me hace recordar una pregunta interesante sobre el poder de algún tipo de máquina de preservación ℓpℓp\ell_p -norm. Para las personas que trabajan en la teoría de la complejidad que van a la complejidad...
Una cadena de suma es una secuencia de enteros positivos donde y cada índice , tenemos para algunos índices . La longitud de la cadena de adición es ; El objetivo de la cadena de suma es .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i n(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n)x1=1x1=1x_1 =...
En el documento "Un Compendio de problemas completos para P" de Greenlaw, Hoover y Ruzzo (PS) (PDF) , hay una lista de problemas en P que no se sabe que están en Carolina del Norte y que tampoco se sabe que están completos en P . (Esta lista incluye todos los problemas abiertos en la excelente...
Supongamos que tenemos una matriz n por n. ¿Es posible reordenar sus filas y columnas de manera que obtengamos una matriz triangular superior? Esta pregunta está motivada por este problema: ordenamiento topológico positivo El problema de decisión original es al menos tan difícil como este, por...
Sea sea una función. Queremos estimar el promedio de ; es decir: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )f:{0,1}n→(2−n,1]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]fffE[f(n)]=2−n∑x∈{0,1}nf(x)E[f(n)]=2−n∑x∈{0,1}nf(x)\mathbb{E}[f(n)]=2^{-n}\sum_{x\in \lbrace 0,1...
Immerman y Szelepcsenyi demostraron independientemente que . Usando su técnica de conteo inductivo, Borodin et al probaron que S A C i está cerrado bajo complementación, para i > 0 . Antes del teorema de Reingold ( S L = L ), Nisan y Ta-Shma demostraron S L = c o S L , utilizando reducciones de...
Estaba usando Jung ( http://jung.sourceforge.net/ ) para visualizar el rango de la página y me pareció un poco lento y difícil escalarlo más allá de 100 nodos. Me preguntaba qué otras herramientas utilizan las personas para el análisis y la visualización de redes / redes
Un problema clásico en la teoría de la probabilidad es expresar la probabilidad de un evento en términos de eventos más específicos. En el caso más simple, se puede decir P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B] . Escritura Vamos ABABAB para el evento...
Supongamos que tenemos un problema parametrizado por un parámetro de valor real p que es "fácil" de resolver cuando y "difícil" cuando para algunos valores , . p = p 1 p 0 p 1p = p0 0p=p0p=p_0p = p1p=p1p=p_1pag0 0p0p_0pag1p1p_1 Un ejemplo es contar configuraciones de giro en gráficos. Contando los...
Estoy buscando una buena encuesta sobre algoritmos y complejidad del álgebra lineal (operaciones como rango, inverso, valores propios, ... para matrices booleanas, y enteros / racionales) con énfasis en paralelo ( jerarquía ) y algoritmos polytime. No pude encontrar uno reciente....
La mayoría de los documentos ahora se escriben en colaboración, y los colaboradores a menudo se encuentran en diferentes lugares. Siempre he usado sistemas de control de versiones para mis documentos y código, y también he encontrado que el control de versiones es crítico para proyectos de software...
En la clase de complejidad , se conjetura que algunos problemas NO están en la clase N C , es decir, problemas con algoritmos deterministas paralelos. El problema del flujo máximo es un ejemplo. Y se cree que hay problemas en N C , pero todavía no se encuentra una prueba.PAGP\mathsf{P}N...
Es bien sabido que la exponenciación modular (la parte principal de una operación RSA) es computacionalmente costosa, y hasta donde yo entiendo, la técnica de exponenciación modular de Montgomery es el método preferido. La exponenciación modular también se destaca en el algoritmo de factorización...