4551
правка
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 43: | Строка 43: | ||
'''Определения и нотация''' | '''Определения и нотация''' | ||
Для параметра ошибки <math>\varepsilon > x0 \;</math> точка <math>x \in P \;</math> является <math>\varepsilon \;</math>-''приближенным решением'' для дробно-линейной задачи упаковки (или покрытия), если <math>Ax \le (1 + \varepsilon) \; b</math> (или <math>Ax \ge (1 - \varepsilon) \; b</math>, соответственно). С другой стороны, если <math>x \in P \;</math> удовлетворяет условию <math>Ax \le b \;</math> (или <math>Ax \ge b) \;</math>, то x ''является точным решением''. Для общей задачи GENERAL, параметра ошибки <math>\varepsilon > 0 \;</math> и положительного вектора отклонения d значение <math>x \in P \;</math> является <math>\varepsilon \;</math>-''приближенным решением'', если <math>Ax \le b + \varepsilon \; d</math>, и ''точным решением'', если <math>Ax \le b \;</math>. <math>\varepsilon \;</math>-ослабленная разрешающая процедура для этих задач либо находит | Для параметра ошибки <math>\varepsilon > x0 \;</math> точка <math>x \in P \;</math> является <math>\varepsilon \;</math>-''приближенным решением'' для дробно-линейной задачи упаковки (или покрытия), если <math>Ax \le (1 + \varepsilon) \; b</math> (или <math>Ax \ge (1 - \varepsilon) \; b</math>, соответственно). С другой стороны, если <math>x \in P \;</math> удовлетворяет условию <math>Ax \le b \;</math> (или <math>Ax \ge b) \;</math>, то x ''является точным решением''. Для общей задачи GENERAL, параметра ошибки <math>\varepsilon > 0 \;</math> и положительного вектора отклонения d значение <math>x \in P \;</math> является <math>\varepsilon \;</math>-''приближенным решением'', если <math>Ax \le b + \varepsilon \; d</math>, и ''точным решением'', если <math>Ax \le b \;</math>. <math>\varepsilon \;</math>-''ослабленная разрешающая процедура'' для этих задач либо находит <math>\varepsilon \;</math>-приближенное решение, либо обоснованно сообщает о том, что точного решения не существует. В общем случае в задаче минимизации (максимизации) ''алгоритм'' <math>(1 + \varepsilon) \;</math>-''аппроксимации'' (<math>(1 - \varepsilon) \;</math>-аппроксимации) возвращает значение, не более чем в <math>(1 + \varepsilon) \;</math> (не менее чем в <math>(1 - \varepsilon) \;)</math> раз, соответственно) отличающееся от оптимального. | ||
Время выполнения разработанных алгоритмов полиномиально зависит от | Время выполнения разработанных алгоритмов полиномиально зависит от <math>\varepsilon^{-1} \;</math> для любого параметра ошибки <math>\varepsilon > 0 \;</math>, а также от ''ширины'' <math>\rho \;</math> выпуклого множества P, относящегося к множеству неравенств <math>Ax \le b \;</math> или <math>Ax \ge b \;</math>, определяющему решаемую задачу. Более точно ширина <math>\rho \;</math> определяется следующим образом для каждой из рассматриваемых задач: | ||
• PACKING (упаковка): p := maxi max x2P abi | • PACKING (упаковка): p := maxi max x2P abi |
правка