Solución óptima (optimización)
Solución óptima — en investigación de operaciones, optimización y teoría de la decisión, es una solución factible (es decir, que satisface todas las restricciones del problema) que proporciona un valor extremo (máximo o mínimo, dependiendo de la formulación del problema) para la función objetivo.
La búsqueda de la solución óptima es el objetivo principal al resolver la mayoría de los problemas de optimización.
Esencia y características
Una solución óptima posee dos características clave:
1. Factibilidad: Debe satisfacer todas las restricciones impuestas a las variables del modelo. En otras palabras, una solución óptima siempre pertenece a la región de soluciones factibles (RSF). 2. Extremalidad según la función objetivo: Entre todas las soluciones factibles, proporciona el mejor valor (máximo o mínimo) para la función objetivo, la cual formaliza el criterio de optimalidad.
No toda solución factible es óptima, pero toda solución óptima debe ser necesariamente factible.
Relación con la región de soluciones factibles
La región de soluciones factibles (RSF) es el conjunto de todas las alternativas (conjuntos de valores de las variables) que satisfacen las restricciones del problema. La solución óptima es un punto (o puntos) dentro de esta región donde la función objetivo alcanza su extremo. Si la RSF está vacía, el problema no tiene soluciones factibles y, por lo tanto, tampoco tiene soluciones óptimas.
Papel de la función objetivo y las restricciones
- Las restricciones definen el conjunto de soluciones posibles (la RSF).
- La función objetivo determina cuál de estas soluciones posibles es la mejor (óptima).
Sin una función objetivo, es imposible determinar cuál de las soluciones factibles es la óptima. Sin restricciones, el problema puede ser trivial o no tener una solución óptima finita (por ejemplo, la maximización de una función lineal sin restricciones).
Unicidad de la solución óptima
La solución óptima no siempre es única. En algunos problemas (por ejemplo, en programación lineal, si la función objetivo es paralela a una de las restricciones activas), puede existir un número infinito de soluciones óptimas que tienen el mismo valor de la función objetivo. Sin embargo, el valor de la función objetivo en el punto (o puntos) óptimo siempre es único (si existe un óptimo).
Métodos para encontrarla
Para encontrar soluciones óptimas en la investigación de operaciones, se utilizan diversos métodos matemáticos, dependiendo del tipo de modelo:
- Método símplex (para programación lineal)
- Métodos de descenso de gradiente y otros métodos numéricos (para programación no lineal)
- Método de ramificación y poda, métodos de planos de corte (para programación entera)
- Métodos de programación dinámica
Dependencia del modelo
Es importante comprender que una solución es óptima solo dentro del marco del modelo matemático adoptado. Si el modelo no refleja adecuadamente la situación real (la función objetivo se eligió incorrectamente, no se tuvieron en cuenta restricciones o dependencias importantes), entonces la solución óptima encontrada formalmente puede resultar ineficaz o incluso errónea en la práctica.
Optimalidad en problemas multicriterio
En problemas con múltiples funciones objetivo (optimización multiobjetivo), el concepto de una única solución óptima a menudo se reemplaza por el concepto de optimalidad de Pareto. Una solución Pareto-óptima es una solución factible para la cual es imposible mejorar el valor de una función objetivo sin empeorar el valor de al menos otra.
Bibliografía
- Ventsel, E. S. Исследование операций: задачи, принципы, методология (Investigación de operaciones: problemas, principios, metodología). — Moscú: Naúka, 1988.
- Taha, Hamdy A. Operations Research: An Introduction. — Pearson. (10th ed., 2017)
- Hillier, Frederick S.; Lieberman, Gerald J. Introduction to Operations Research. — McGraw-Hill Education. (11th ed., 2021)
Véase también
- Investigación de operaciones
- Optimización
- Modelo matemático
- Función objetivo
- Restricciones
- Región factible
- Solución factible
- Criterio
- Teoría de la decisión
- Optimización multiobjetivo
- Optimalidad de Pareto
- Extremo de una función