1 ßâëÿåòñÿ ëè N P -ïîëíîé ñëåäóþùàÿ çàäà÷à?

Äàí ïðîñòîé ñâÿçíûé ãðàô G = (V, E) ñ ïîëîæèòåëüíûìè öåëûìè âåñàìè

„
ðåáåð, ìíîæåñòâî òåðìèíàëîâ N V . Òðåáóåòñÿ îòâåòèòü íà âîïðîñ, ñóùåñòâóåò ëè äåðåâî Øòåéíåðà äëÿ N âåñà íå áîëåå
|N| + 2022.
2 Ïðèìåíÿÿ ìåòîä âåòâåé è ãðàíèö, ïîñòðîèòü äåðåâî Øòåéíåðà ìèíèìàëüíîãî âåñà äëÿ ÷åðíûõ âåðøèí â óêàçàííîì ãðàôå.
4 5
3
5
6 6 2
4 7 2

2 7

3 Íàéòè òî÷íîå ðåøåíèå çàäà÷è Øòåéíåðà íà ìàíõýòòåíñêîé ïëîñêîñòè äëÿ òåðìèíàëîâ: t1 (0, 0), t2 (2, 1), t3 (3, 2), t4 (1, −4),
t5 (−1, −2), t6 (−3, −2), t7 (−4, 0). Îòâåò îáîñíîâàòü.

1 Íà ìàíõåòòåíñêîé ïëîñêîñòè ðàñïîëîæåí ìíîãîóãîëüíèê B ñ ãîðèçîíòàëüíûìè è âåðòèêàëüíûìè ñòîðîíàìè. Ìíîæåñòâî

òåðìèíàëîâ N  ýòî âñå óãëû B. Âåðíî ëè, ÷òî ñóùåñòâóåò ïðÿìîóãîëüíîå ÄØ ìèíèìàëüíîãî âåñà äëÿ N, êîòîðîå ÿâëÿåòñÿ
öåïüþ è öåëèêîì ëåæèò íà ãðàíèöå B (ò.å., ðåøåíèå çàäà÷è Øòåéíåðà ìîæíî íàéòè, óäàëèâ íåêîòîðûé ó÷àñòîê ãðàíèöû)?

2 Ïðèìåíÿÿ ìåòîä ïåðåáîðà ïîäìíîæåñòâ íåòåðìèíàëüíûõ âåðøèí, ïîñòðîèòü äåðåâî Øòåéíåðà ìèíèìàëüíîãî âåñà äëÿ
÷åðíûõ âåðøèí.
4 5
3 4
5
6 6 7
7
2
2 3

3 Äàíî ìíîæåñòâî òåðìèíàëîâ íà åâêëèäîâîé ïëîñêîñòè: t1 (0, 0), t2 (−1, −2), t3 (0, 1), t4 (−3, −3), t5 (3, −3), t6 (−1, 4). Ïîñòðî-
èòü êàê ìîæíî ìåíüøóþ Øòåéíåðîâó îáîëî÷êó è óñòàíîâèòü òîïîëîãèþ îïòèìàëüíîãî åâêëèäîâà äåðåâà Øòåéíåðà, åñëè
âèä îáîëî÷êè ïîçâîëÿåò ýòî ñäåëàòü.
1 ßâëÿåòñÿ ëè N P -ñëîæíîé ñëåäóþùàÿ çàäà÷à? Äàí ïðîñòîé ñâÿçíûé ðåáåðíî âçâåøåííûé ãðàô G = (V, E) ìíîæåñòâî
„
òåðìèíàëîâ N V . Òðåáóåòñÿ ïîñòðîèòü äåðåâî T „
G òàêîå, ÷òîáû îíî ñîäåðæàëî íå ìåíåå ïîëîâèíû âåðøèí èç N è
èìåëî ïðè ýòîì ìèíèìàëüíî âîçìîæíûé âåñ.
2 Ïðèìåíÿÿ àëãîðèòì Ìåëõîðíà, ïîñòðîèòü äåðåâî Øòåéíåðà äëÿ ÷åðíûõ âåðøèí. ßâëÿåòñÿ ëè ïîñòðîåííîå äåðåâî ðåøå-
íèåì çàäà÷è Øòåéíåðà?
10
9 9
4
5
3
11 4 6 8
3
5
4
7 9
10

3 ? ?
Èñïîëüçóÿ ìåòîä Ìåëüçàêà, âîññòàíîâèòü îòíîñèòåëüíî ìèíèìàëüíîå åâêëèäîâî äåðåâî Øòåéíåðà ñ óêàçàííîé òîïîëîãèåé
äëÿ òåðìèíàëîâ: t1 (0, 3), t2 (−2, 3 − 2 3), t3 (8, 0), t4 (8 − 4 3, −4). Íàéòè âåñ äåðåâà è êîîðäèíàòû òî÷åê Øòåéíåðà.

t1 t3

t2 t4

1 { ?{ P
Íà ïëîñêîñòè çàäàíû òî÷êè: A(−1, 0), B(1, 0), C(1 2, 3 2) è D(x, 0), ãäå x (−1, 1). Íàéòè âåñ ìèíèìàëüíîãî åâêëèäîâà
äåðåâà Øòåéíåðà äëÿ {A, B, C, D} êàê ôóíêöèþ îò x.
2 Ïðèìåíÿÿ àëãîðèòì Äðåéôóñà-Âàãíåðà, ïîñòðîèòü äåðåâî Øòåéíåðà ìèíèìàëüíîãî âåñà äëÿ ÷åðíûõ âåðøèí â óêàçàííîì
ãðàôå.
4 5
3
5
6 6 2
4 7 2

2 7

3 Íàéòè ðåøåíèå çàäà÷è Øòåéíåðà íà ìàíõýòòåíñêîé ïëîñêîñòè äëÿ òåðìèíàëîâ: t1 (0, 0), t2 (0, 1), t3 (3, 1), t4 (5, 3), t5 (5, −1),
t6 (6, −4), t7 (3, −6), t8 (−2, −4). Îòâåò îáîñíîâàòü.