Una de las aplicaciones geniales de los cascos convexos es el cálculo / construcción de relajaciones convexas. Hablando en términos generales, esta es una manera de encontrar el problema convexo “más cercano” a un problema no convexo que está intentando resolver. Si bien podría definir esto formalmente, creo que una imagen simple podría ser más interesante.
Supongamos que queremos resolver un problema cuya superficie de restricción es esta cosa fea:
Los puntos amarillos representan las posibles soluciones enteras que se encuentran en esta superficie. Esto es feo y tiene toneladas de mínimos. Pero, si miramos alrededor de los verdaderos mínimos globales, vemos que podríamos construir una restricción convexa que ‘cubra’ esta superficie:
Ahora, una forma de construir tal relajación (al menos conceptualmente) es tomar el casco convexo de todos los mínimos (locales y globales). En este caso, tenemos una superficie convexa que contiene nuestros verdaderos mínimos globales y, por lo tanto, hemos “relajado” el problema a una configuración convexa. Obviamente, esto no siempre es posible en situaciones prácticas (fuera de los objetivos simples 1D, [matemática] C ^ {2} [/ matemática] con grandes límites inferiores en la curvatura), pero es una buena manera de demostrar teoremas sobre convexidad relajaciones Hay muchas relajaciones convexas famosas para problemas de números enteros (por ejemplo, k-SAT, programas lineales enteros) y muchos algoritmos aproximados y / o probabilísticos que se usan en la práctica dependen en gran medida de esta técnica.
- Combinatoria: ¿Cómo se puede encontrar toda la representación del coeficiente combinatorio de un número dado [matemática] n [/ matemática], es decir, todos los pares de números naturales [matemática] (a, b) [/ matemática] tal que [matemática] \ binom { a} {b} = n [/ matemáticas]?
- ¿Todas las funciones generadoras de números (pseudo) aleatorios son cíclicas?
- Delta suma máxima: ¿Cómo podría ordenar 1 millón de enteros, de un conjunto de enteros positivos infinitos que tienen como máximo 8 dígitos de largo, de modo que estén (1) ordenados, y (2) la suma de todos los deltas entre números adyacentes es en el valor máximo posible y por qué?
- ¿Cuál es la diferencia entre la solución de estrategia dominante y el equilibrio de Nash?
- ¿Cómo puedo encontrar todos los casos de combinación con un número dado?
Crédito de la imagen: relajación convexa