Lista de temas de computabilidad y complejidad - List of computability and complexity topics
Esta es una lista de temas de computabilidad y complejidad , por página de Wikipedia.
La teoría de la computabilidad es la parte de la teoría de la computación que se ocupa de lo que se puede calcular, en principio. La teoría de la complejidad computacional se ocupa de la dureza de los cálculos, en términos cuantitativos, tanto con límites superiores ( algoritmos cuya complejidad en el peor de los casos, como el uso de recursos informáticos, puede estimarse), y desde abajo (pruebas de que no hay procedimiento para realizar algunos la tarea puede ser muy rápida).
Para asuntos fundamentales más abstractos, consulte la lista de temas de lógica matemática . Consulte también la lista de algoritmos , la lista de temas generales de algoritmos .
Cálculo
- Tabla de búsqueda
- Historia de las computadoras
- Algoritmo de multiplicación
- División por dos
- Exponenciar al cuadrar
- Cadena de adición
- Aritmética de Presburger
Teoría de la computabilidad: modelos de computación
- Circuitos aritméticos
- Algoritmo
-
Autómata de estado finito
- Máquina harinosa
- Máquina de registro Minsky
- Máquina de moore
- Diagrama de estado
- Sistema de transición estatal
- Autómata finito determinista
- Autómata finito no determinista
- Autómata finito no determinista generalizado
- Lenguaje habitual
- Expresión regular
- Gramática regular
- Prefijo de gramática
- Autómata de árbol
- Autómata de empuje
- Autómata Büchi
- Jerarquía de Chomsky
- Registrar máquina
- Máquina de apilar
- Red de Petri
- Máquina de correos
- Reescritura
- Altura de la estrella
- Autómata celular
- máquina de Turing
- Cálculo lambda
- Lógica combinatoria
- Computación paralela
- Taxonomía de Flynn
- Computadora cuántica
- Tesis de Church-Turing
Problemas de decisión
- Entscheidungsproblem
- Detener el problema
- Problema de correspondencia postal
- Lenguaje decidible
- Problema verbal para grupos
- Baldosa Wang
- Baldosas Penrose
Preguntas de definibilidad
- Número computable
- Número definible
- Probabilidad de detención
- Teoría algorítmica de la información
- Probabilidad algorítmica
- Compresión de datos
Teoría de la complejidad
- Asesoramiento (complejidad)
- Análisis amortizado
- Protocolo Arthur-Merlin
- Mejores y peores casos
- Castor ocupado
- Complejidad del circuito
- Función construible
- Teorema de Cook
- Tiempo exponencial
- Problema de funcionamiento
- Tiempo lineal
- Teorema de aceleración lineal
- Prueba natural
- Tiempo polinomial
- Reducción muchos-uno del tiempo polinomial
- Reducción de Turing en tiempo polinómico
- Teorema de Savitch
- Teorema de la jerarquía espacial
- Velocidad previa
- Teorema de aceleración
- Tiempo subcuadrático
- Teorema de la jerarquía temporal
Clases de complejidad
Ver la lista de clases de complejidad
Problemas nombrados
- Problema de camarilla
- Problema del ciclo hamiltoniano
- Problema del camino hamiltoniano
- Factorización de enteros
- Problema de la mochila
- Problema de satisfacción
- Problema de suma de subconjuntos
- 3SUM
- Problema del vendedor ambulante
- Problema de cobertura de vértice
- Función unidireccional
- Establecer problema de portada
- Problema de conjuntos independientes
Extensiones
- Algoritmo probabilístico , algoritmo aleatorio
- Algoritmo de Las Vegas
- No determinismo
- Máquina de Turing no determinista
- Computación interactiva
- Sistema de prueba interactivo
- Máquina probabilística de Turing
- Algoritmo de aproximación
- Recocido simulado
- Algoritmo de colonia de hormigas
- Semántica del juego
- Juego generalizado
- Sistema de agentes múltiples
- Complejidad parametrizada
- Cálculos de proceso
- Hipercomputación
- Computación real