next up previous
Next: Двойственность Up: Двойственность для несобственных задач Previous: Случай разрешимости задач

2.2 Оптимальная коррекция неразрешимых лексикографических задач

Неразрешимость задачи  (22) состоит либо в несовместности системы ее ограничений (при заданном r), либо в невыполнимости одного из включений  (27). Так же дело обстоит и с неразрешимостью задачи  (24): либо ее система ограничений несовместна (при заданном k), либо не выполняется одно из включений  (28). Включения  (27) и (28) могут быть эквивалентно записаны в форме последовательностей систем линейных неравенств:
eqnarray1513

eqnarray1523
Нарушение того или иного включения из (27), (28) выражается в несовместности соответствующей системы линейных неравенств из (34), (35). Коррекция задач tex2html_wrap_inline4233 и tex2html_wrap_inline4263, т.е.   (22) и (24), может быть осуществлена за счет коррекции векторов tex2html_wrap_inline4421 и tex2html_wrap_inline4423 по следующей схеме.

Рассмотрим первую систему из  (34), т.е. tex2html_wrap_inline4425. Нарушение первого включения из  (27) означает несовместность последней. Вектором невязки для нее будет tex2html_wrap_inline4427, где ``+'' над вектором означает замену его отрицательных координат нулями (положительная срезка). Если в силу некоторой нормы tex2html_wrap_inline4429 определить уклонение tex2html_wrap_inline4431 и tex2html_wrap_inline4433, то вектор tex2html_wrap_inline4435 будет минимальной (по критерию введенной нормы tex2html_wrap_inline4429) коррекцией вектора tex2html_wrap_inline4439, обеспечивающей совместность системы tex2html_wrap_inline4441, или (что одно и то же) выполнение включения tex2html_wrap_inline4443conetex2html_wrap_inline4445 при tex2html_wrap_inline4447. Подставив во вторую систему из  (34) tex2html_wrap_inline4449 вместо tex2html_wrap_inline4439, аналогично подсчитаем tex2html_wrap_inline4453 путем введения для вектора-невязки своей нормы tex2html_wrap_inline4455 и т.д.

Если в качестве вводимых выше норм брать монотонные кусочно-линейные нормы, то все задачи коррекции преобразуются в задачи линейного программирования.

Сделаем еще одно замечание: выполнимость соотношений (27), (28) эквивалентна тому, что tex2html_wrap_inline4457 в приведенной схеме оптимальной коррекции.