назад Оглавление вперед


[Старт] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [ 117 ] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223] [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255] [256] [257] [258] [259] [260] [261] [262] [263] [264] [265] [266] [267] [268] [269] [270] [271] [272] [273] [274] [275] [276] [277] [278] [279] [280] [281] [282] [283] [284] [285] [286] [287] [288] [289] [290] [291] [292] [293]


117

"споткнемся" о точку оптимума В. Если же необходимо найти минимум целевой функции (вместо ее максимума), следует перемещаться в направлении, противоположном проекции градиента, т.е. от точки В к точкеА, где хх = 0.

Конечно, данную процедуру нельзя считать алгоритмом (в обычном смысле), но идея очень интересная! Чтобы воплотить эту идею в алгоритм, необходимо выполнить модификации приведенной процедуры, гарантирующие, что, во-первых, последовательность шагов, сделанных вдоль проекции градиента, не "перескочит" через точку оптимума, во-вторых, в общем л-мерном случае направления, указанные проекциями градиентов, не приведут алгоритм к неоптимальной точке (т.е. не "зациклят" алгоритм на неоптимальной точке). Если реализовать эти условия, то получим вполне работоспособный алгоритм.

7.7.2. Алгоритм Кармаркара

Существует несколько вариантов алгоритма Кармаркара. Мы рассмотрим исходный вариант, предложенный его автором. Кармаркар предполагал, что задача ЛП приведена к следующему виду.

Минимизировать z = СХ

при ограничениях

АХ = 0, IX = 1, Х>0.

Здесь все ограничения представлены в виде однородных уравнений, за исключением ограничения IX = X" ,-v/ = l> которое определяет л-мерный правильный симплекс.4 Обоснованность алгоритма Кармаркара "покоится" на выполнении двух условий.

1. Вектор Х=-,-.....- ) удовлетворяет ограничениям АХ = О.

\п п п)

2. min z = 0.

Кармаркар предложил алгебраические преобразования, приводящие общую задачу ЛП к виду, представленному выше. Эти преобразования показаны в следующем примере. Там также показано, как в результате преобразований добиться того, чтобы вектор X = (1/п, 1/п, 1/л) являлся допустимым решением системы АХ = 0 (условие 1). Преобразования, необходимые для выполнения условия 2 (min г = 0), мы не приводим из-за их громоздкости и трудоемкости.

4 Симплексом (л-мерным) называется выпуклая оболочка п точек X,, Х2, Х„, не лежащих на одной (п - 2)-мерной плоскости. Точки X,, Х2, Хп являются вершинами симплекса, при этом любую точку симплекса можно представить как выпуклую комбинацию (см. раздел 7.1) его вершин. Двухмерный симплекс - это отрезок, трехмерный - треугольник, четырехмерный - тетраэдр. (Здесь размерность симплекса определяется по размерности пространства, а не по размерности (л - 1)-мерной гиперплоскости, на которой он расположен.) В данном случае вершинами симплекса являются точки X, = (0, 1, ...,0), i= 1, л. Такой симплекс является частным случаем правильного симплекса. -Прим. ред.



Пример 7.7.1

Рассмотрим следующую задачу.

Максимизировать z = ух + у2

при ограничениях

У, + 2у2<2, */„*/2>0.

С помощью дополнительной переменной у3 > О преобразуем ограничение ух + 2у2 < 2 в равенство:

i/, + 2i/2 + z/3 = 2.

Теперь введем неравенство

Ух + Уг + У г U,

где U - достаточно большое положительное число, но такое, которое не удаляло бы ни одной допустимой точки исходного пространства решений. В данном примере, исходя из равенства ух + 2у2 + у3 = 2, достаточно взять U, равное 5. После введения еще одной дополнительной переменной у4 получаем

Ух +</2 + г/з + 2Л = 5-

Теперь можно сделать уравнение ух + 2у2 + у3 = 2 однородным, умножив его правую часть на (г/, + у2 + у3 + у4)/5, поскольку последнее соотношение равно 1. Таким образом, после приведения подобных членов получаем

