Resumen

Se ha demostrado que el teorema del puente inverso (RBTH) es una condición necesaria y suficiente para resolver problemas de programación no lineal. En este trabajo, proponemos tres algoritmos para encontrar puntos mínimos de problemas de programación no lineal continuos, discretos y mixtos basados en el teorema del puente inverso. Además, demostramos que la RBTH bajo partición de restricciones es también una condición necesaria y suficiente para resolver problemas de programación no lineal. Esta propiedad puede ayudarnos a desarrollar un algoritmo que utilice RBTH bajo restricciones. En concreto, el algoritmo primero particiona los problemas de programación no lineal mixta entera (MINLPs) por sus restricciones en algunos subproblemas de formas similares, luego resuelve cada subproblema utilizando RBTH directamente, y finalmente resuelve aquellas restricciones globales no satisfechas eligiendo las penalizaciones adecuadas. Por último, demostramos que nuestro algoritmo es sólido y completo. Los resultados experimentales también muestran que nuestro algoritmo es eficaz y sólido.

• Materias:Análisis Matemático Álgebra Ingeniería Matemática aplicada Lógica matemática
• Subjects:Mathematical Analysis Algebra Engineering Applied Mathematics Mathematical logic
• Palabras claves:problemas de programación no lineal, rbth, algoritmo, condición suficiente, problemas de programación no lineal, teorema del puente inverso, puntos mínimos de las restricciones, teorema del puente inverso, restricciones globales insatisfechas, restricciones
• Keywords:nonlinear programming problems, rbth, algorithm, sufficient condition, nonlinear programming problems, reverse bridge theorem, constraint minimum points, reverse bridge theorem, unsatisfied global constraints, constraints