Algunas preguntas sobre computación paralela y la clase NC

14

Tengo varias preguntas relacionadas sobre estos dos temas.

En primer lugar, la mayoría de los textos de complejidad sólo pasan por alto la clase $\mathbb{NC}$ . ¿Existe un buen recurso que cubra la investigación más en profundidad? Por ejemplo, algo que discute todas mis preguntas a continuación. Además, supongo que todavía ve una buena cantidad de investigación debido a su vínculo con la paralelización, pero podría estar equivocado. La sección en el zoológico de complejidad no es de mucha ayuda. $\mathbb{NC}$

Segundo, el cálculo sobre un semigrupo está en si suponemos que la operación del semigrupo toma tiempo constante. Pero, ¿qué pasa si la operación no toma un tiempo constante, como es el caso de los enteros ilimitados? ¿Hay algún problema conocido de -complete? $\mathbb{NC}^1$ $\mathbb{NC}^i$

Tercero, desde , ¿hay algún algoritmo para convertir cualquier algoritmo de espacio de registro en una versión paralela? $\mathbb{L} \subseteq \mathbb{NC}^2$

Cuarto, parece que la mayoría de la gente supone que de la misma manera que . ¿Cuál es la intuición detrás de esto? $\mathbb{NC} \ne \mathbb{P}$ $\mathbb{P} \ne \mathbb{NP}$

Quinto, cada texto que he leído menciona la clase pero no da ejemplos de problemas que contiene. ¿Hay alguna? $\mathbb{RNC}$

Finalmente, esta respuesta menciona problemas en con tiempo de ejecución paralelo sublineal. ¿Cuáles son algunos ejemplos de estos problemas? ¿Hay otras clases de complejidad que contienen algoritmos paralelos que no se sabe que están en ? $\mathbb{P}$ $\mathbb{NC}$

— Mike Izbicki
fuente

1

Además, tenga en cuenta esta pregunta similar.

— Nicholas Mancuso

9

Tercero, desde , ¿hay algún algoritmo para convertir algún algoritmo de espacio de registro en una versión paralela? $\sf{L} \subseteq \sf{NC}^2$

Puede mostrarse (libro de texto de Arora y Barak) dado un -tiempo TM , que un TM inconsciente (es decir, un TM cuyo movimiento de la cabeza es independiente de su entrada ) puede construir un circuito para calcular donde . $t(n)$ $M$ $M'$ $x$ $C_n$ $M(x)$ $|x| = n$

El bosquejo de la prueba está en la línea de hacer que simule y defina "instantáneas" de su estado (es decir, posiciones de las cabezas, símbolos en las cabezas) en cada paso de tiempo (piense en un registro computacional). Cada paso se puede calcular a partir de y el estado . Debido a que cada instantánea involucra solo una cadena de tamaño constante, y solo existe una cantidad constante de cadenas de ese tamaño, la instantánea en puede ser calculada por un circuito de tamaño constante. $M'$ $M$ $t_i$ $t_i$ $x$ $t_{i-1}$ $t_i$

Si compones los circuitos de tamaño constante para cada , tenemos un circuito que calcula . Usando este hecho, junto con la restricción de que el lenguaje de está en , vemos que nuestro circuito es, por definición, logspace-uniform , donde uniformidad solo significa que nuestros circuitos en nuestra familia de circuitos computan Todos tienen el mismo algoritmo. No es un algoritmo personalizado para cada circuito que opera en el tamaño de entrada . $t_i$ $M(x)$ $M$ $\sf{L}$ $C_n$ $\{C_n\}$ $M(x)$ $n$

Nuevamente, a partir de la definición de uniformidad, vemos que los circuitos que deciden cualquier lenguaje en deben tener un función computable en La familia de circuitos tiene como máximo profundidad. $\sf{L}$ $\text{size}(n)$ $O(\log n).$ $\sf{AC}^1$ $O(\log n)$

Finalmente se puede demostrar que da la relación en cuestión. $\sf{AC}^1 \subseteq \sf{NC}^2$

En cuarto lugar, parece que la mayoría de la gente asume que de la misma manera que . ¿Cuál es la intuición detrás de esto? $\sf{NC} \neq \sf{P}$ $\sf{P} \neq \sf{NP}$

Antes de seguir adelante, definamos qué significa completitud. $\sf{P}$

Un lenguaje es -completo si y cada lenguaje en es espacio de registro reducible a él. Además, si es -completo, entonces se cumple lo siguiente $L$ $\sf{P}$ $L \in \sf{P}$ $\sf{P}$ $L$ $\sf{P}$

$L \in \sf{NC} \iff \sf{P} = \sf{NC}$
$L \in \sf{L} \iff \sf{P} = \sf{L}$

Ahora consideramos que es la clase de idiomas eficientemente decidida por una computadora paralela (nuestro circuito). Hay algunos problemas en que parecen resistir cualquier intento de paralelización (es decir, programación lineal y problema de valor de circuito). Es decir, ciertos problemas requieren que el cómputo se realice paso a paso. $\sf{NC}$ $\sf{P}$

Por ejemplo, el problema del valor del circuito se define como:

Dado un circuito , una entrada una puerta , ¿cuál es la salida de en ? $C$ $x$ $g \in C$ $g$ $C(x)$

No sabemos cómo calcular esto mejor que calcular todas las puertas que vienen antes de . Dado que algunos de ellos pueden calcularse en paralelo, por ejemplo, si todos ocurren en algún paso de tiempo , pero no sabemos cómo calcular la salida de las puertas en el paso de tiempo y el paso de tiempo para la dificultad obvia que las puertas en requieren la salida de las puertas en ! $g'$ $g$ $t_i$ $t_i$ $t_{i+1}$ $t_{i+1}$ $t_i$

Esta es la intuición detrás de . $\sf{NC} \neq \sf{P}$

Limits to Parallel Computation es un libro sobre -Completeness en la misma línea del libro -Completeness de Garey & Johnson . $\sf{P}$ $\sf{NP}$

— Nicholas Mancuso
fuente

Gracias por las 2 referencias y la respuesta parcial. El libro Los límites de la computación paralela funciona mejor que los otros libros que he visto, pero aún es relativamente antiguo y no es tan completo como me gustaría.

— Mike Izbicki

3

Quinto, cada texto que he leído menciona la clase RNC pero no da ejemplos de problemas que contiene. ¿Hay alguna?

El documento "Matching is as Easy as Matrix Inversion" de Mulmuley, Vazirani y Vazirani tiene varios ejemplos de problemas en la clase . El principal es encontrar una coincidencia máxima, luego reducen otros problemas a este. $\mathbb{RNC}^2$

— Mike Izbicki
fuente