Reducción (complejidad)

Reducción (complejidad)

Saltar a navegación, búsqueda

Ejemplo de reducción de un problema de satisfacibilidad booleana a un problema de cobertura de vértices. Los vértices azules forman una cobertura que se corresponde con los valores verdaderos.

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 se puede utilizar para definir clases de complejidad en un conjunto de problemas. Intuitivamente, un problema A es reducible a un problema B si las soluciones de B existen y dan una solución de A siempre que A tenga solución. Así, resolver A no puede ser más difícil que resolver B. Normalmente, escribimos A ≤ B, con un subíndice en ≤ para indicar el tipo de reducción utilizada.

Obtenido de "Reducci%C3%B3n (complejidad)"