Método matemático y computacional para encontrar el mejor resultado en un modelo matemático dado donde la lista de requisitos se representa como relaciones lineales.
Considere familias disjuntas de subconjuntos de {1,2, ..., n}, .tttF1,F2,…FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Suponer que (*) Para cada y cada , y , hay que contiene .i<j<ki<j<ki \lt j \lt kR∈FiR∈FiR \in {\cal F}_iT∈FkT∈FkT \in {\cal F}_kS∈FjS∈FjS \in {\cal...
Siempre tuve problemas para comprender la importancia de la brecha de integralidad (IG) y sus límites. IG es la proporción de (la calidad de) una respuesta entera óptima a (la calidad de) una solución real óptima de la relajación del problema. Consideremos la cubierta de vértice (VC) como un...
¿Cuál es el límite superior en el algoritmo simplex para encontrar una solución a un programa lineal? ¿Cómo haría para encontrar una prueba para tal caso? Parece que el peor de los casos es si cada vértice tiene que ser visitado, es decir, . Sin embargo, en la práctica, el algoritmo simplex se...
Me gustaría entender cómo el solucionador Arora-Kale SDP se aproxima a la relajación Goemans-Williamson en un tiempo casi lineal, cómo el solucionador Plotkin-Shmoys-Tardos aproxima los problemas de "empaquetamiento" y "cubrimiento" fraccionales en un tiempo casi lineal, y cómo los algoritmos son...
Uno de los santos griales del diseño de algoritmos es encontrar un algoritmo fuertemente polinómico para la programación lineal, es decir, un algoritmo cuyo tiempo de ejecución está limitado por un polinomio en el número de variables y restricciones y es independiente del tamaño de la...
Estoy bastante confundido por la literatura de optimización continua y la literatura de TCS sobre qué tipos de programas matemáticos (continuos) (MP) se pueden resolver de manera eficiente y cuáles no. La comunidad de optimización continua parece afirmar que todos los programas convexos se pueden...
Me gustaría encontrar un algoritmo de tiempo polinómico que determine si el lapso de un conjunto dado de matrices contiene una matriz de permutación. Si alguien sabe si este problema es de una clase de complejidad diferente, sería igual de útil. EDITAR: He etiquetado esta pregunta con la...
Según D. den Hertog, Enfoque de punto interior para la programación lineal, cuadrática y convexa, 1994 , un programa lineal con variables, n restricciones y precisión L se puede resolver en el tiempo O ( n 3 L ) . ¿Se ha mejorado
Considere los problemas de optimización de la siguiente forma. Sea f(x)f(x)f(x) una función computable en tiempo polinómico que mapea una cadena xxx en un número racional. El problema de optimización es este: ¿cuál es el valor máximo de f(x)f(x)f(x) sobre cadenas de nnn bits xxx ? Digamos que tal...
Esta pregunta está inspirada en la conjetura polinómica de Hirsch (APS). Dado un politopo P de cara en R d , ¿el espacio espectral de su gráfico de borde-vértice (llamado G ) está limitado por Ω ( 1 / p o l y ( n ) ) ? Tenga en cuenta que el gráfico de ciclo en n vértices muestra que, incluso para...
(Este es un seguimiento de esta pregunta y su respuesta ). Tengo el siguiente programa lineal entero entero unimodular (TU) (ILP). Aquí son todos enteros positivos dados como parte de la entrada. Un subconjunto especificado de las variables x i j se establece en cero y el resto puede tomar valores...
¿Cuál sería una buena prueba informal / intuitiva para "dar en el blanco" sobre la dualidad LP? ¿Cuál es la mejor manera de mostrar que la función objetivo minimizada es realmente la mínima con una forma intuitiva de entender el límite? La forma en que me enseñaron la Dualidad solo condujo a una...
Para concretar, considere el LP para resolver un juego de suma cero de dos jugadores donde cada jugador tiene acciones. Suponga que cada entrada de la matriz de pagos A es como máximo 1 en valor absoluto. Para simplificar, no hagamos suposiciones de escasez.nortenortenUNUNA Supongamos que el...
Cuando consideramos un algoritmo de aproximación para un problema de minimización, la brecha de integralidad de una formulación de IP para este problema proporciona un límite inferior de una relación de aproximación para cierta clase de algoritmos (como el redondeo o el algoritmo primal-dual). De...
¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...
Supongamos que tenemos un conjunto finito de discos en , y deseamos calcular el disco más pequeño para el que . Una forma estándar de hacer esto es utilizar el algoritmo de Matoušek, Sharir y Welzl [1] para encontrar una base de , y dejar que , el disco más pequeño que contiene . El disco puede...
Según tengo entendido, todos saben que las reglas de pivote deterministas para algoritmos simplex tienen entradas específicas en las que el algoritmo requiere tiempo exponencial (o al menos no polinomial) para encontrar el óptimo. Llamemos a estas instancias 'patológicas' ya que generalmente (es...
Sabemos que los programas lineales (LP) se pueden resolver exactamente en tiempo polinómico usando el método elipsoide o un método de punto interior como el algoritmo de Karmarkar. Algunos LP con un número de variables / restricciones súper polinomiales (exponenciales) también se pueden resolver en...
Tengo un politopo PPP definido por {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pregunta: Dado un vértice vvv de PPP , ¿existe un algoritmo de tiempo polinómico para muestrear uniformemente de los vecinos de vvv en el gráfico de PPP ? (Polinomio en la dimensión, el número de ecuaciones y...
Una forma de demostrar que verificar la viabilidad de un sistema lineal de desigualdades es tan difícil como la programación lineal es a través de la reducción dada por el método elipsoide. Una forma aún más fácil es adivinar la solución óptima e introducirla como una restricción a través de la...