O dynamickém programování

Podobné dokumenty
O dynamickém programování

O dělitelnosti čísel celých

Co víme o přirozených číslech

Funkcionální rovnice

Kongruence. 1. kapitola. Opakování základních pojmů o dělitelnosti

Co víme o přirozených číslech

Nerovnosti v trojúhelníku

Základy teorie grupoidů a grup

Booleova algebra. 1. kapitola. Množiny a Vennovy diagramy

O dělitelnosti čísel celých

O nerovnostech a nerovnicích

Konvexní útvary. Kapitola 4. Opěrné roviny konvexního útvaru v prostoru

Symetrické funkce. In: Alois Kufner (author): Symetrické funkce. (Czech). Praha: Mladá fronta, pp

O rovnicích s parametry

Základy teorie matic

Základy teorie grupoidů a grup

Polynomy v moderní algebře

Neurčité rovnice. In: Jan Vyšín (author): Neurčité rovnice. (Czech). Praha: Jednota československých matematiků a fyziků, pp

Několik úloh z geometrie jednoduchých těles

O dynamickém programování

Faktoriály a kombinační čísla

Úvod do neeukleidovské geometrie

Faktoriály a kombinační čísla

Aritmetické hry a zábavy

Malý výlet do moderní matematiky

Kongruence. 5. kapitola. Soustavy kongruencí o jedné neznámé s několika moduly

Časopis pro pěstování mathematiky a fysiky

Plochy stavebně-inženýrské praxe

Základy teorie matic

Kombinatorika. In: Antonín Vrba (author): Kombinatorika. (Czech). Praha: Mladá fronta, pp. 3 [6].

Základy teorie grupoidů a grup

Plochy stavebně-inženýrské praxe

PANM 16. List of participants. Terms of use:

Staroegyptská matematika. Hieratické matematické texty

Základy teorie grupoidů a grup

Jan Sobotka ( )

Determinanty a matice v theorii a praxi

Kongruence. 4. kapitola. Kongruence o jedné neznámé. Lineární kongruence

Jubilejní almanach Jednoty čs. matematiků a fyziků

Polynomy v moderní algebře

Staroegyptská matematika. Hieratické matematické texty

Zlatý řez nejen v matematice

Shodná zobrazení v konstruktivních úlohách

Komplexní čísla a funkce

Úvod do filosofie matematiky

Základy teorie matic

O náhodě a pravděpodobnosti

Úlohy o maximech a minimech funkcí

Časopis pro pěstování matematiky a fysiky

Determinanty a matice v theorii a praxi

Matematicko-fyzikálny časopis

Základy teorie grupoidů a grup

Pokroky matematiky, fyziky a astronomie

Nerovnosti a odhady. In: Alois Kufner (author): Nerovnosti a odhady. (Czech). Praha: Mladá fronta, pp

Časopis pro pěstování matematiky

Zlatý řez nejen v matematice

Časopis pro pěstování matematiky a fysiky

Časopis pro pěstování mathematiky a fysiky

PANM 14. List of participants. Terms of use:

Základy teorie grupoidů a grup

Pokroky matematiky, fyziky a astronomie

Neurčité rovnice. In: Jan Vyšín (author): Neurčité rovnice. (Czech). Praha: Jednota československých matematiků a fyziků, pp

Přímky a křivky. Úvod. Úvodní úlohy. Terms of use:

Faktoriály a kombinační čísla

Aplikace matematiky. Josef Čermák Algoritmy. 27. PSQRT. Řešení soustavy rovnic se symetrickou pozitivně definitní

Časopis pro pěstování mathematiky a fysiky

Staroegyptská matematika. Hieratické matematické texty

Aritmetické hry a zábavy

Časopis pro pěstování matematiky a fysiky

Pokroky matematiky, fyziky a astronomie

Časopis pro pěstování matematiky a fysiky

Jednota českých matematiků a fyziků ve 150. roce aktivního života

Časopis pro pěstování mathematiky a fysiky

Časopis pro pěstování mathematiky a fysiky

Kongruence. 2. kapitola. Kongruence a jejich základní vlastnosti

Neurčité rovnice. In: Jan Vyšín (author): Neurčité rovnice. (Czech). Praha: Jednota československých matematiků a fyziků, pp

Dějepis Jednoty českých mathematiků

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica-Physica-Chemica

Základy teorie grupoidů a grup

Faktoriály a kombinační čísla