3У1+8у2 + 3Уз-2у4 = 0.

Чтобы преобразовать равенство ух + у2 + у3 + у4 = 5 в уравнение, определяющее симплекс, введем новые переменные хх = yjb, / = 1,2, 3, 4. Получаем следующую задачу ЛП.

Максимизировать z = Ьхх + 5дг2

при ограничениях

Зхх + 8х2 + Зх3 - 2х4 = О, хх + х2 + х3 + х4 = 1, х>0, i = l,2, 3, 4.

Теперь обеспечим выполнение условия, что точка Х = (1/л, 1/п, 1/п), являющаяся центром (барицентром) симплекса, будет удовлетворять однородному уравнению. Для этого от левой части каждого однородного уравнения отнимем искусственную переменную с коэффициентом, равным алгебраической сумме всех коэффициентов левой части уравнения (в данном случае имеем 3+8+3-2 = 12). Эта искусственная переменная также прибавляется к уравнению симплекса и в виде штрафа появляется в выражении целевой функции. В нашем примере искусственная переменная хь войдет в задачу ЛП следующим образом.

Максимизировать z = Ьхх + Ьх2 - Мхь

при ограничениях

Зхх + 8х2 + 3*3 - 2х4 - 12хъ = О,

ОС I I ОС1 j

*,>(),/= 1,2.....5.

Для этой системы уравнений новый центр симплекса (1/5, 1/5, 1/5) является допустимым решением однородного уравнения. Значение константы М в выражении целевой функции должно быть достаточно большим, чтобы привести перемен-ную хь к нулевому значению (сравните с М-методом из раздела 3.4.1).



Последний пример показывает, что любую задачу ЛП можно с помощью преобразований привести к виду, который необходим для выполнения алгоритма Кармаркара. Но эти преобразования громоздкие и неочевидные, поэтому их редко используют на практике. Существуют различные модификации алгоритма, которые не требуют обязательного выполнения второго условия (min г = 0).

Пример 7.7.2

Рассмотрим еще раз задачу из примера 7.7.1.

Максимизировать г=у1+у2

при ограничениях

Уг + 2уг<2,

Начнем с формулировки прямой и двойственной задач.

Прямая задача Двойственная задача

Максимизировать уо = yi + Уг при ограничениях yi + 2у2 < 2,

Уь Уг 2 0.

Ограничения этих задач в стандартной форме запишутся так:

у1 + 2уг+у3 = 2,у3>0.

w,-w2 = l,w2>0. (1)

Из условия оптимума у0 = w0 вытекает, что

yi+y2-2Wl = 0. (2)

Выбираем достаточно большое число М, чтобы выполнялось неравенство

y.+y. + yw. + wM. (3)

Теперь путем введения дополнительной переменной преобразуем неравенство (3) в равенство:

У1+У2 + Уз + и>х + и>2 + 51=М, SjO. (4)

Далее введем новую переменную s2 такую, что следующие два равенства, вытекающие из равенства (4), будут выполняться тогда и только тогда, когда s2 = 1.

</i + У г + Уз + wi + w2 + si - S2M = °.

y1 + y1 + ya + wl+w2 + sl+s2 = M + 1. (5)

При условии s2 = 1, что обусловливают равенства (5), ограничения (1) можно записать как

У, + 2</2 + </,-282 = 0.

ш, - и>2 - ls2 = 0. (6)

Минимизировать щ = 2щ при ограничениях

w,>\ 1 2*,>lj

Wi > 0.

[Старт] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [ 117 ] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223] [224] [225] [226] [227] [228] [229] [230] [231] [232] [233] [234] [235] [236] [237] [238] [239] [240] [241] [242] [243] [244] [245] [246] [247] [248] [249] [250] [251] [252] [253] [254] [255] [256] [257] [258] [259] [260] [261] [262] [263] [264] [265] [266] [267] [268] [269] [270] [271] [272] [273] [274] [275] [276] [277] [278] [279] [280] [281] [282] [283] [284] [285] [286] [287] [288] [289] [290] [291] [292] [293]