reducción

En teoría de la computación y teoría de la complejidad computacional, una reducción es una transformación de un problema a otro problema. Dependiendo de la transformación usada, la reducción se puede utilizar para definir clases de complejidad en un conjunto de problemas. Intuitivamente, un problema es reducible a un problema si las soluciones de existen y dan una solución para siempre que tenga solución.Así, resolver no puede ser más difícil que resolver .Normalmente, esto se expresa de la forma , y se añade un subíndice en para indicar el tipo de reducción utilizada.Por ejemplo, se usa la letra como subíndice para indicar que la reducción puede realizarse en tiempo polinomial: .