Главная » Просмотр файлов » Т. Ху - Целочисленное программирование и потоки в сетях (1984)

Т. Ху - Целочисленное программирование и потоки в сетях (1984) (1162191), страница 64

Файл №1162191 Т. Ху - Целочисленное программирование и потоки в сетях (1984) (Т. Ху - Целочисленное программирование и потоки в сетях (1984)) 64 страницаТ. Ху - Целочисленное программирование и потоки в сетях (1984) (1162191) страница 642019-09-19СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 64)

аьв от.в Следовательно Яо должна быть конечной. Аналогично моя<но показать, что последовательность 8а должна быть конечной. Итак, 8 является конечной последовательностью в противоречие с нашим допущением о том, что первая компонента г, не изменяет своего значения на неограниченной последовательности стацио- нарныХ циклов. ° Доклзлткльство ткогнмы $7.6. Пусть г — значение в в первой аЬ таблице последовательпости стационарных циклов. Если в ней аь, ( 0 для всех 7 ~ У, то таблица оптимальна по теореме $7.2. Пусть пайдется аь,)0. По теореме 17.5 для всех последующих таблиц выполпится условие ~" )г. В силу правила выбора аьв производящей строки через конечное число преобразований будет получена таблица, в которой аь,(аьо.

'Хаким вбразом, через конечное число шагов будет получена таблица, для которой одновРеменно аьв~~аьо, о' )г и аь, > О. ПосколькУ элементы табаьв лиц — целые числа, то существует не более чем конечное число !7.1. ВыВОд соотнОшкпий и полспвпия 305 отрицательных аначекий отношения — '. В силу того, что аг, аса должно строго увеличиваться через конечное число преобразований (теорема 17.5), конечного числа шагов достаточно, чтобы исчерпать все воэмшкные отрицательные значения отношения — *. ат,, Следовательно, через конечное число преобразований ведущий столбец станет лексикографически неотрицательным, что влечет за собой оптимальность таблицы.

° 17.4. Вывод соотношений и пояснения при условиях 1хзд + А"х,„= аа„, хз„, хд,д)0. (27) В (27) ад — вектор-строка относительных оценок целевой фупйция (т. е. значений г! — с!), аа„— вектор констант (не содержащий текущего значения целевой функции) и Ад — матрица, составленная из элементов таблицы, соответствующих небазнсным переменным, за исключением коэффициентов целевой фУнкции ада.

Выпишем задачу. двойственную для (27): максимизировать %'даад при условиях Ад» ~о (28) Последовательность таблиц в прямом алгоритме индуцирует последовательность двойственных задач вида (28). Лексикографпческим обобщением задачи (28) является задача В этом параграфе обсуждаются два вопроса: во-первых, будут даны интерпретации тех идей, которые были использованы и при доказательстве конечности в предыдущем параграфе и; во-вторых, будут выведены соотношения, которыми мы пользовались для доказательства конечности. Существует два основных способа проинтерпретировать рассуждения, которые имели место при доказательстве теорем: в первом случае используются 'идеи двойственпости, во втором— геометрические идеи. Рассмотрим последовательность таблиц, получающу1ося в результате последовательности (стационарных) циклов в прямом алгоритд!е.

Запишем й-ю таблицу в форме задачи линейного программирования: минимизировать 0 адхмд Гл гь пРямОЙ АЯГОРитм максимизировать Раз прн условиях РА< [' (29) где Р— матрица с лексикографнческн неположительными столбцами. Вектор Раз требуется минимизировать в лексикографическом смысле, а неравенство РА<[ ] следует понимать таким образом: каждый столбец матрицы РА лексикографически меньше или равен соответствующему столбцу матрицы ["] Ро Р7 ГА = Покажем, что такое решение является допустимым для (29).

Поскольку г, ( 0 (по теореме А7.2). все столбцы матрицы Р лексикографически неположительны. Столбец с индексом 7 в мат- Допустимое решение задачи (29) содержит в первой строке матрицы Р допустимое рея7енне задачи (28). Подобным же образом оптимальное решение задачи (29) содержит оптимальное решение задачи (28). Индекс й в (29) опущен, вместе с тем очевидяо, что последовательность (стационарных) циклов индуцирует последовательность задач (29).

Использованные в доказательстве конечности параметры г;, ро Ь7 и бы из параграфа 17.3 имеют особое значение в задачах (29). Рассмотрим решение Р задачи (29), построенное следующим обрааом. Все компоненты Р равны нулю, кроме столбца, соответствующего Ь-строке матрицы А; пусть этот единственный ненулевой столбец из Р задается как ыя. вывод соотношкнии и пояснкния 367 рице РА=(0, г,) А') равен атп г, и в силу (22) равен бег бм аы Так как Ат ) 0 (по теореме 17.3), то из (22) следует, что все столбцы ат из А в (29) подчиняются соотношению аь;г, ( и наше решение Р = (О, г,) есть допустимое решение задачи (29). Таким образом видно, что бп из (21) являются слабыми переменными задачи (29), а р; — основные составляющие допустимого решения задачи (29).

В силу нашего определения Р целевая функция Рае принимает вид г,аье. Поскольку аье имеет постоянное значение на последовательности стационарных циклов, в то время как г, лексикографически возрастает, мы получаем последовательность улучшающихся решений для (29). Наконец, когда будет получена таблица, в которой первая компонента г, неотрицательна, то для задачи (28) будет найдено допустимое решение с нулевым значением целевой функции. Это решение устанавливает ниятнтою нулевую границу для оптимального решения задачи (27), которое получается, если положить хм = О. Следовательно, в этой таблице содержится оптимальное решение задач (27) и (28). Связь прямого алгоритма с двойственной задачей можно уста,- новить при помощи следующих замечаний: ведущий столбец всегда соответствует ограничению задачи (29), выполняющемуся как равенство '), т. е. условие А, =. 0 всегда выполняется. В ходе решения возникает последовательность монотонно улучшающихся решений двойственных задач (28) и (29).

Возможно, что эти короткие замечания помогут 'лучше понять значение используемых в $17.3 конструкций. Определеппя (18), (19), (20) и (21) полезны также при построении сравнительно простой геометрической интерпретации т) Столбец гв может стоять иа лтобем л~есте в Р, что яе влияет яа результат.— Прил. иерее. е) Этот факт содержится и в условии задачи (29).— Прил. ред.

а) Те есть в (29) слева в справа иа ~м месте. стеит один и тот вие столбец.— Прил. ред. гл. !ь пРямОЙ ллГОГитм зсв изменения таблиц в последовательности циклов прямого алгоритма. Элементы таблицы мокшо рассматривать, как множество вектор-столбцов (а) ! у с Х), которое соответствует множеству точек в (и + 2)-мерном евклидозом пространстве. Определение (20), из которого следует векторное равенство (22), можно интерпретировать как изменение начала координат, т. с. записав (22) как а,=ах;г,+А;, можно сказать, что вектор а! выражен через отклонение Аг от точки ах)тю раСПОЛОнссписй Па ЛУЧЕ С НанраВЛя7Ощни ВЕКтОрОМ Г,. Такое представление вектора а, в терминах А; и аь,г, подчеркивает определенные геометрические соотношения в структуре таблиц прямого алгоритма. Во-первых, отметим, что лшожество точек (а, ) 7' б У) в любой таблице прямого алгоритма содержится в полупространстве, которое включает начало координат и вектор г„расположенный на границе этого полупространства.