Časopis pro pěstování mathematiky a fysiky

Staroegyptská matematika. Hieratické matematické texty

Časopis pro pěstování matematiky a fysiky

Jaká je logická výstavba matematiky?

Časopis pro pěstování mathematiky a fysiky

Časopis pro pěstování mathematiky a fysiky

O podobnosti v geometrii

Rozhledy matematicko-fyzikální

Rovinné grafy. III. kapitola. Tři domy, tři studně a muří noha aneb věta Kuratowského

Faktoriály a kombinační čísla

Historický vývoj geometrických transformací

O mnohoúhelnících a mnohostěnech

Časopis pro pěstování matematiky a fysiky

Nástin dějin vyučování v matematice (a také školy) v českých zemích do roku 1918

O dělitelnosti čísel celých

Aplikace matematiky. Terms of use: Aplikace matematiky, Vol. 3 (1958), No. 5, Persistent URL:

PANM 17. List of participants. Terms of use:

Časopis pro pěstování mathematiky a fysiky

Faktoriály a kombinační čísla

Časopis pro pěstování mathematiky a fysiky

Transkript:

O dynamickém programování 7. kapitola. O jednom přiřazovacím problému In: Jaroslav Morávek (author): O dynamickém programování. (Czech). Praha: Mladá fronta, 1973. pp. 55 59. Persistent URL: http://dml.cz/dmlcz/403799 Terms of use: Jaroslav Morávek, 1073 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz

10. kapitola 0 JEDNOM PŘIŘAZOVACÍM PROBLÉMU Nechť jsou dány dvě n-tice reálných ěísel (a 1( o 2,..., o ) a (6 1( b 2,..., b ) kde n je dané přirozené číslo. Náš problém záleží v tom, přiřadit číslům a 1} a 2,..., a n vzájemně jednoznačně v nějakém obecně novém pořadí čísla, b 2, tak, aby součet součinů přiřazených dvojic byl maximální. Jinými slovy, hledáme takové pořadí b k, b k,..., b kn čísel 6,, b 2,..., b k, pro které platí «A, + + a nh n ^ «A, +... + a <fil n pro všechna možná pořadí & řl, 6/.,..., b ln čísel b lt b 2, Řešení zformulovaného problému je v principu možné provádět následující triviální metodou: Vyzkouší se všechna možná pořadí čísel b lt b 2,..., b n a určí se jim odpovídající součty součinů a z nich se vyhledá maximální. Protože všech zmíněných pořadí je n\ = 1.2. 7i, je takováto metoda pro větší" hodnoty n velmi neefektivní. Velmi jednoduché řešení problému nám umožní další věta, jejíž důkaz je založen na myšlence dynamického programování. Při formulaci věty budeme předpokládat, že platí o x ^ o 2 ^... ^ a n (9) 55

(Splnění tohoto předpokladu lzo snadno dosáhnout vhodným přečíslováním.) Věta 18: Nechť n-tice čísel (o x, o 2, a ) splňuje podmínku (9) a nechť b kl, b kt,..., b kn je takové pořadí čísel b 1,b 2,,b n, pro které platí b kl ^ b k, <... < b^. Potom je aj) kt +... + maximální. K důkazu věty budeme potřebovat následující pomocnou větu, jejíž snadný důkaz přenecháváme čtenáři. Lemma 3: Nechť pořadí b Tl,b T..., b, n splňuje nerovnost b n S: b r. pro některou uspořádanou dvojici indexů (i, j), kde i < j. Sestrojme nové pořadí b 3i, b,,,..., b Sji, kde s, = r i; Si = r 3 a s k = r k pro k = 1,2, i k ^ j. Potom platí a x b Tl +... -f a 6 r ^ ^ a>ik +... + a nb, n. Budeme říkat, že pořadí 6 Sl,..., b n z lemmatu 3 vzniklo z pořadí b fl,..., b Tn transpozicí dvojice (b Ti, b,.). Důkaz věty 18: Větu dokážeme matematickou indukcí. Pro n = 1 je tvrzení zřejmé. Předpokládejme, že tvtzení věty platí pro přirozené číslo n a dokažme je pro n + 1. Nechť b k,, b k..., 6 iji+1 je pořadí splňující předpoklad věty a nechť b h, b u,..., & ÍJi+1je libovolné pořadí čísel b x,..., 6 +i. Naším cílem je ukázat, že platí <h\ + + On+Á n+1 ^ 0A X+ + On+1, (10) Rozlišíme dva případy: a) l n+x = k n+1, b) l n+x ^ k n+1. Vpřípadě a) platí a n+16 in+i = o n+1 b kn+1, takže dokazovaná nerovnost, vyplývá ze vztahu djb^ +... + a n b ln á 56

