Ω(nlogn)El límite inferior para la clasificación solo funciona para algoritmos de clasificación basados en la comparación, sin esta restricción y en modelos más generales de cómputo podría ser posible resolver la clasificación más rápido, incluso en tiempo lineal. (Ver el comentario de Josh a continuación).
Aquí hay algunos métodos directos básicos para probar los límites inferiores en la teoría de la complejidad computacional para los modelos más generales de computación (máquinas y circuitos de Turing).
I. Contando:
Idea: Mostramos que hay más funciones que algoritmos.
Ej: Hay funciones que requieren circuitos exponencialmente grandes.
El problema con este método es que es un argumento existencial y no proporciona ninguna función explícita ni ningún límite superior sobre la complejidad del problema que se ha demostrado que es difícil.
II Combinatorio / Algebraico:
Idea: Analizamos los circuitos y mostramos que tienen una propiedad particular, por ejemplo, las funciones calculadas por ellos pueden ser aproximadas por alguna clase agradable de objeto matemático, mientras que la función objetivo no tiene esa propiedad.
AC0AC0[p]
El problema con este método es que en la práctica solo ha funcionado para clases pequeñas y relativamente fáciles de analizar. También existe la barrera de pruebas naturales de Razborov-Rudich, que de alguna manera formaliza por qué las propiedades simples por sí mismas es poco probable que sean suficientes para probar los límites inferiores del circuito más general.
El artículo de Razborov " Sobre el método de aproximación " argumenta que el método de aproximación está completo para probar límites inferiores en cierto sentido.
III. Diagonalización
Idea. Diagonalizamos contra las funciones en la clase más pequeña. La idea se remonta a Gödel (e incluso a Cantor).
Ex. Teoremas de la jerarquía del tiempo , Teorema de la jerarquía del espacio , etc.
PPSpacePPSpace
También tenemos la barrera de relativización (que se remonta a Baker, Gill y Solovay) y la barrera de algebraización (de Aaronson y Wigderson) que establecen que tipos particulares de argumentos de diagonalización se transferirán a otros entornos donde el resultado es demostrablemente falso.
Tenga en cuenta que estas barreras no se aplican a argumentos de diagonalización más generales. De hecho, según el artículo de Dexter Kozen " Indexación de clases subrecursivas ", la diagonalización está completa para probar los límites inferiores.
Como probablemente haya notado, existe una fuerte relación entre encontrar buenos simuladores universales para una clase de complejidad y separar esa clase de complejidad de las clases más grandes (para una declaración formal, consulte el documento de Kozen).
Trabajos recientes
Para avances recientes, consulte los documentos recientes de Ryan Williams . No los discuto en esta respuesta, ya que espero que el propio Ryan escriba una respuesta.