Supongamos que tengo un número entero de un programa modelo en la forma de minimización. Me di cuenta de que Gurobi (mi solver) a menudo se encuentra una muy buena límite superior (es decir, una solución factible), mientras que se toma un tiempo considerable para mejorar el límite inferior para reducir la brecha de optimalidad.
Aquí está mi pregunta. Hay una manera de obtener un probabilística de la declaración sobre la optimalidad? Por ejemplo, digamos
$$prob\{f^u - f^\star > \epsilon\} \le \gamma$$
donde $f^u$ es un límite superior e $f^{\star}$ es el objetivo global de valor.
Del mismo modo, una desigualdad en este formulario es también deseable:
$$prob\{f^u - f^{\ell} > \epsilon\} \le \gamma$$
donde $f^{\ell}$ es el límite inferior.
Cualquier idea o sugerencia será grandemente apreciada!
