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

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

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

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

(1 — 0р! (яΠ— ид)),'т ) О. (4) Тогда кратчайший путь, использующий только дуги д С э () д будет состоять из дуг длины !)ф, (до — тд) = О, идущих от О до дΠ— тд, за которыми следу!от т дуг я длины ту Щ). Общая длина пути будет 0РО (до — шя) -)- ту (д) .= О + ту (я) =- 1. Из (3) следует, что любой другой путь от О до дО будет иметь длину, болыпую либо равную 1. Ы2! можем образовать ! Я ( -'; 1 независимых путей добавлением циклов, каждый нз которых использует 3 (д) дуг, гдо д С Я и у (д) = — О.

1'ассмотрнм элементе Я () д. Если вычисления дают у Я) =— —. О, то мы можем использовать д для образования цикла н добав.!ення его к полученным ранее кратчайшим путин, чтобы получить ) Я ( -'; 2 независимых кратчайших путей. Если вычисления (3) дают у (я) ) О, то путь от О к лΠ— тд будет иметь длину фз, 3 (дΠ— тд) и общая длина от О до до равна Орз,,—, Яо — тЯ) —, !ну(Д) =-1. Поскольку т, вь!бирается нз соотпошепкя (3), л0обые другие пути от О до яО. иснользу!ощие я, будут иметь длину болыпу!о, чем 1. Было показано, что все другие пути, пе использующие 2, име3от длину болыпую, чем 1. Так что зто — кратчайший путь, а поскольку оп использует д, он пе зависит от предыдущих путей. Рассмотрим численный пример нахождения грани многогранника Р (С, ц. уО), где 6 — цнк:шческая группа порядка 6, 3) =— (з! з2 03 00) а 00 = 03.

Тогда 1 — фО (23 — 03 32!) 1 !)!О (О) 1 у (д!) = шах ип 3 3 28 т. ху гл, зо. ГРАни Пклочислкнного многогглнникл 1 — Фв (ез — лгзег) 1 — г)зв (г!) (уг) = и!ах гз ! — 1' 3 фгцв (гз т,сз) 1 $ „(О) ! м! 1 — з)г О!е,цв,(ез- тзгь) 1 — Фв„ц,, Ог (о) 1 у (дь) =- и!ах ! ! Таким образом, 1, 2 — 1! ! — (з — гз-; — (ь~( 3 3 ' ' 3 является гранью многогранника Р (6, т(, уо).

