1. Optimizacijske naloge

Σχετικά έγγραφα
Funkcijske vrste. Matematika 2. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 2. april Gregor Dolinar Matematika 2

Odvod. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 5. december Gregor Dolinar Matematika 1

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 14. november Gregor Dolinar Matematika 1

Zaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 22. oktober Gregor Dolinar Matematika 1

Diferencialna enačba, v kateri nastopata neznana funkcija in njen odvod v prvi potenci

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 21. november Gregor Dolinar Matematika 1

Tretja vaja iz matematike 1

KODE ZA ODKRIVANJE IN ODPRAVLJANJE NAPAK

Odvod. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 10. december Gregor Dolinar Matematika 1

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 12. november Gregor Dolinar Matematika 1

IZPIT IZ ANALIZE II Maribor,

Definicija. definiramo skalarni produkt. x i y i. in razdaljo. d(x, y) = x y = < x y, x y > = n (x i y i ) 2. i=1. i=1

matrike A = [a ij ] m,n αa 11 αa 12 αa 1n αa 21 αa 22 αa 2n αa m1 αa m2 αa mn se števanje po komponentah (matriki morata biti enakih dimenzij):

Na pregledni skici napišite/označite ustrezne točke in paraboli. A) 12 B) 8 C) 4 D) 4 E) 8 F) 12

Podobnost matrik. Matematika II (FKKT Kemijsko inženirstvo) Diagonalizacija matrik

Zaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 15. oktober Gregor Dolinar Matematika 1

Enačba, v kateri poleg neznane funkcije neodvisnih spremenljivk ter konstant nastopajo tudi njeni odvodi, se imenuje diferencialna enačba.

Poliedri Ines Pogačar 27. oktober 2009

Izpeljava Jensenove in Hölderjeve neenakosti ter neenakosti Minkowskega

*M * Osnovna in višja raven MATEMATIKA NAVODILA ZA OCENJEVANJE. Sobota, 4. junij 2011 SPOMLADANSKI IZPITNI ROK. Državni izpitni center

Booleova algebra. Izjave in Booleove spremenljivke

1. Definicijsko območje, zaloga vrednosti. 2. Naraščanje in padanje, ekstremi. 3. Ukrivljenost. 4. Trend na robu definicijskega območja

Osnove matematične analize 2016/17

II. LIMITA IN ZVEZNOST FUNKCIJ

Kotni funkciji sinus in kosinus

V tem poglavju bomo vpeljali pojem determinante matrike, spoznali bomo njene lastnosti in nekaj metod za računanje determinant.

3. Lokalna optimizacija

Kvadratne forme. Poglavje XI. 1 Definicija in osnovne lastnosti

1. izpit iz Diskretnih struktur UNI Ljubljana, 17. januar 2006

Splošno o interpolaciji

SKUPNE PORAZDELITVE VEČ SLUČAJNIH SPREMENLJIVK

Kombinatorika. rekurzivnih enačb in rodovne funkcije. FMF Matematika Finančna matematika. Vladimir Batagelj. Ljubljana, april

Kotne in krožne funkcije

Matematika. BF Lesarstvo. Zapiski ob predavanjih v šolskem letu 2009/2010

Matematika. BF Lesarstvo. Zapiski ob predavanjih v šolskem letu 2010/2011

Algebraične strukture

8. Diskretni LTI sistemi

Numerično reševanje. diferencialnih enačb II

Reševanje sistema linearnih

Tema 1 Osnove navadnih diferencialnih enačb (NDE)

Iterativno reševanje sistemov linearnih enačb. Numerične metode, sistemi linearnih enačb. Numerične metode FE, 2. december 2013

Domače naloge za 2. kolokvij iz ANALIZE 2b VEKTORSKA ANALIZA

1 Fibonaccijeva stevila

Gimnazija Krˇsko. vektorji - naloge

Spoznajmo sedaj definicijo in nekaj osnovnih primerov zaporedij števil.

Vektorski prostori s skalarnim produktom

Matematika 1. Gabrijel Tomšič Bojan Orel Neža Mramor Kosta

