Дробно-линейные задачи об упаковке и покрытии: различия между версиями

Перейти к навигации Перейти к поиску
Строка 77: Строка 77:


<math></math>
<math></math>
Теорема 3. Заменим PACK_ORACLE на оракула, который для заданного вектора y > 0 находит точку x P, такую, что yTAx < (1 + "/2)CP(y) + {el2)Xyrb, где X минимально, так что неравенство Ax < Xb удовлетворяется на текущей итерации x. Тогда теоремы 1 и 2 по-прежнему верны.
'''Теорема 3. Заменим PACK_ORACLE на оракула, который для заданного вектора <math>y \ge 0 \;</math> находит точку <math>\bar{x} \in P</math>, такую, что <math>y^T A \bar{x} \le (1 + \varepsilon/2) C_{\rho}(y) + (\varepsilon / 2) \lambda y^T b</math>, где X минимально, так что неравенство <math>Ax \le \lambda b</math> удовлетворяется на текущей итерации x. Тогда теоремы 1 и 2 по-прежнему верны.'''




Строка 83: Строка 83:




Схожие результаты можно доказать для дробно-линейной задачи о покрытии (COVER_ORACLEl определяется аналогично PACK_ORACLEL):
Схожие результаты можно доказать для дробно-линейной задачи о покрытии (COVER_ORACLE<math>_l</math> определяется аналогично PACK_ORACLE<math>_l</math>):




4551

правка

Навигация