En la teoría de complejidad de cómputo, el punto de congelación de la clase de la complejidad es el sistema de los problemas de la función que se pueden solucionar por una máquina determinista de Turing en el tiempo polinómico ; es la versión del problema de la función P de la clase del problema de decisión . En línea general, es la clase de funciones que se puedan computar eficientemente en las computadoras clásicas sin la distribución aleatoria.

el punto de congelación se define formalmente como: la relación binaria P ( x, y ) del

A del está en el punto de congelación si y solamente si hay un algoritmo polinómico determinista del tiempo que, dado el x, puede encontrar un cierto y tales que P ( x, y ) se sostiene.

La diferencia entre el punto de congelación y P es que los problemas en el P tienen uno-pedacito, las respuestas sí/no, mientras que los problemas en el punto de congelación pueden tener cualquier salida que se pueda computar en tiempo polinómico. Por ejemplo, el adición de dos números es un problema del punto de congelación, mientras que la determinación de si su suma es impar está en el P . Más compleja es la relación entre el punto de congelación y el FNP . se define el FNP como sigue: la relación binaria P ( x, y ) A del, donde está a lo más polynomially más largo el y que el x, está en el FNP si y solamente si hay un algoritmo polinómico determinista del tiempo que puede determinar si los asimientos de P ( x, y ) dados el x y el y .

Es decir, en vez simplemente de verificar el y, el algoritmo para solucionar un problema del punto de congelación debe encontrar su valor. Esto es similar a la relación del cómputo/de la verificación entre el P y NP ; también demuestra que el punto de congelación está contenido en el FNP . De hecho, punto de congelación del = FNP si y solamente si P = NP .

los problemas de la función del Polinómico-tiempo son fundamentales en la definición de las reducciones del Polinómico-tiempo que se utilizan alternadamente para definir la clase de problemas NP-completos .

Porque una máquina que utiliza el espacio logarítmico tiene a lo más polynomially muchas configuraciones, el la Florida, el sistema del de los problemas de la función que se pueden calcular en logspace, se contiene en el punto de congelación . No se sabe si el la Florida = el punto de congelación ; esto es análogo al problema de determinar si el P de las clases de la decisión y el L son iguales.