книги из ГПНТБ / Солтан, П. С. Экстремальные задачи на графах и алгоритмы их решения
.pdf
|
Отовда |
оледует, что |
|
|
|
|
|
|||
|
|
|
т і п |
|
<Р(х) = І |
|
ZT' Р(у) d ( л ry) , |
|
||
|
|
|
|
|
|
|
||||
что |
и требовалось |
доказать. |
|
G - |
|
|
||||
|
С л е д с т в и е . |
Если |
граф |
дерево, то |
множѳотво |
|||||
|
вершин, минимизирующее функционал ( I ) , совпадает |
с множе |
||||||||
|
ством |
взвешенных центров |
масс |
[15] . |
• |
|
||||
|
Пусть |
теперь |
для графа 6 |
- ( А , U ) |
даны весовая |
функция |
||||
<7: X — |
D |
и функция і |
: U —- JJ, |
удовлетворяющая неравенствам |
||||||
о ■< |
I ( и ) ^ |
/ , |
Определим понятие |
"расстояние" между |
вершинами |
|||||
х |
жу |
графа |
G |
следующим образом: |
|
|
Ъ ( х , у ) = т? х П і ( и ) ,
|
|
|
и е с |
|
|
где с |
- произвольная цепь, соединяющая вершины х и у . |
|
|||
Рассмотрим фувкцвонал |
|
|
|
||
|
ч ( х ) = Д |
п (х , у ) 9(у)- |
|
(2) |
|
З а д а ч е |
1 5 .2 . Найти множество |
вершив графа G , |
мак |
||
симизирующее функционал (2 ) . |
|
|
|||
Справедлива |
|
|
|
|
|
T |
е о р ѳ м а |
1 5 .2 . |
Решение задачи |
1 5 .2 . сводится к |
ре |
I |
|
Штейнера для графа G |
с "весами" p ( x ) ~ q ( x ) |
||
шению задаче |
|||||
и метрикой d |
( х , у ) = |
trtinljG- |
. |
|
сUfiC
До к а з а т е л ь с т в о . Прологарифмировав (2 ), полу
чим:
( g - t f ( x ) = Z Z д ( у ) І д у ( х , у ) . ^ q ( y ) ^ y * 2 Z
|
~ -£ » |
|
|
|
|
|
|
г: i( s » d ( * ,y ) . |
|
|
Отсюда следует, |
что если вершина х а |
£ X |
удовлетворяет |
|||||
равенству F ( x 0 ) = ^ ^ |
Jgy |
Ц (і/)d ( x , y ) , |
то имеем соотношение |
||||||
■f |
( * о ) ~ х * * |
'Д |
г (х,у)ЧМ' |
что и |
требовалось |
доказать. |
|||
|
Замечание |
I 5 .I , |
|
|
|
|
|
|
|
|
Задача 1 5 .2 . окажется |
полезной |
для |
§ |
17, Там же будет ука |
||||
зан |
ее практический смысл. |
Пример из |
§ 17 |
показывает, что опре |
70
деленный интерес |
представляет |
совместное |
рассмотрение задачи |
||||||||||||||||
Штейнера и |
задачи |
1 5 .2 . В дальнейшем |
это |
и понимается |
под |
"па |
|||||||||||||
рой |
задач типа Штейнера на графах". |
|
|
|
|
|
|
|
|
|
|||||||||
|
|
§ |
16. Совместное решение нескольких задач |
|
|
|
|||||||||||||
|
|
|
|
|
|
Штейнера |
на графе |
|
|
|
|
|
|
|
|
||||
|
I . Для выяснения постановки задачи этого параграфа рассмот |
||||||||||||||||||
рим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
х 2 |
,...х.т, для |
||
|
П р и м е р |
|
1 6 .1 . Населенные пункты |
х, |
, |
||||||||||||||
которых потребности в некотором |
продукте |
равны |
|
соответственно |
|||||||||||||||
р(х, ), |
Р(х г), |
- |
>р(хт) |
единицам, связаны |
между |
собой |
дорогами |
||||||||||||
и, , |
|
иг , . . . , и |
|
таким образом, |
что пара множеств Л={аг()хг> |
||||||||||||||
х т} |
« |
и ={ и і - иz |
и п) образует |
граф |
G = (X , U) . |
Стои |
|||||||||||||
мость |
перевозки |
единицы продукта |
по дороге |
Uj |
|
равна a(Uj) |
> о, |
||||||||||||
j = Л 2 |
, . . . , |
п . |
Ставится |
следующая |
|
|
х 0 |
е X , |
|
|
|
||||||||
|
З а д а |
|
ч а |
|
1 6 .1. Найти |
такой |
пункт |
|
что |
если |
|||||||||
разместить в |
х 0 |
|
производство |
продукта, |
то |
стоимость |
|
обслужива |
|||||||||||
ния всех пунктов надлежащими количествами |
продукта будет |
мини |
|||||||||||||||||
мальной, т .е . |
найти такую точку |
х 0 е X , |
|
для |
которой |
принимает |
|||||||||||||
наименьшее |
значение функционал |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
т |
|
|
|
|
|
|
|
|
|
|
|
(I) |
|
|
|
|
F ( X ) = " L I р & і ) d a ( х , х £ ), |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
I=/ |
|
|
|
|
|
|
|
|
|
|
|
|
|
где |
da (х,х£) = тс п И |
а |
(и) |
|
по |
всем цепям |
с |
|
графа |
G , |
|||||||||
соединяющим |
х |
и |
х £ .Эта |
задача |
является |
некоторой |
|
экономиче |
|||||||||||
ской интерпретацией задачи Штейнера на графе. Здесь |
рассмотрим |
||||||||||||||||||
одновременную постановку нескольких задач Штейнера |
на графе S, |
||||||||||||||||||
Это имеет смысл по следующим соображениям. |
|
|
|
|
|
|
|
||||||||||||
|
П р и м е р |
|
1 6 .2 . Допустим, что побочным продуктом |
рас |
|||||||||||||||
сматриваемого |
производства |
в примере I 6 .I . |
явлшѳтся другой |
про |
|||||||||||||||
дукт, |
причем потребности |
населенных пунктов |
x f , |
х г |
, , . . , х т |
||||||||||||||
в этом продукте |
равны соответственно |
q ( x f ), |
|
q ( xz) t . . |
q(xm) |
ёдиницам, а стоимость перевозки единицы этого продукта по доро ге Uj равна b ( U j ) ^ o . (Здесь, вообще говоря, о-(и-^) ? ß (uj)) .
По отношению к этому продукту получаем аналогичную задачу о ми нимизации функционала
т
7 ( * ,) db ( х . Ъ ) . |
(2) |
71
где |
d. ( х , х . ) |
= ті п L - Ыи) |
|
|
по всем цепям |
с |
графа |
G у сое- |
||||||||||||||||
|
|
• |
X |
|
‘ |
|
ь |
иес |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x L . |
|
|
|
|
вопрос, |
нельзя |
ли |
подобрать |
такой |
||||||||||
|
Естественно |
возникает |
||||||||||||||||||||||
ЛИНЯЮЩИМ |
|
|
И |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
пункт |
х 0 |
|
для |
размещения |
производства, |
что |
оба функционала F(x), |
|||||||||||||||||
Е (х) |
достигают своего |
минимума |
при |
х ~ х 0 . |
В случае |
|
про |
|||||||||||||||||
извольного |
графа |
G = (X,U) |
решения |
этой |
задачи, |
вообще |
говоря, |
|||||||||||||||||
не |
существует; |
мнолество |
X |
|
всех |
точек |
і е Х |
, |
в |
которых |
ми |
|||||||||||||
нимизируется |
функционал |
|
Г ( л ) , |
может |
оказаться |
|
непересекаго- |
|||||||||||||||||
щимся с множеством |
|
|
всех |
точек, |
минимизирующих Е (х). |
|
|
|||||||||||||||||
|
В данном параграфе |
укажем |
условия, |
накладываемые |
на |
|
граф |
|||||||||||||||||
6 |
= (Х , Ü) |
и функции |
а ( и ), |
b ( u ) , p ( x ) , q ( x ) , |
участвующие в |
|||||||||||||||||||
постановке задачи, при выполнении которых указанные задачи |
за |
|||||||||||||||||||||||
ведомо имеют Совместное решение, т .е . |
XF л Х£ |
¥ |
<р |
|
, |
причем |
||||||||||||||||||
нахождение решения осуществляется без использования |
чисел |
|
а (и) |
|||||||||||||||||||||
в |
Ь(и) .Более |
того, |
рассмотрим |
совместную постановку к |
|
задач |
||||||||||||||||||
рассматриваемого |
типа |
на графе |
и покажем, |
при |
каких условиях все |
|||||||||||||||||||
к задач имеют общее решение. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
2 , |
|
|
Итак, |
пусть на |
конечном, |
связном |
и |
неориентирован |
|||||||||||||||
графе |
6 « * (X ,tf) |
заданы: I) положительные функции |
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
а ѵ |
• |
U |
|
|
д, |
V = f ,2.......... ж , |
|
|
|
|
|
( 3) |
||||
которые определяют |
к |
метрик |
d , , d z , . . . , d K , |
введенных |
|
соот |
||||||||||||||||||
ветственно |
при |
помощи |
|
соотношения |
(2) |
§ I ; |
2) |
неотрицательные |
||||||||||||||||
функции |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
3) |
фувкционали |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
= |
|
Рѵ (Хс) с (у ( х , Х ; ) |
' |
|
|
|
|
(5 > |
||||||
4) |
множество М<= X , |
являющееся |
замкнутым |
d -выпуклым |
множест |
|||||||||||||||||||
вом относительно |
каждой |
метрики d ^ , |
V = 1,2, ... , к . |
|
|
|
||||||||||||||||||
|
Напомним, |
что |
множество |
М с к |
|
называется |
d -выпуклым от |
|||||||||||||||||
носительно |
|
|
|
на |
X , |
если |
из |
соотношений |
х г |
х г |
е М, |
d )l(xf, x 2)=- |
||||||||||||
= |
d i ( x f , x J ) ^ d / X j , x 2 ) |
следует |
х э |
^М- |
|
|
|
|
|
|
|
|||||||||||||
|
Теперь может быть сформулирована |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
З а д а ч а |
1 6 .2 . Найти |
такую точку |
х 0 е М , |
|
в |
которой |
||||||||||||||||
функционалы |
(5) |
одновременно |
достигают |
минимума, |
т.е.такую |
точку' |
||||||||||||||||||
х 0 е |
М , |
|
что |
выполнены |
соотношения |
|
|
|
|
|
|
|
|
|
72
|
т |
|
к. |
|
(6) |
|
|
|
|
||
Под этой задачей |
будем понимать |
совместную |
постановку |
||
нескольких задач Штейнера на графе. Покажем, что если |
граф |
6 |
|||
принадлежит классу К |
, описанному в § |
4, а функции |
(3) |
и |
(4) |
удовлетворяют определенным условиям, то поотавленная задача раврешимѳо Более того, для этого клаоса графов и этих функционалов
окажется, |
что |
нахождение искомой |
точки |
х д |
может |
быть |
осущест |
|||||||||||||||||
влено при помощи алгоритма, не использующего |
значений |
функдар |
||||||||||||||||||||||
«у (и). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
Переходам к описанию интересующего нас класса |
графов |
6 |
* |
|||||||||||||||||||
приведем |
условия, которые накладываются |
на функции |
(3) и (4 ) . |
|||||||||||||||||||||
|
|
3 . |
|
|
Будем |
предполагать, |
что рассматриваемый граф 6 =(х,и) |
|||||||||||||||||
реализован |
на |
плоскости. Пусть |
<р |
- |
множество всех |
ограничен |
||||||||||||||||||
ных граней, |
определяемых графом G |
на |
плоскости |
(см .§ |
4 ) . |
|
Па |
|||||||||||||||||
граф |
G |
и функции |
a v (u),pt (x) |
наложим следующие |
|
условия: |
|
|||||||||||||||||
|
|
1 ° . |
Для |
любых |
Ff ,F2 * |
ЯР, |
F1 |
* Fz |
|
пересечение |
Ff nFt |
|
||||||||||||
исчерпывается |
одним из |
|
случаев: Ft n |
Fz |
= 0 , F , n Fz |
= и • |
U . |
|
|
|||||||||||||||
|
|
2 ° . |
Каждая грань |
Fe ф |
является |
(вообще говоря, |
криволи |
|||||||||||||||||
нейным) простым |
четырехугольником, |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
3 ° . Если |
вершина |
|
х е / |
не |
принадлежит |
неограниченной |
об |
|||||||||||||||
ласти |
F0 , то X |
инцидентна |
более |
чем трем ребрам графа G. |
|
|
||||||||||||||||||
|
|
4 ° . |
Если |
|
и,, и2 6 |
|
U |
- |
противоположные стороны |
|
некото |
|||||||||||||
рой грани |
|
F e < P , |
то |
|
а і |
(и,) |
* |
а ѵ (uz ) , |
|
/,2, |
|
|
|
|
|
|
||||||||
|
|
Пусть Ut , U2 , |
|
, |
Uп |
- |
классы эквивалентности |
множе |
||||||||||||||||
ства |
U |
(определение |
4 . 1 . ) . Как |
показано в § 5 (следствие 5 .1 .) |
||||||||||||||||||||
каждый класс |
эквивалентности |
V) , |
j |
= /,2 , |
. . . , п |
является |
раз |
|||||||||||||||||
резом |
в смысле |
теории |
|
графов |
[ I ] , |
[10] , |
причем |
|
граф |
Gj |
= |
|||||||||||||
= ( X |
, U \ U j |
) состоит из двух компонент связности |
|
[10] |
: Gj |
|||||||||||||||||||
и |
G / . Далее, |
если |
£'■= |
( K ' , U ‘ ) |
|
- |
подграф графа |
|
G = ( X , U ) |
|||||||||||||||
с |
функцией |
Р |
, то через |
Pv (G') |
понимается |
число |
Щ , р |
|
( х ) . |
|||||||||||||||
|
|
п |
|
|
каждого фиксированного |
/ |
|
|
|
хе*' ■У |
|
|
||||||||||||
|
|
5 °. Для |
= 1, 2, . ■■, п |
|
оправедлив.0 |
|||||||||||||||||||
соотношение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(7) |
Обозначим этот класс графов через |
|
К ѵ, |
V = 1 , 2 |
, . . . ,, к . |
|
|
|
|
|
|||||||||||||||
|
|
4 . В первую очередь заметим, |
что |
справедлива |
|
|
|
|
|
|
|
Зак.665 |
73 |
Л е м м а |
|
І 6 Д . Боли граф |
6 = ( X , U ) , |
и функции |
|
||
удовлетворяют условиям 1° - |
4 °, |
а М<^ X |
являетоя d |
- |
|||
выпуклым множеством относительно |
некоторой |
метрикиdy}го |
И |
||||
являетоя |
d -выпуклым и относительно любой другой метрики |
||||||
d 9 |
, V = |
/,2 , |
|
|
|
|
|
Доказательство проводится непосредственным образом при по |
|||||||
мощи теоремы 6 .1 , |
о использованием |
клаооов |
эквивалентности . |
||||
. Ut , Ѵ , |
Un |
и условия 4°. |
|
|
|
|
•Справедлива
|
Т е о р е |
м а |
1 6 .1 . Если граф |
G =( X, U) |
и |
функции |
|||||||||||||||||
|
Q ѵ (и), Pf (X), |
V = f , 2 , |
|
|
л |
|
удовлетворяют условиям 1 ° - |
||||||||||||||||
|
5 °, |
а |
|
Нс--X |
- |
заданное |
|
|
d -выпуклое |
множество |
относи |
||||||||||||
|
тельно некоторой метрики dy , то существует вершина |
|
гра |
||||||||||||||||||||
|
фа |
G |
, |
которая |
минимизирует функционалы |
(5 ), |
т .е . |
сущест |
|||||||||||||||
|
вует |
решение |
задачи. 1 6 .2 . |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
Д о к а з а т |
е л ь с т |
в |
о . |
|
В силу |
леммы 1 6 .1 |
множество |
|||||||||||||||
М является |
|
o'-выпуклым относительно |
каждой метрики |
|
|
V = |
|||||||||||||||||
= І,2, |
|
|
|
Пуоть |
|
|
Yy - |
множество |
всех вершин графа |
G |
, для |
ко |
|||||||||||
торых функция |
ру |
принимает |
положительные |
значения. Тогда можем |
|||||||||||||||||||
рассматривать |
к |
задач |
ХМУѴ, т .е . |
к |
задач Штейнера на |
графе |
|||||||||||||||||
6 |
класса |
К\ |
Обозначим через |
|
Хѵ |
множество |
всех решений |
|
за |
||||||||||||||
дачи |
XMYy, |
V = / , |
2 , |
. . к, |
причем в силу |
теоремы |
9.1 |
будем |
по |
||||||||||||||
лагать, |
|
что |
ХУ= Х , |
|
а также |
для |
упрощения |
записей |
р ѵ = р) |
, где |
|||||||||||||
Ру |
- |
функция, определенная |
на |
X |
при помощи функции |
ру |
и |
||||||||||||||||
оценки |
£ |
(см.§ |
9 ) . Теперь |
вернемся к рассмотрению отображения |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
<*-ѵ •' G |
—- |
I |
= |
(Ід , If ) , |
|
|
|
|
|
|
||||
переводящего |
граф |
|
G |
в граф |
I , |
представляющий одномерный ос |
|||||||||||||||||
тов |
клеточного |
комплекса |
І п с |
|
R^ |
(см .§ |
7 ). |
х і |
|
|
G |
|
|
||||||||||
|
Очевидно, |
что |
если |
для |
некоторой |
вершины |
графа |
вер |
|||||||||||||||
ны равенства |
оС, ( x t ) - oi2 |
(xL) = ... =<х?(х('),то имеем: d.f(G)=dz (G) = |
|||||||||||||||||||||
=..,= сИк (G) . В дальнейшем будем |
полагать, |
что |
это |
условие |
выпол- |
||||||||||||||||||
вяѳтся, |
|
а следовательно, |
можно пользоваться обозначением о(=ос,= |
||||||||||||||||||||
.= otg = . . . |
= оСк . |
|
Тогда в |
пространстве |
R" |
можем рассматри |
|||||||||||||||||
вать |
к |
|
задач |
R " |
N ы. ( Yy ). |
|
|
|
( Х у ) |
|
|
|
|
|
|
|
|||||||
|
Теперь |
заметим, |
что |
множество |
представляет |
собой |
|||||||||||||||||
множество всех вершин некоторой -грани |
Туѵ, |
о « ? ^ 2 |
, |
точки |
|||||||||||||||||||
которой |
|
составляют |
множество всех |
решений задачи R" N |
|
(Yv) , |
|||||||||||||||||
где ! t = d - c o n v <х. |
(,М)с |
R ^ |
. |
|
Далее, |
на |
основе леммы из |
§ |
3 |
74
множества |
I**, |
|
у = 1 , 2 |
, . . . , к |
являются |
|
|
-выпуклыми |
множе |
|||||||||||||||||
ствами пространства ffn . Следовательно, для выполнения условия |
||||||||||||||||||||||||||
Л І*ѵѵ Ф 0 |
, |
достаточно |
в |
|
силу |
следствия |
2 .2 , |
чтобы имело |
||||||||||||||||||
место |
соотношение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
ІІ* |
П і |
/‘ |
1 |
ф , |
V, |
Ѵ'= |
1 , 2 |
, |
|
/с. |
|
|
|
(8 > |
||||||
|
|
Покажем, |
что |
условие |
(8) |
выполняется. Рассмотрим |
условие |
|||||||||||||||||||
5° пункта 3 настоящего параграфа. Из соотношения (7) .очевидным |
||||||||||||||||||||||||||
образом |
следует, |
что верно |
|
равенство |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
sign (Pt (Gj ) - p f ( G j ) ) * sign (pt .(G j) - fy (G j) |
|
|
|
|||||||||||||||||||
для |
каждых |
V,V‘ = |
f,2, |
• ■■, |
к. |
|
Применяя |
к |
6j |
и G* |
отображе |
|||||||||||||||
ние o t , получим соотношение: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
sig n (p v ( ^ ( G -‘ ) ) - P V(OC(6 /) ) ) = |
sign(pr (^ (G j)) -р ѵ. (k (G*))) . |
|
||||||||||||||||||||||||
Откуда |
в силу |
теоремы |
3.1 |
|
и леммы § 3 |
немедленно |
приходим |
в |
||||||||||||||||||
тому, что каждые две задачи |
|
/ ?*/ V |
f |
) |
|
и |
А*” |
N << |
( У ѵ>) |
|||||||||||||||||
имеют |
общее |
решение, а |
это |
|
значит, |
что условие |
(8) |
выполнено. |
||||||||||||||||||
|
|
Отсюда |
уже |
легко |
получить доказательство |
теоремы І 6 . І .Дей |
||||||||||||||||||||
ствительно, |
пусть |
|
z g~ |
некоторая вершина множества |
І і = ф І * ѵ * |
|||||||||||||||||||||
j* |
0 |
. |
Тогда |
при |
помощи отображения |
находим |
вершину |
х 0 => |
||||||||||||||||||
= |
|
|
( z 0) |
графа |
G. |
|
В силу |
теорем 7 .2 , |
|
9.1 |
и |
1 0 .1 . |
верши-' |
|||||||||||||
на |
х 0 |
|
является |
решением каждой из |
задач |
ХМУѴ, |
V“ |
f,2 |
, - |
,к. |
||||||||||||||||
|
Таким образом, |
теорема |
1 6 .I |
доказана. |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
В силу |
следствий |
свойств |
а?-выпуклости и леммы |
настоя |
|||||||||||||||||||||
щего параграфа |
немедленно |
получаем |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
С л е д с т в и е |
|
1 6 .1 . Множество всех |
решений рассмат |
|||||||||||||||||||||
|
|
риваемой задачи 16.2 для |
графа |
G, |
удовлетворяющего |
усло |
||||||||||||||||||||
|
виям 1° |
- |
5 °, |
является |
|
o’ -выпуклым множеством |
|
относи |
||||||||||||||||||
|
|
тельно |
любой |
метрит® |
d y |
, |
у = |
1 , 2 |
, ■. . , к . |
|
|
|
|
|
|
|||||||||||
|
|
5. |
|
|
Приступим, |
наконец, |
к изложению основных шагов |
алго |
||||||||||||||||||
ритма |
решения |
задачи |
1 6 ,2 , |
сделав |
предварительно |
следующие |
||||||||||||||||||||
рассмотрения, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
Обозначим, |
как и раньше, |
через |
Хѵ |
- |
множество |
решений |
за |
|||||||||||||||||
дачи |
ХМYy , |
|
Ѵ= 1 |
,2 |
, |
|
|
Предположим, |
что задача |
16,2 |
|
имеет |
||||||||||||||
решение, т . е . полагаем, |
что Q Аѵ |
д |
0 . |
Покажем, |
каким |
обра |
||||||||||||||||||||
зом их можно |
|
найти. Через |
|
I |
обозначим множество |
о с ( Хѵ) , |
а |
|||||||||||||||||||
через |
|
I |
- |
их объединение. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
75
|
|
Пусть |
q ( z ) , z . e l |
|
означает число множеств |
из |
набора |
|||||||||||||||||
I, |
, І 2 |
, . . . І К , |
|
которым принадлежит |
точка |
z |
. Рассмотрим |
функцию |
||||||||||||||||
q. |
<x(Yv ) - ~ |
|
1) |
и |
пусть |
І 0 |
- |
множество |
|
вершин |
грани |
куба |
||||||||||||
пространства |
|
R " t составляющих множество решений |
задачи R * R ”l. |
|||||||||||||||||||||
|
|
Справедлива |
|
|
|
|
|
|
|
|
|
|
|
(10) |
|
|
||||||||
|
|
Т |
е |
о |
р |
|
е |
м а |
|
1 6 .2 . |
Элементы множества |
ос" |
пред |
|||||||||||
|
|
ставляют |
|
собой |
решения |
задачи 1 6 .2 , |
|
|
|
|
|
|
|
|
||||||||||
|
|
Д |
о |
к |
а |
|
з а т е л ь с т в о |
. Рассмотрим |
задачу |
R ” R 1' 1 . |
||||||||||||||
|
|
Пусть |
теперь |
|
J |
= { Э |
|
- |
множество |
всех подмножеств |
из |
|||||||||||||
|
І,д л я |
которых имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
П |
сг ( г ) >~2 ~ Z Z а ( z ) . |
|
|
|
|
|
|
||||||||
Тогда |
в |
силу |
|
следствия 3 .2 , получаем, что множество решений за |
||||||||||||||||||||
дачи |
R* R ” 1 |
совпадает |
с |
множеством |
|
Q |
d-convJx ■С другой |
|||||||||||||||||
стороны, |
множество |
П |
d-cony'J, |
совпадает |
с |
d-conv (<<.(/! X„)) |
= |
|||||||||||||||||
= |
Q |
J / |
? 0 |
. Далее#множество |
Q І ѵ ѵ |
|
представляет |
|
собой |
не |
||||||||||||||
которую грань |
|
I * |
куба I n<=R” , |
множество |
вершин которой |
суть |
||||||||||||||||||
множество |
|
Ір |
|
|
образов |
при "отображении |
оС |
множества |
решений |
|||||||||||||||
/7 Х ѵ |
* ф , |
представляющих |
|
решения задачи |
1 6 .2 . Таким образом, |
|||||||||||||||||||
теорема доказана. Теперь нахождение вершин грани |
1* |
может быть |
||||||||||||||||||||||
осуществлено |
|
в силу теоремы 3 .3 . |
при помощи алгоритма |
|
из |
§ |
3. |
|||||||||||||||||
Применяя к найденным вершинам отображение |
об"' |
найдем |
решения |
|||||||||||||||||||||
поставленной |
|
задачи |
1 6 .2 , |
Таким образом, |
приходам к следующему |
|||||||||||||||||||
алгоритму |
решения |
задачи |
1 6 .2 , |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Алгоритм |
|
|
|
|
|
|
|
|
|
|
|
|
I) |
Проверяется |
выполнимость |
условий |
( 7 ) ,Если условия |
|
(7) |
||||||||||||||||
выполнены для |
|
|
каждого |
V = |
1,2, ....к, то |
в силу |
теоремы |
1 6 .1 |
ре |
|||||||||||||||
шение |
задачи |
1 6 .2 |
существует. Следовательно, можно приступить |
|||||||||||||||||||||
К |
очередному |
шагу» |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
!2) Алгоритмом из § 10 находится множество всех решений за
дачи |
XMYV , V = 1 , 2 ч . |
|
. , к . |
к |
|
|
_________ |
|||
|
3) |
Рассмотрим множество |
Х ^ ~ 0 |
Х ѵ |
и введем |
функцию |
||||
Я* |
D |
подобно тому, |
как |
была введена |
функция |
q : ос ( Y v ) — D. |
||||
С помощью алгоритма из |
§ |
8 |
находим решение задачи А*Л*Я.* . |
|||||||
|
В силу проведенных |
рассмотрений, |
решения этой задачи |
и яв |
||||||
ляются решениями задачи |
1 |
6 .2 . |
|
|
|
|
|
|||
|
З а м е ч а н и е |
. |
Уоловия |
(7) |
выражают, |
очевидно, |
что |
76
функции |
р ѵ ( х ) , р ѵ, ( х ) , |
Ѵ,Р'= 1 , 2 |
|
. ,к |
для различных |
вер |
||||
шин |
je |
и x ' |
ведут себя |
приближенно |
|
пропорциональными |
функ |
|||
циями: |
p v (х): р ѵ, (X) CLр ѵ (х'):рѵ'(х ') |
. Следовательно, |
если |
в |
||||||
практических |
задачах полагать, что |
потребления в пунктах х |
и |
|||||||
ос' |
различных продуктов |
р , ( х ) , р г (х) |
и |
р }) (x'), / ѵ |
( х>) . |
|||||
производимых в одном и том де месте, |
пропорциональны, |
то |
про |
|||||||
веркой |
выполнимости условий (7) практически |
можно пренебречь, |
|
§17, Совместное рассмотрение на графе нескольких пар задач типа Штейнера
I . Как и в предыдущем параграфе,нам удобно |
для |
выяснения |
|||||||||||||||
цели настоящего параграфа начать изложение о рассмотрения |
од |
||||||||||||||||
ного примера. |
|
|
|
|
|
|
|
|
|
|
х,, |
х г , . . . , х п |
|||||
П р и м е р |
1 7 .1 . Пусть |
населенные пункты |
|||||||||||||||
нуждаются |
в |
к |
видах продуктов, |
причем потребности |
в |
продукте |
|||||||||||
вида |
|
|
|
равны соответственно р ѵ (х,), р ѵ (х2) , .. .,рѵ0 *п) |
|||||||||||||
единиц. Пусть, кроме того, пункты |
х , , |
хг , . .. , х п |
|
соединены |
|||||||||||||
между ообой |
дорогами |
иі |
, ит, . . . , и т |
таким образом, |
что |
пара |
|||||||||||
множеств |
X = { x f , х г , : . . , |
х п] , |
U - { |
и , , иг ,. . . , |
|
|
|
обра |
|||||||||
зует связный |
граф |
G = ( X , U ) |
, |
|
а |
стоимость |
перевозки |
едини |
|||||||||
цы продукта |
вида |
V = /, 2 , , . . ,к |
|
по |
дороге иу |
равна |
а у ( uj) |
, |
|||||||||
J “ 1 , 2 , ...,т. Ставится |
задача |
(см.ниже, |
задача |
1 7 .1 . ) нахождения |
|||||||||||||
такого пункта |
эс0 |
«= X , |
что |
если |
разместить |
в х 0 |
|
производст |
во продукта, то стоимость обслуживания будет минимальной. Ина
че говоря, |
речь идет |
о нахождении |
такой |
точки,дли |
которой |
при |
||||||||||
нимает наименьшее |
значение функционал |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
П |
ру ( |
Л у [ X , Ту), |
|
/, 2, ... , к , |
|
|
|||||
|
|
f y ( x ) ~ ] E _ |
У = |
|
(I) |
|||||||||||
где Л у ( X , x L) = |
|
|
x v (<■■) |
. |
по всем |
цепям |
с |
графа |
Ѳ , |
|||||||
соединяющим |
х |
и |
^ ..Т еперь, |
пусть |
на каждый из втих |
продук |
||||||||||
тов требуется |
свой |
срок |
реализации, |
т .ѳ . |
срок реализации |
про |
||||||||||
дукта вида |
|
у = 1 |
, 2 |
, . . . , к |
не должен превосходить ty единиц |
|||||||||||
времени, |
а вероятность доставки единицы продукта вида |
|
у |
= |
||||||||||||
- 1 ,2 , . . . , |
к |
за |
ty |
времени по дороге |
Uj |
равна |
bf (Uj)>o, |
j ~ |
||||||||
= І2, ... , rn. |
И в данном |
случае ставится |
другая |
задача |
(см.ни |
|||||||||||
же, более |
общая формулировка |
этой |
задачи |
- |
задача |
1 7 .2 .) , |
типа |
|||||||||
задачи § |
С6, в которой требуется найти такой пункт |
х 0 |
е X, |
, |
||||||||||||
что если |
разместить |
производство |
этих видов продуктов, |
то |
ве |
|||||||||||
роятность |
обслуживания за t v |
времени всех пунктов |
соответст- |
77
вугощими количествами продукта вида V будет максимальной для каждого Ѵ= /, 2 , к . Другими словами, ставится вопрос о нахож дении такой точки х 0 е X, , для которой макоимивируетоя функ ционал
|
|
|
|
|
|
|
|
17 |
|
|
|
|
|
р,/д;Л |
|
|
|
|
|
|
|
|
|
|
дѵ ( х ) = .П |
( V A X ’ X L )) |
|
> |
|
|
|
(2) |
|||||||
где |
/иу( х . х р |
|
=з тс^рс |
J l |
^ |
(и) |
по |
всем цепям |
с |
графа 6 , |
|||||||||
соединяющим |
х |
и |
|
хі |
(см.задачу |
1 5 .2 ). |
|
|
|
|
|
|
|
||||||
|
Естественно |
возникает и другой |
вопрос |
(ом, ниже, |
задача |
||||||||||||||
1 7 ,3 .), нельзя |
ли подобрать |
такой |
пункт |
л, |
для размещения про |
||||||||||||||
изводства, |
что |
при |
всех |
і> <= і,2 , - ... к |
функционалы |
/ ѵ (х) |
и |
||||||||||||
д ѵ |
(X) |
достигают |
необходимого |
экстремума |
при х |
- |
х . |
|
|
||||||||||
|
Оказывается, |
что |
если |
граф |
6 |
удовлетворяет |
|
определен |
|||||||||||
ным условиям, |
|
тесным образом |
овязанннм |
о |
условиями |
1° |
- |
5°,то |
|||||||||||
решение этой последней задачи (задачи |
1 7 .3 .) |
существует |
и |
'на |
|||||||||||||||
хождение вершины |
X |
осуществляется |
без |
|
использования |
|
чиоел |
||||||||||||
a y |
( Uj ), |
bv(Uj), |
|
|
|
і |
j e / , г, . . . , / г?. |
|
|
|
|
|
|||||||
|
Для олучая произвольного |
графа |
G |
|
решение задачи |
17.3^ . |
|||||||||||||
вообще говоря, |
не |
существует. |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
В этом параграфе мы укажем условия, |
накладываемые |
на граф |
||||||||||||||||
G |
и на функции |
а у (и), by(u),p„(x), цу (х), участвующие в поста |
|||||||||||||||||
новке задачи |
1 7 .3 , |
при выполнении которых |
задача 1 7 .3 . |
имеет |
|||||||||||||||
решение, причем такое, что его нахождение осуществляется |
при |
||||||||||||||||||
помощи алгоритма, |
не использующего |
числа |
|
a y (Uj) 7 |
Ьу ( и у ) , |
||||||||||||||
V = /, 2 , . . . , к. |
Сама |
задача |
1 7 .3 . |
поставлена при |
некоторых бо |
||||||||||||||
лее общих, |
но естественных предположениях |
(см .п .2 ). |
|
|
|
||||||||||||||
|
2 . Пусть на конечном, овязном и неориентированном |
|
графе |
||||||||||||||||
заданы: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1)к пар неотрицательных функций
Pf(■*), аѵ(и), |
и^и, V=t,2,....к |
(3 ) |
|||
2) К пар функций |
|
|
|
|
|
q v (,'х ) > о , |
о < |
|
х & Х , ц & |
U, У = / , 2 , . . . , к . |
( 4 ) |
Эти функции позволяют |
определить на X |
соответственно функцио |
|||
налы: |
П |
|
|
|
|
f v (X) = |
p v (xL) Л ѵ ( х , х і ), |
|
|||
.Ц |
(5) |
||||
|
£а1 |
|
|
|
|
78
|
|
|
Уѵ |
( Х ) ~ п |
|
|
|
|
|
|
|
V=t, 2 |
, . . . , K |
? |
|
(6) |
|||||
|
|
|
|
|
ы |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Л у ( х , х і ) = |
j n |
х : |
а у (и) |
|
|
|
|
|
|
|
(V) |
||||||
|
|
|
|
|
|
|
|
|
|
иеС |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
м А * |
>X L) |
= mc x J]c |
|
|
|
|
|
|
|
|
(Ѳ) |
||||||
|
Так как функция |
|
|
|
|
|
|
|
|
неотрицательна, |
то |
||||||||||
граф б , для которого определена метрика |
Л ѵ ( х , x L) |
, |
назовем |
||||||||||||||||||
полуметрическим |
(из |
условия |
Л,, (х-1 |
, х г |
) = <?, |
|
еще не |
следует, |
|||||||||||||
что |
x f |
= х 2 ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Совершенно аналогично, как это было сделано для |
|
метриче |
||||||||||||||||||
ского графа, вводится понятие выпуклого множества для |
полумет- |
||||||||||||||||||||
рического графа. Но только в этом случае мы ее назовем |
|
Л -вы |
|||||||||||||||||||
пуклостью. Далее |
|
введем |
еще |
"сопряженное" |
понятие. |
|
|
|
|
||||||||||||
|
О п р е д е л е н и е |
|
. Множество |
N c X |
|
графа |
G = ( X , U ) |
||||||||||||||
о функцией |
(8) назовем JU |
-выпуклым, |
если из |
соотношений ос,,хгеМ |
|||||||||||||||||
|
|
|
|
|
(•%/1 |
г ) = |
|
|
1хз ) ‘fit (хз >х г) |
|
|
|
|
||||||||
следует соотношение |
|
е |
V. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Теперь |
|
рассмотрим |
следующие |
задачи. |
|
|
|
|
|
|
|
|||||||||
|
З а д а ч а |
1 7 .1.Даны множество |
Ң<=Х >являющееся |
Л-выпук |
|||||||||||||||||
лым относительно |
каждой функции Л ѵ, у = і,2 |
,..., к , |
и |
функционалы |
|||||||||||||||||
(5) . |
Найти |
такую |
вершину |
Хд е М , |
|
в которой все эти функцио |
|||||||||||||||
налы одновременно достигают |
минимума. |
|
|
|
|
|
|
|
|
|
|||||||||||
|
З а д а ч а |
1 7 .2 .Даны множество |
А/<=Х, |
являющееся /«-выпук |
|||||||||||||||||
лым относительно каждой функции /и ѵ , |
У= 1,2 |
,...,к ,и |
функционалы |
||||||||||||||||||
(5) . |
Найти |
такую вершину |
ac^-e/V', |
|
в |
которой |
все эти |
функцио |
|||||||||||||
налы одновременно достигают |
минимума. |
|
|
|
|
|
|
|
|
|
|||||||||||
|
З а д а ч а |
1 7 .3 ,Даны множество/? |
|
, являющееся |
Л-выпук |
||||||||||||||||
лым и ju |
-выпуклым соответственно |
относительно |
каждой |
|
функции |
||||||||||||||||
Л 9 |
, / и ѵ , |
|
1 , 2 , . . . , |
к |
, |
и |
|
функционалы |
(5) |
и |
(6) . |
||||||||||
Найти такую вершину |
эс0 е R , |
в которой функционалы |
(5) |
и |
(6) |
||||||||||||||||
одновременно достигают соответственно минимумами максимума. |
|
||||||||||||||||||||
|
З а м е ч а н и е |
1 7 .1 .Задача 1 7 .1 |
"почти"совпадает |
с |
зада- |
||||||||||||||||
чеіІІ6.2(там ССу(ы)>о |
, у = / , 2, . . . , |
к ),а |
для |
случая |
Д = / |
она |
79