Maximaler Wert einer konvexen Kombination über einer konvexen Hülle realer Variablen

Ich habe das folgende lineare Programm: wobei x \ in \ mathbb {R} ^ n , \ mathbf {1} ^ T x die Summe der Einträge von x bezeichnet und a bekannt ist und hat deutlich streng positive Einträge.

Ich suche nach einer schnellen Möglichkeit, das oben genannte Problem zu lösen, ohne einen LP-Solver zu verwenden. Gibt es ein schnelles Verfahren? (neben Simplex).

Vielen Dank!

Die optimale Lösung lautet wie folgt: Setzen Sie alle Variablen auf das Minimum. Setzen Sie dann vom größten bis zum kleinsten iterativ das entsprechende so groß wie möglich, bis Sie treffen . Wenn oder ist, ist das Problem nicht realisierbar. Ich glaube, dass dies die gleiche Lösung ist, die Geoffrey Irvings Algorithmus ausgibt.$a_i$$x_i$$\sum_i x_i = 1$$\sum_i x_{i,min} > 1$$\sum_i x_{i,max} < 1$

Der Grund dafür ist, dass Sie Ihr Problem über in die LP-Relaxation des 0-1-Rucksackproblems umwandeln können

Im variablen Raum wird das Problem zu $y$

wobei , und . Wenn das ursprüngliche Problem durchführbar ist, ist . Die und sind nicht negativ, also haben wir die LP-Relaxation von 0-1 Rucksack. (Der Ausdruck erscheint technisch auch im Ziel, aber da es sich um eine Konstante handelt, können wir ihn fallen lassen.)$c_i = a_i (x_{i,max} - x_{i,min})$$b_i = (x_{i,max} - x_{i,min})$$d = 1 - \sum_i x_{i,min}$$d \geq 0$$c_i$$b_i$$\sum_i a_i x_{i,min}$

Unter der Annahme , die Variablen durch das Verhältnis sortiert vom größten zum kleinsten, die bekannten optimalen Lösung ist die gierige one: Set für so groß a wie möglich , setze und setze . Wenn Sie diese Lösung wieder in den variablen Problemraum umwandeln, erhalten Sie die gerade beschriebene Lösung.$\frac{c_i}{b_i} = a_i$$y_1 = y_2 = \cdots = y_k = 1$$k$$y_{k+1} = d - \sum_{i=1}^k b_i$$y_{k+2} = \cdots = y_n = 0$$x$

Außerdem hat der 0-1-Rucksack eher eine Einschränkung als eine -Einschränkung. Wenn Sie alle Gegenstände im Rucksack mit noch freiem Platz unterbringen können, ist das ursprüngliche Problem mit der Variablen nicht realisierbar, da .$\leq$$=$$x$$\sum_i x_{i,max} < 1$

Der Greedy-Algorithmus funktioniert: Beginnen Sie mit einer Lösung, die Ihre Einschränkungen erfüllt, und erhöhen Sie dann iterativ das mit dem größten , das nicht bei und verkleinern Sie das mit dem kleinsten , das nicht bei so weit wie möglich. Stoppen Sie, wenn keine weiteren Paarbewegungen möglich sind. Dies dauert , um und Zeit für den Rest zu sortieren .$x_i$$a_i$$x_{\max}$$x_j$$a_j$$x_{\min}$$O(n \log n)$$a$$O(n)$

Wenn der Algorithmus abgeschlossen ist, wird eine Menge von bei (diejenigen mit großem ), eine Menge von bei (diejenigen mit kleinem ) und bei stecken die meisten mit und . Eine differenzielle Änderung von einer solchen Position zu kann das Ziel nicht erhöhen, da Gewinne aufgrund der Erhöhung von oder durch Verluste aufgrund der Verringerung von oder mehr als ausgeglichen würden .$x_i$$x_{\max}$$a_i$$x_j$$x_{\min}$$a_j$$x_k$$x_{\min} < x_k < x_{\max}$$a_i > a_k > a_j$$x$$x_j$$x_k$$x_i$$x_k$