Matematika 2. Diferencialne enačbe drugega reda

Navadne diferencialne enačbe

Matematika I (VS) Univerza v Ljubljani, FE. Melita Hajdinjak 2013/14. Pregled elementarnih funkcij. Potenčna funkcija. Korenska funkcija.

Logika in izjavni račun

Teorija grafov in topologija poliedrov

DISKRETNA FOURIERJEVA TRANSFORMACIJA

13. Jacobijeva metoda za računanje singularnega razcepa

PONOVITEV SNOVI ZA 4. TEST

FAKULTETA ZA STROJNIŠTVO Matematika 4 Pisni izpit 22. junij Navodila

Analiza 2 Rešitve 14. sklopa nalog

Matematika 1. Gregor Dolinar. 2. januar Fakulteta za elektrotehniko Univerza v Ljubljani. Gregor Dolinar Matematika 1

Linearne preslikave. Poglavje VII. 1 Definicija linearne preslikave in osnovne lastnosti

Funkcije dveh in več spremenljivk

Inverzni problem lastnih vrednosti evklidsko razdaljnih matrik

Analiza I. (študijsko gradivo) Matija Cencelj

Lastne vrednosti in lastni vektorji

Dodatna poglavja iz linearne algebre za 1. letnik finančne matematike na FMF. Primož Moravec

diferencialne enačbe - nadaljevanje

SEMINARSKA NALOGA Funkciji sin(x) in cos(x)

UNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO MATEMATIKA III

Matematika. Funkcije in enačbe

Delovna točka in napajalna vezja bipolarnih tranzistorjev

Vaje iz MATEMATIKE 8. Odvod funkcije., pravimo, da je funkcija f odvedljiva v točki x 0 z odvodom. f (x f(x 0 + h) f(x 0 ) 0 ) := lim

TRANZITIVNI GRAFI. Katarina Jan ar. oktober 2008

vezani ekstremi funkcij

Integralni račun. Nedoločeni integral in integracijske metrode. 1. Izračunaj naslednje nedoločene integrale: (a) dx. (b) x 3 +3+x 2 dx, (c) (d)

UNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO MATEMATIKA II

Matematično modeliranje. Simpleksna metoda.

cot x ni def. 3 1 KOTNE FUNKCIJE POLJUBNO VELIKEGA KOTA (A) Merske enote stopinja [ ] radian [rad] 1. Izrazi kot v radianih.

1 Seštevanje vektorjev in množenje s skalarjem

Frekvenčna analiza neperiodičnih signalov. Analiza signalov prof. France Mihelič

Funkcije več spremenljivk

Uporabna matematika za naravoslovce

Matematika vaja. Matematika FE, Ljubljana, Slovenija Fakulteta za Elektrotehniko 1000 Ljubljana, Tržaška 25, Slovenija

Afina in projektivna geometrija

Univerza v Mariboru. Fakulteta za logistiko MATEMATIKA. Univerzitetni učbenik

UNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO. Petra MATEMATIKA I

Arjana Žitnik. Rešene naloge iz kolokvijev in izpitov pri predmetu

Matematika 1. Jaka Cimprič

Linearna algebra. Bojan Orel Fakulteta za računalništvo in informatiko

NEPARAMETRIČNI TESTI. pregledovanje tabel hi-kvadrat test. as. dr. Nino RODE

Kanonična oblika linearnega programa. Simpleksna metoda. Bazne rešitve kanoničnega linearnega programa.

MATEMATIČNI IZRAZI V MAFIRA WIKIJU

(Ne)rešljiva Rubikova kocka in grupe

Kontrolne karte uporabljamo za sprotno spremljanje kakovosti izdelka, ki ga izdelujemo v proizvodnem procesu.

p 1 ENTROPIJSKI ZAKON

MATEMATIKA 1 UNIVERZITETNI ŠTUDIJSKI PROGRAM BIOKEMIJA 1. LETNIK

UNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA SANDRA BOLTA LASTNE VREDNOSTI GRAFA DIPLOMSKO DELO

Univerza v Ljubljani Fakulteta za računalništvo in informatiko MATEMATIKA. Polona Oblak