20.3. Многогранники Р (С. до) В предыдущем параграфе мы показали, как получить грань многогранника Р (С, з), уо). Если (у, уо) — грань многогранника Р (6, з), до), накал!ем, что ( у, у,' (й)) будет гранью Р (6, Ч, и) для соответственно выбранных Ь и у,'(Ь). Это означает, что класс многогранников Р (С, Ч, уо) с различными до будет иметь грани, параллельные дРуг другу. Лгммл 2О.Э. Пусть (у, уо) дает грань Р (С, т) уо) такую что уо ~ О, т. е, имеется и' независимых кратчайших путей от О дс )з, проходящих через вершину до в гра4е Н (6, т), у). Тогда существует константа у,' (Й), так я, что (у, у„' (Ь)) определяет грань многогранника Р (6, т(, и).

Доклзлтвдьство. По предположению (у, уо) — грань; значит, имеются решения 1! (ь =- 1,..., и'), которые образуют и' линейно независимых кратчайших путей от О до уо. Пусть 1" соответствует пути от до до и. Тогда резпение 1! + 1 дает и' кратл чайших путей от О до и. Рассуждая от противного, покажем, что кратчайшие пути независимы. Предположим, что решения зависимы, тогда можно найти коэффициенты и и такие, что ~~ ьвг(1';-1л) =-О и г и!; = — 1. Ото!ода у ) ~'ш;(1! -, 1л)) =- О. Поскольку ~;!с!== ( 'и у1! =уо для всех 1, знЪлучаез! у1' ~-у1" =О или уз+у(а=О.

Но у, > О, а у и 1!' неотрицательны, так что получено противоречие. Таким образом, решения 1! + 1" независимы и (у, у,' (Ь)) является гранью многогранника Р (С, з), и). 2О.Э. МНОГОГРАННИКИ Р (О Юи Вместо рассмотрения многогранников Р (6, т~, да) с различными ле рассмотрим многогранники Р (6, т~, яз) с фиксированным лю но с различными возможными подмноисествами д~6.

Подмножество т~ не содержит О. Будет показано, что все зти многогранники Р (6, д, д~) с различными т~ являются пересечекиями главного многогранника чс соответству1ошими подпространствами. Сначала определим многогранник Р (6, 6, лс). Этот многогранник является выпуклой оболочкой неотрицательных целочисленных векторов 1, удовлетворяющих соотношению Х И(а)=ею (1) аео — б Для я, = 0 мы определяем Р (6, 6, 0) как выпуклую оболочку ненулевых неотрицательных целочисленных векторов $, удовлетворяющих (1). Назовем многогранники Р (6, 6, д~) главными лкогограккиками и для простоты будем с етого момента обозначать их Р (6, д,). Пусть Е (г1) есть и'-мерное подпрострапство (П вЂ” 1)-мерного пространства, в котором г (д) = 0 для я (( ц. Мы можем считать Р (6, т~, я,) принадлежащим этому пространству.

Все вектор-решения В дополняются компонентами т'(д) = 0 для всех д ~( ть Следующая теорема утверждает, что все многогранники Р (6, ГО я~) с различными т~ могут быть получены как пересечения главного многогранника Р (6, А',) с Е (ц). Иными словами, можно получить любой многогранник Р (6, т~, Аа) из Р (6, дц), просто полагая некоторые переменные равными нулю. ТвогкмА 20.5. Р (6, Ч До).= Р (6, йз) П Е (Ч). Доказатвльство. 11усть 1 — любой целочисленный вектор, принадлежащий многограннику Р (6, т~, яэ). Тогда 1 принадлежит очевидно Е (11).

Поскольку с удовлетворяет также (1), он принадлежит и Р (6, л~). Таким образом, Р (6, ц, ле) с- Р (6, д,)() Е (т1). Рассмотрим точку $ из Р (6, яа) П Е (д). Поскольку 1 Е Е Р (6, яа), д может быть выражена как выпуклая комбинация целочисленных точек Ф' ч Р (6, А',), где все В удовлетворяют (1). Пусть 1 = ~~Л;1' с Л; э О. Поскольку 1 с Е (т)), все компоненты т' (д) вектора 1 должны равняться 0 для д ч т~. Это означает, что все 1' должны иметь компоненты Р (д) = 0 для я й и.

