Entorno de programación entera
Resuelve un programa lineal entero pequeño mediante ramificación y acotación exactas y consulta cada nodo de la búsqueda. El mejor punto solo se indica como óptimo demostrado cuando se ha explorado todo el árbol.
Los programas admiten hasta 4.000 caracteres y 40 líneas, 8 variables y 8 restricciones con dos o más variables; el límite de nodos va de 1 a 5.000 y la búsqueda también se detiene tras 3.000.000 de pasos de aritmética exacta. Todo se calcula en tu dispositivo en un proceso en segundo plano con un límite de 15 segundos. Puedes descargar un informe JSON y un CSV de nodos. Primera línea: maximize o minimize y la función objetivo. Después, escribe una restricción por línea. Hasta 4.000 caracteres. Revisa los ajustes antes de ejecutar.
Tu resultado
Entorno de programación entera
- Escribe la función objetivo en la primera línea, como maximize 5x + 4y.
- Añade una restricción por línea, límites como x, y >= 0 y, de forma opcional, líneas como integer x o binary z.
- Establece el límite de nodos e inicia la búsqueda.
- Consulta el estado, la mejor solución actual, la mejor cota y la brecha; después, descarga el informe JSON o el CSV de nodos.
Qué puedes esperar
Los programas admiten hasta 4.000 caracteres y 40 líneas, 8 variables y 8 restricciones con dos o más variables; el límite de nodos va de 1 a 5.000 y la búsqueda también se detiene tras 3.000.000 de pasos de aritmética exacta. Todo se calcula en tu dispositivo en un proceso en segundo plano con un límite de 15 segundos. Puedes descargar un informe JSON y un CSV de nodos.
Ramificación y acotación
Cada nodo resuelve exactamente la relajación lineal mediante el método símplex. Una variable entera fraccionaria se divide en dos ramas: x <= floor y x >= ceiling. Se descartan los nodos si su relajación es inviable o no puede mejorar el mejor punto entero encontrado. Método: Wolsey, Integer Programming, 2.ª edición, capítulo 7 (2020).
Qué significa demostrado
Cuando todos los nodos se han resuelto o descartado mediante una cota exacta, se demuestra que la mejor solución actual es óptima o que el problema es inviable. Si el límite de nodos o de pasos detiene antes la búsqueda, esa solución es solo el mejor punto encontrado hasta el momento; el informe muestra la mejor cota y la brecha entre ambos valores.
Reglas de entrada
Las variables son enteras salvo que indiques algunas con integer x, y; en ese caso, las demás son continuas. Las restricciones de una sola variable se convierten en límites. Si una relajación no está acotada, la búsqueda se detiene, porque el programa entero podría no estar acotado o ser inviable.