Odvode odvisnih spremenljivk po neodvisni spremenljivki bomo označevali s piko: Sistem navadnih diferencialnih enačb prvega reda ima obliko:

1. VAJA IZ TRDNOSTI. (linearna algebra - ponovitev, Kroneckerjev δ i j, permutacijski simbol e i jk )

Osnove linearne algebre

1. Trikotniki hitrosti

Transcript:

Optimizacijske metode 1. Optimizacijske naloge Vladimir Batagelj FMF, matematika na vrhu različica: 25. februar 2014 / 03 : 20

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 1 Kazalo 1 Optimizacijske naloge...................... 1 12 Zgled: Kovanci.......................... 12 17 Primeri problemov........................ 17

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 1 Naj bo na množici Φ dana funkcija Optimizacijske naloge P : Φ R kjer je R = R {+, }. Množici Φ bomo rekli množica dopustnih rešitev, funkciji P pa namenska ali kriterijska funkcija. Pogosto pri določitvi množice dopustnih rešitev Φ izhajamo iz širše množice rešitev Ω, ki jo je enostavneje opisati. Množico dopustnih rešitev Φ tedaj sestavljajo tiste rešitve X Ω, ki zadoščajo predikatu dopustnosti ali omejitvam Φ(X) Φ = (Ω, Φ) = {X Ω : Φ(X)} Običajno je funkcija P definirana na vsej Ω.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 2 Postavimo Minimalne rešitve Min(Φ, P ) = {X Φ : Y Φ : P (Y ) P (X)} Za vsak par X, Y Min(Φ, P ) velja P (X) P (Y ) in P (Y ) P (X); torej je P (X) = P (Y ). To pomeni, da imajo vsi elementi množice Min(Φ, P ), če je ta neprazna, isto vrednost kriterijske funkcije P. Označimo jo z min(φ, P ) in jo razširimo na primer, ko je množica Min(Φ, P ) prazna, s predpisom: inf X Φ P (X) Φ min(φ, P ) = Φ = Tedaj lahko zapišemo tudi Min(Φ, P ) = {X Φ : P (X) = min(φ, P )}. Ker velja X Φ : P (X) min(φ, P ), velja še Ext.1 X Φ \ Min(Φ, P ) : P (X) > min(φ, P )

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 3... Minimalne rešitve V nadaljevanju nam bo večkrat prišla prav zveza iz katere izhaja za Φ, Ψ Ω: inf f(x) = min( inf f(x), inf f(x)) x A B x A x B min(φ Ψ, P ) = min(min(φ, P ), min(ψ, P )) Na podoben način lahko vpeljemo tudi Max(Φ, P ) in max(φ, P ); ali pa z uporabo zvez: Ext.2 Max(Φ, P ) = Min(Φ, P ) Ext.3 max(φ, P ) = min(φ, P ) Ti dve zvezi nam omogočata, da se omejimo samo na Min in min. Naštejmo nekaj njunih lastnosti.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 4 Lastnosti minimalnih rešitev Za Φ, Ψ, Γ Ω velja: Ext.4 Ψ Φ min(ψ, P ) min(φ, P ) Ext.5 Ψ Φ Ψ Min(Φ, P ) min(ψ, P ) = min(φ, P ) Min(Ψ, P ) = Ψ Min(Φ, P ) Ext.6 Ψ, Γ Φ Min(Ψ, P ) Min(Γ, P ) min(ψ, P ) = min(γ, P ) Ext.7 Ψ Φ Y Φ \ Ψ X Ψ : P (X) < P (Y ) Min(Ψ, P ) = Min(Φ, P ) Ext.8 Min(Ψ, P ) Min(Γ, P ) Min(Ψ Γ, P ) = Min(Min(Ψ, P ) Min(Γ, P ), P ) Ext.9 Min(Φ, P ) min(min(φ, P ), P ) = min(φ, P ) Ext.10 Min(Min(Φ, P ), P ) = Min(Φ, P )

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 5... Lastnosti minimalnih rešitev Pogosto zadostuje že nekoliko šibkejša oblika lastnosti Ext.7: Ext.7 Ψ Φ X Ψ Y Φ \ Ψ : P (X) < P (Y ) Min(Ψ, P ) = Min(Φ, P ) Lastnost Ext.7 / Ext.7 nam omogoča zoženje iskanja minimalnih rešitev na podmnožico množice dopustnih rešitev podmnožice, ki vsebujejo same neobetavne rešitve lahko odvržemo. Lastnost Ext.8 pa omogoča uporabo načela deli in vladaj pri iskanju minimalnih rešitev. V ta namen jo zapišemo v obliki: Ext.8 Φ = k i=1 Φ i Min(Φ i, P ), i = 1,..., k Min(Φ, P ) = Min( k i=1 Min(Φ i, P ), P ) Določitev Min( k i=1 Min(Φ i, P ), P ) je preprosto: množico Min(Φ, P ) sestavljajo tiste izmed množic Min(Φ i, P ), za katere je min(φ i, P ) = min j 1..k min(φ j, P ). Skupaj lastnosti Ext.7 in Ext.8 sestavljata osnovo postopkov razveji in omeji (branch & bound).

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 6 Dokazi Ext.4 Ψ Φ min(ψ, P ) min(φ, P ) Velja (tudi v primeru, ko je Ψ = ): Neenakost velja, ker je Ψ Φ. min(ψ, P ) = inf P (X) inf P (X) = min(φ, P ) X Ψ X Φ Ext.5 Ψ Φ Ψ Min(Φ, P ) min(ψ, P ) = min(φ, P ) Min(Ψ, P ) = Ψ Min(Φ, P ) Iz predpostavk izhaja, da obstaja taka rešitev X, da je X Min(Φ, P ) in X Ψ. Zato je P (X ) = min(φ, P ) in Min(Φ, P ) = {X Φ : P (X) = P (X )}. Po Ext.4 je min(ψ, P ) min(φ, P ) = P (X ). Ker pa je X Ψ, je tudi P (X ) min(ψ, P ). Torej mora veljati enačaj min(ψ, P ) = min(φ, P ) = P (X ) in dalje Min(Ψ, P ) = {X Ψ : P (X) = P (X )} = = {X Φ : X Ψ P (X) = P (X )} = Ψ Min(Φ, P )

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 7... Dokazi Ext.6 Ψ, Γ Φ Min(Ψ, P ) Min(Γ, P ) min(ψ, P ) = min(γ, P ) Po predpostavki obstaja taka rešitev X Φ, ki je skupna obema množicama minimalnih rešitev. Ker je X Min(Ψ, P ), je P (X ) = min(ψ, P ); prav tako, ker je X Min(Γ, P ), je P (X ) = min(γ, P ). Torej je tudi P (X ) = min(ψ, P ) = min(γ, P ). Ext.7 Ψ Φ Y Φ \ Ψ X Ψ : P (X) < P (Y ) Min(Ψ, P ) = Min(Φ, P ) Pokazati moramo vzajemno vsebovanost obeh množic minimalnih rešitev. Torej: a) X Min(Φ, P ) X Min(Ψ, P ). Iz predpostavke izhaja Y Φ : P (Y ) P (X ) in, ker je Ψ Φ, zato tudi Y Ψ : P (Y ) P (X ), kar pomeni X Min(Ψ, P ). b) X Min(Ψ, P ) X Min(Φ, P ) Iz predpostavke izhaja Z Ψ : P (Z) P (X ). Za rešitve, ki niso v Ψ pa po predpostavki trditve Y Φ \ Ψ Z Ψ : P (Y ) > P (Z) P (X ). Združimo obe ugotovitvi in dobimo Y Φ : P (Y ) P (X ), kar pomeni X Min(Φ, P ).

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 8... Dokazi Ext.8 Min(Ψ, P ) Min(Γ, P ) Min(Ψ Γ, P ) = Min(Min(Ψ, P ) Min(Γ, P ), P ) Naj bo X Min(Ψ, P ). Tedaj je po Ext.1 Y Ψ\(Γ Min(Ψ, P )) : P (Y ) > P (X ). Zato je po Ext.7 Min(Ψ Γ, P ) = Min(Γ Min(Ψ, P ), P ) Ponovimo razmislek še za množico Γ pa dobimo Min(Ψ Γ, P ) = Min(Min(Ψ, P ) Min(Γ, P ), P ) Pokažimo še nepraznost množice Min(Ψ Γ, P ). Po predpodstavkah trditve obstajata rešitvi X Ψ in Y Γ tako da X Ψ : P (X) P (X ) in Y Γ : P (Y ) P (Y ). Brez škode za splošnost lahko privzamemo, da je P (Y ) P (X ). Tedaj je res tudi Y Γ : P (Y ) P (X ) oziroma X Min(Ψ Γ, P ).

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 9... Dokazi Ext.9 Min(Φ, P ) min(min(φ, P ), P ) = min(φ, P ) Po predpostavki obstaja rešitev X Min(Φ, P ). Tedaj je min(min(φ, P ), P ) = P (X ) = min(φ, P ). Ext.10 Min(Min(Φ, P ), P ) = Min(Φ, P ) Če je Min(Φ, P ) =, trditev velja; sicer pa tudi Min(Min(Φ, P ), P ) = {X Min(Φ, P ) : P (X) = min(min(φ, P ), P )} = {X Min(Φ, P ) : P (X) = min(φ, P )} = Min(Φ, P ) Druga enakost izhaja po Ext.9, tretja pa iz definicije množice Min(Φ, P ).

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 10 Sprejemljive rešitve Za določitev optimizacijske naloge moramo, glede na značilnosti naloge, povedati še kdaj je naloga rešena. To povemo z množico sprejemljivih rešitev Σ torej je naloga natančno določena s trojico (Φ, P, Σ). Poglejmo si nekaj pogostejših oblik optimizacijskih nalog: (Φ, P, Min) določi Σ = Min(Φ, P ) (Φ, P, Min) določi X Min(Φ, P ) (Φ, P, min) določi min(φ, P ) (Φ, P, lim) določi zaporedje (X i : X i Φ, i N), tako da velja lim P (X i ) = min(φ, P ) i (Φ, P, < ε) določi X Φ, tako da bo (z dano verjetnostjo) = P (X) min(φ, P ) < ε (Φ, P, Φ) določi X Φ.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 11... Sprejemljive rešitve Zaradi zvez Ext.2 in Ext.3 je naloga (Φ, P, Max) enakovredna nalogi (Φ, P, Min); in naloga (Φ, P, max) nalogi (Φ, P, min). V nadaljnjem se bomo v glavnem usmerili na stroge naloge minimizacije (Φ, P, Min) in popuščali le, kadar bo to potrebno. Množica optimizacijskih nalog sestavlja optimizacijski problem. Običajno združimo v optimizacijski problem med seboj podobne naloge, ki imajo enako obliko in se razlikujejo le po podatkih. Nalogi, ki pripada optimizacijskemu problemu, pravimo tudi primerek problema.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 12 Zgled: Kovanci Poskusimo zapisati kot optimizacijsko nalogo naslednje vprašanje: Koliko največ enakih kovancev lahko postavimo na indeks tako, da se ne prekrivajo in v celoti leže na indeksu? Recimo, da je polmer posameznega kovanca enak r in sta dolžini stranic indeksa a in b. Kaj so rešitve? Vzemimo za rešitve vse možne razmestitve kovancev v ravnini. Kako opišemo posamezno razmestitev? To je množica postavitev posameznih kovancev. Kako povemo, kam smo postavili kovanec? Tako, da povemo kam smo postavili njegovo središče njegovi koordinati (x, y). Izhodišče koordinatnega sistema postavimo v sredino indeksa, tako da je stranica a vzporedna osi x. Torej imajo rešitve obliko X = {(x 1, y 1 ), (x 2, y 2 ),..., (x k, y k )} kjer so x i, y i R, i I = 1..k.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 13... Kovanci

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 14... Kovanci

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 15... Kovanci Seveda vse take rešitve ne določajo pravilnih razmestitev na indeksu niso dopustne. Da bi bila rešitev X = {(x i, y i )} i I dopustna, mora zadoščati naslednjim omejitvam: vsak kovanec je v celoti na indeksu: i I : (( x i a 2 r) ( y i b 2 r)) različna kovanca se ne prekrivata: i, j I : (i j (x i x j ) 2 + (y i y j ) 2 (2r) 2 ) Konjunkcija obeh pogojev sestavlja predikat dopustnosti Φ(X). Kaj pa je kriterijska funkcija? Zanima nas največje število kovancev torej P (X) = card X.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 16... Kovanci Povzemimo: vprašanje o postavitvi čimvečjega števila kovancev na indeks lahko zapišemo kot optimizacijsko nalogo (Φ, P, Max), kjer je Φ = { {(x i, y i )} i I : i I : (( x i a 2 r) ( y i b 2 r)) i, j I : (i j (x i x j ) 2 + (y i y j ) 2 (2r) 2 )} in je P (X) = card X. Na enak način bi zapisali tudi naloge o postavljanju: kovancev na knjigo, krožnikov na mizo, steklenic v zaboj spreminjajo se le količine a, b in r. Vse naloge sestavljajo primerke istega problema. Seveda je natančen zapis optimizacijske naloge šele prvi, a zelo pomemben, korak pri njenem reševanju. Če ne drugega, znamo za posamezno rešitev presoditi ali je dopustna in za vsak par dopustnih rešitev odločiti, katera je boljša. Formalni zapis naloge je tudi izhodišče za načrtovanje postopka/programa za reševanje naloge.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 17 Primeri problemov Reševanje sistema enačb Nalogi: reši sistem enačb P k (X) = 0, k I, X R n lahko priredimo optimizacijsko nalogo (R n, P, Min), kjer je P (X) = Pk 2 (X) k I Sistem enačb je rešljiv natanko takrat, ko je min(r n, P ) = 0 in je množica Min(R n, P ) neprazna. Množica rešitev sistema je tedaj kar Min(R n, P ). Če je min(r n, P ) > 0, je sistem protisloven; elementi množice Min(R n, P ); če je neprazna, pa nekako najbolje zadoščajo sicer protislovnim pogojem (enačbam).

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 18... Reševanje sistema enačb Fermat je (1637) na rob Diofantove knjige pripisal, da je našel preprost dokaz tega, da za n > 2 ne obstaja nobena rešitev enačbe x n + y n = z n v naravnih številih, a da je žal na robu premalo prostora. Dokaza ni zabeležil tudi nikjer drugje. Od tedaj so matematiki več kot 350 let poskušali dokazati ali ovreči to trditev. To je končno leta 1995 uspelo Andrewu Wilesu Fermatova trditev je izrek. Po opisanem postopku lahko Fermatov problem zastavimo kot optimizacijsko nalogo (Φ, P, min), kjer je Φ = {(x, y, z, n) (N + ) 4, n 3} P (x, y, z, n) = (x n + y n z n ) 2 Fermatov problem je enakovreden vprašanju: ali je min(φ, P ) 0?

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 19 Linearno in nelinearno programiranje Nalogo linearnega programiranja imenujemo nalogo (Φ, P, Min), kjer je Φ = {X R n : AX = b, X 0} in P (X) = c T X ter je A matrika reda m n in sta b R m, c R n. Kot naloge linearnega programiranja lahko zastavimo vrsto praktičnih optimizacijskih nalog. Zato in zaradi obstoja učinkovitih postopkov za njih reševanje, lahko štejemo linearno programiranje med najbolj rabljene optimizacijske metode. Nalogo nelinearnega programiranja pa imenujmo nalogo (Φ, P, Min), kjer je Φ = {X R n : P k (X) 0, k I} in so P : R n R in P k : R n R, k I dane funkcije. Običajno naložimo na funkcije P k in P še dodatne zahteve, kot sta zveznost in konveksnost.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 20 Izoperimetrična naloga Izoperimetrična naloga zahteva, da določimo sklenjeno ravninsko krivuljo K : r(t) = (x(t), y(t)), a t b dolžine d, ki omejuje lik največje ploščine. Nalogo lahko zastavimo kot optimizacijsko nalogo (Φ, P, Max), kjer je ṙṙdt Φ = {K C 2 : = d} in P (K) = 1 2 K K (xẏ yẋ) dt Že stari Grki so vedeli, da so rešitve te naloge krožnice z obsegom d. Danes se s podobnimi nalogami ukvarja posebna veja matematične analize variacijski račun.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 21 Naloge diskretne optimizacije Optimizacijska naloga je naloga diskretne optimizacije, če je moč množice Φ števna (končna ali števno neskončna). Med nalogami diskretne optimizacije so najpogostejše: celoštevilske: Φ Z n kombinatorične: Φ je podmnožica ene izmed množic kombinatoričnih konfiguracij (permutacije, kombinacije, razbitja,...) naloge na grafih: Φ je podmnožica množice podgrafov danega grafa G. Med naloge diskretne optimizacije sodijo tudi naslednje:

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 22 Minimalno vpeto drevo Naj bo dan povezan graf G = (V, E) in preslikava v : E R +, ki vsaki povezavi e E pripiše njeno vrednost v(e). Naloga o minimalnem vpetem drevesu imenujemo optimizacijsko nalogo (Φ, P, Min), kjer je Φ = {H = (V, E ) : H je povezan vpet podgraf grafa G} in P (H) = e E v(e) Nalogo imenujemo naloga o vpetem drevesu zato, ker velja Min(Φ, P ) {H : H je vpeto drevo grafa G}

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 23 Prirejanja n ljudi mora opraviti n opravil. Stroški, ki jih imamo, če človek i opravi opravilo j, naj bodo a ij. Ljudem moramo prirediti vsakemu po eno opravilo, tako da bodo skupni stroški najmanjši, pri čemer pa morajo biti opravljena vsa opravila. Zastavljeni problem lahko prevedemo na optimizacijsko nalogo (S n, P, Min), kjer je S n množica vseh permutacij števil od 1 do n in P (π) = n i=1 a i,π(i) Permutacijo π lahko opišemo tudi z dvojiško matriko X, določeno s predpisom 1 j = π(i) x ij = 0 sicer

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 24... Prirejanja Tedaj lahko nalogo o prirejanju zapišemo takole: (Φ, P, Min), kjer je I = 1..n, Φ = {X {0, 1} n2 : i, j I : j I x ij = i I x ij = 1} in P (X) = (i,j) I I a ij x ij Pogoji v opisu množice Φ zagotavljajo, da je X matrika neke permutacije. Iz tega zapisa naloge o prirejanju vidimo, da sodi med naloge (celoštevilskega) linearnega programiranja.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 25 Trgovski potnik Trgovec se je namenil, da bo obšel n mest tako, da se bo v vsakem mudil samo enkrat. Znane so razdalje d ij med posameznimi mesti. Kako naj trgovec potuje, da bo opravil čim krajšo pot? Pri formalizaciji naloge nadomestimo zemljevid z grafom povezanosti mest G = (V, E). Točke tega grafa so mesta, povezave pa predstavljajo prometne zveze med mesti. Vsaki povezavi je pripisana še pripadajoča razdalja. Vsakemu trgovčevemu potovanju ustreza Hamiltonov cikel po grafu G. Tega lahko popišemo z urejeno n-terko točk π, sestavljeno po pravilu j = π(i) točka j je v ciklu naslednik točke i če naj π popisuje Hamiltonov cikel, mora biti ciklična permutacija.

V. Batagelj: Optimizacijske metode / 1. Optimizacijske naloge 26... Trgovski potnik Tako dobimo nalogo (Γ n, P, Min), kjer je Γ n množica cikličnih permutacij števil od 1 do n in P (π) = i I d i,π(i) Naloga o trgovskem potniku je torej podobna nalogi o prirejanju, vendar videz včasih vara. Za problem prirejanja obstaja učinkovit algoritem; problem trgovskega potnika pa sodi med težke probleme domneva se, da zanj ni učinkovitega algoritma.