Иными словами, все $' принадлежат Е (т)). Кроме того, все Г удовлетворяют (1) и, следовательно, В удовлетворяют групповому уравнению, определяющему Р (6, т~, Аэ), и все В принадлежат Р (6, т~, яе). Поскольку 1 является выпуклой комбинацией точек 1' из Р (6, т1, ла), 1 само должно принадлежать Р (6, т1, дэ). Отсюда получаем, что Р(6. ~о)ПЕ(0) ~= Р(6, Ч, й'о) И ДоиааатЕЛЬСГВО ЗаВЕРШЕПО. и Гл. 2О. ГРлпи цвлОчислвннОГО мнОГОГРлнпикл 436 Из связи между многогранником Р (6, дз) и различными многогранниками Р (6, г), уа) вытекают зависимости между гранями и вершинами многогранника Р (6, уа) и гранями и вершинами многогранника Р (6, т), да).

Следу(ощая теорема устанавливает ати зависимости. Ткогвз(л 20.6 (1) 11еравенстео (7, 7а) является (и' — 1)-мерной гранью многогранника Р (6, ц, да) тогда и только тогда, когда существует неравенство (7, уа), которое является (Р— 1)-мерной гранью Р (6, уа) с 7' (у) = 7 (л) для всех д Е 1). (1() Каждая вершина многогранника Р (6, гь уа) является вершиной многогранника Р (6, да). Вершина 1 =- (г (д)1) многогранника Р (6, да) является вершиной многогранника Р (6, г), дь) тогда и только тогда, когда 1 с Е (т)).

Презкде чем приступить к доказательству теоремы, рассмотрим, как этот факт можно использовать для получения граней н вершин многогранника Р (6, г), да), если грани и вершины многогранника Р (6, уа) известны. В табл. 20.1 перечислены грани многогранника 1' (6, да), где 6 — циклическая группа порядка 6 и да = дз.

В табл. 20.2 мы перечислили грани многогранника Р (6 т) ка) г) = (кг ь" уз Ы Таблица 20.2 получается из табл. 20.( простым отбрасыванием столбца 7,. Четвертая строка табл. 20.2 опущена, поскольку соответствующее ей неравенство является следствием других неравенств. В табл. 20.3 перечислены вершины зшогограпника Р (6е, дз), а в табл. 20.4 вершины многогранника Р (6з (у(, кг кз Уз) кз). Заметим. что вершина многогранника Р (6з, г), дз), соответствующая вершине многогранника Е' (6з, дз), существует тогда и только тогда, когда в табл. 20.3 козшонента 1(у,) = 1, = О.

Таблица 20.1. ГРак«Р(йз, ез) 7( 72 73 7( тз Таблиг(а 20,2. Граа«р (См (г(, ег, гз его ез) . 7( 72 72 7з 7о 7о 1 О 1 О 1 2 1 3 2 1 2 3 2 2 3 1 2 О О О О О 1 О О О О О 1 О О О О О 1 О О О О О 1 1 О О 1 О О 20.1. АВТОМОРФизмы г:1Авных мпоГОГРАгм1иков 437 Табаида 20Х Варв1ИИ1'1 ) ( а ба) 11 11 13 11 11 Табаича 20.4. Варшввм Р(га, Ч, ха) 1а 11 Доказлткльство творимы 20 0 (1) По теореме 20.5 Р (6, ть да) .= Р (С, да) П Е (а)).

Поскольку пересечение с Е (т)) в точности равносильно отбрасывани1о переменных 1 (д) для д ( т), а Р (6, т), да) определяется неравенствами 71 ~ ~7а, то должно существовать соответству1ощее неравенство 7 1 -- 7а, для которого 7' (д) = 7 (я) при л с 1). (й) Из теоремы 20.5 следует также, что если ( — вершина многогранника Р (6, уа), такого, что 7 (д) = О, д й т), то 4 принадлежит Е (1)) и автоматически является вершиной многогранпика Р (6, т), да). Допустим, что Г является вершиной Р (6, 1), да) но не является вершиной многогранника Р (6, да).

Тогда 4' должно быть выпуклой комбинацией неотрицательных точек В многогранника Р (6, да). Но все точки 0 должны иметь р (д) = 0 для д й 1). Иначе это будет противоречить' тому, что $' = ~~ Х1(1, ).1 ) О. Отс1ода следует, что В принадлежит и Е (т)), и многограннику Р (С, да), т.

е. 11 принадлежит Р (6, 1), да). Но 4' — вершина многогранника Р (6, да) и пе представима в виде выпуклой комбинации его точек, следовательно, получено противоречие. ° Ввиду важности многогранника Р (6, да) мы посвятим оставшуюся часть этой главы его изучению. 20А. Автоморфнзмы главных многогранников При изучении главного многогранника Р (6, да) мы увидим, что он имеет структуру, позволяющую получать из одной его грани другую, нз одной его вершины другую. Зная многогранник Р (6, да), мы будем знать и другие главные многогранники Р (6, й).

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

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

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

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