^ o A -(- +, který však platí na základě indukčního předpokladu. V případě b) postupujeme takto: V pořadí b h, b ti,..., b in nalezneme člen 6 lt, pro který k = k n+1 a transpozicí dvojice (6, i; bi n+1) získáme z pořadí b h,...,b ln, b ln+i nové pořadí 6,,,..., b Pn,b Pn+1> pro které p n+1 = k n+1. Platí tedy jednak a 1b Vl +... + +»+A +1 ^ A, +... + a +A +1 (případ a)), a dále, protože = b kn+i ^ 6 ín+i, dostáváme na základě lemmatu 3 aj> h +... + On+A B+1 ^ «A, + +o»+i í» n+1 Spojením posledních dvou nerovností získáváme nerovnost (10), čímž je důkaz dokončen. Věta 18 nám poskytuje jednoduchou metodu pro řešení zformulovaného extremálního problému, záležející v tom, že se čísla a x,..., a n i b 1}..., b n uspořádají podle velikosti" a přiřadí se navzájem členy nacházející se na stejném místě v obou pořadích. Příklad 6: Použijeme větu 18 pro n = 7, «i = 2, a 2 = 3, a s = 4, cs 4 = 0, «6 = 1» o«= 3. «7 = 1 = 10, b 2 = 5, & 3 = 4, ř> 4 = 6, b 5 = 0, Ď 6 = 3,ř>7 = 2 Sestrojíme nová pořadí fflj = 2, Os] = 1, a 4 = 0, ffl 6 = 1, a 2 = 3, a 6 = 3, a 3 = 4 6 3 = 4, = 3, b 5 = 0, 6 7 = 2, Ď 2 = 5, 6 4 = 6, = 10 odkud dostáváme hledané přiřazení. Maximální hodnota, odpovídající potom našemu maximalizačnímu problému je cij&a + a 7b e +... + ajjy = 86. 57

Analogický problém o minimu se řeší na základě analogické věty, jejíž důkaz přenecháváme čtenáři. Věta 19: Nechť m-tice čísel a 2,..., a n) splňuje podmínku (9) a nechť b mi,..., b mn je takové pořadí čísel b lt...,&, že platí b H ^ 6 m,... S: b mn. Potom má součet a 1b m[ +... + a,fi mn nejmenší možnou hodnotu ze všech takových součtů. Cvičeni 1: Dokažte lemma 3. Cvičení 2: Dokažte větu 19. Cvičení Cvičení 8: Řešte minimalizační problém v podmínkách příkladu 6. Cvičení 4: Dokažte následující tvrzení: Nechť čísla a lt..., a n i čísla &!,..., b n jsou navzájem různá, a nechť platí o t < < o 2 <... < o. Potom je a 1b ki +... + aj>k n maximální tehdy a jen tehdy, jestliže b ki < b kí <... < b kn. Cvičení 5: Řešte následující extremální problémy: a) Nalezněte pořadí b kif b k^..., b kn čísel 6 J(..., &, pro které max {afi k. \ j = 1, 2,..., n} hodnoty. nabývá své minimální b) Nalezněte pořadí b Tii & fj)..., 6, n čísel b lt 6 b n, pro které min {a.jb T. j = 1,..., n} nabývá své maximální hodnoty. Cvičení 6: Cestující chce postupně navštívit 5 měst A, B, C, D a E v uvedeném pořadí. Všechny úseky cesty AB, BC, CD, a DE mají navzájem různou délku a k dispozici jsou celkem 58

čtyři typy letadel s navzájem různými cestovními rychlostmi, přičemž všechny typy létají na každém ze čtyř úseků. Dokažte: Jestliže cestující chce vyzkoušet každý typ letadla a přitom vykonat cestu za nejkratší možnou dobu, musí používat tím rychlejší letadlo, čím je delší úsek.*) *) Srovnej s úlohou č. 84 z knížky Dynkina, Molčanova a Rozentala,,,Matčmatičeskije sorevnovanvja (Arifmetika i algebra)", Nauka, Moskva, 1970. 59