Ciencias de la computación teórica

Preguntas y respuestas para científicos informáticos teóricos e investigadores en campos relacionados.

4
¿Por qué consideramos el espacio logarítmico como un modelo de computación eficiente (en lugar del espacio poligráfico)?
Esta podría ser una pregunta subjetiva en lugar de una con una respuesta concreta, pero de todos modos. En teoría de la complejidad estudiamos la noción de cálculos eficientes. Hay clases como representa el tiempo polinómico y representa el espacio de registro . Se considera que ambos están representados como …
3
¿Existe una noción sensata de un algoritmo de aproximación para un problema indecidible?
Se sabe que ciertos problemas son indecidibles, pero sin embargo es posible avanzar en su solución. Por ejemplo, el problema de detención es indecidible, pero se puede hacer un progreso práctico en la creación de herramientas para detectar posibles bucles infinitos en su código. Los problemas de mosaico a menudo …
11
¿Cuál es la forma más eficiente de generar una permutación aleatoria a partir de intercambios probabilísticos por pares?
La pregunta que me interesa está relacionada con la generación de permutaciones aleatorias. Dada una puerta de intercambio por parejas probabilística como el bloque de construcción básico, ¿cuál es la forma más eficiente de producir una permutación aleatoria uniforme de elementos? Aquí considero que la "puerta de intercambio por parejas …
3
Inserciones superficiales versus profundas
Al codificar una lógica en un asistente de prueba tales como Coq o Isabelle, una elección debe ser hecha entre usar un poco profunda y una profunda incrustación. En una incrustación superficial, las fórmulas lógicas se escriben directamente en la lógica del probador de teoremas, mientras que en una incrustación …
20
Problemas NP-duros en los árboles
Varios problemas de optimización que se sabe que son NP-hard en los gráficos generales se pueden resolver trivialmente en tiempo polinómico (algunos incluso en tiempo lineal) cuando el gráfico de entrada es un árbol. Los ejemplos incluyen cobertura mínima de vértice, conjunto independiente máximo, isomorfismo de subgrafo. Mencione algunos problemas …
4
¿Cuáles son las consecuencias de
Sabemos que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} y que L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , donde L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . También sabemos que polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}porque el último tiene problemas completos bajo el espacio logarítmico reducciones de muchos uno mientras que el primero no (debido al teorema …
6
Buenos ejemplos de cómo escribir bien en TCS
Estaba editando un manuscrito estudiantil. El estudiante comentó que sería bueno ver ejemplos de escritura de calidad en trabajos publicados, y me di cuenta de que realmente no podía sacar buenos ejemplos de mi cabeza. ¿Cuáles son los mejores ejemplos de escritura matemática de calidad que has visto? Reglas: Prefiero …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.