Для доказательства этого утверждения достаточно построить ненулевую вектор-строку и' таким образом, чтобы и'г, = 0 и и'ау~О для всех 7'г Х!). Из равенства а; =- аьгта+ Аг тогда будет следовать г Р и а)=виги г, ';и'А;. Чтобы построить и', полагаем ие =- 1, и, = иэ = ... = и„= 0 и найдем иь, так чтобы и'г,=О. Поскольку А; >р О для всех у' й У, получим бе! 7 0 н по определениго (см.

(18) и (20)) имеем бьг = 0 для всех 1 Г Х. Отсюда н'Аг ) О, что и требовалось '). Во-вторых, заметим, что перемещение любой точки а, в точку ам которое происходит в результате одного преобразования, имеет определегшый геометрический смысл. Равенства (22) н (23) показыва7от, что движение от точки аг к а, осуществляется параллельно вектору г, и, слсдоватольно, параллельно гиперплоскости, !) Тогда и' — ортогоналеп г, к все а (1 б У) составляют с и' нетуиой угол, т, е..а левгат ио одну сторону с г, от гкиер7жоскостк! порождаемой вектором и'.— Прим.

ред. т) Если иоложкть и! =-,е для ! = О, 1,..., а в найти кь, так чтобы выполнялось и'г, = О, то можно до77азать более сильное утверждение о том, что и'а = и'а ) О д:7я всех 1 Ф а для некоторого иоложвтетьвого к достаточного малого е. 17ХО ВЫВОД СООТНОШЕНИЙ И ПОЯСНЕНИЯ 369 определяемой вектором и'. Справедливость утверждения следует из того, что ат имеет то же отклонени9 Л1 от аьтг„что и ат от аьтг,. Этот факт можно доказать и алгебраически, зычтя (22) из (23) и получив а; — а1 = (аьз — аьт) гм ам=аи — арта1, (1С Х), аьз = аьг — ар1аьв, (30) (31).

где р — индекс ведущей строки. Домножив (31) на рь получим Р1ас1 = Р1аы.— ар1Р1аь' Используя (18) и (20), имеем р;а„= ан — Ьн — ар1а1„ после чего подстановка из (30) дает р1И т=а11 — 6». (32) Остается заметить, что (23) является векторной формой соотношения (32). Формулы (24), (25) и (26) получаются следующим образом. В соответствии с (22) аь.;г- = ат — Л1. 7 д (33) 24 т. хт откуда видно, что вектор а1 — а1 отличается от г, скалярным множителем. Доказательство конечности прямого алгоритма показывает, что полупространство, содержащее множество (ат ) 1 Е У1, совпадет с полупространством, определяемым из условия лат ) 0 для ВСЕХ 7'Е Х. Таким образом, можно представить процесс решения с помощью прямого алгоритма как построение последовательности перемещений точек в полупространстве, содержащем все точки (а1 ( у ~ У).

Эта последовательность обрывается тогда, когда в полУпРостРанстве соДеРжатсЯ только такие вектоРы аго У которых аш -. О. Более подробную картину сдвигов в полупространстве, происходящих от таблицы к таблице (которую мы не будем описывать здесь), монгно получить, анализируя (24), (25) и (26). Этот параграф заканчивается выводом соотношений (22)— (26). Формула (22) следует из (19), (20) и (21); (22) фактически является просто векторной формой скалярных уравнений из (20). Для получения (23) воспользуемся формулами симплексного преобразования, используемыми в прямом алгоритме: Гл.

Характеристики

Тип файла
DJVU-файл
Размер
5,27 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6418
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее