Poliedri Ines Pogačar 27. oktober 2009

Σχετικά έγγραφα
Zaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 22. oktober Gregor Dolinar Matematika 1

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

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. 10. december Gregor Dolinar Matematika 1

KODE ZA ODKRIVANJE IN ODPRAVLJANJE NAPAK

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

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

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

Izpeljava Jensenove in Hölderjeve neenakosti ter neenakosti Minkowskega

Matematično modeliranje. Simpleksna metoda.

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

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):

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

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

Tretja vaja iz matematike 1

Reševanje sistema linearnih

Spoznajmo sedaj definicijo in nekaj osnovnih primerov zaporedij števil.

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

Kvadratne forme. Poglavje XI. 1 Definicija in osnovne lastnosti

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

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

Vektorski prostori s skalarnim produktom

Lastne vrednosti in lastni vektorji

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

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

DISKRETNA FOURIERJEVA TRANSFORMACIJA

1 Fibonaccijeva stevila

Booleova algebra. Izjave in Booleove spremenljivke

Algebraične strukture

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

IZPIT IZ ANALIZE II Maribor,

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

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

Splošno o interpolaciji

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

Inverzni problem lastnih vrednosti evklidsko razdaljnih matrik

REˇSITVE. Naloga a. b. c. d Skupaj. FAKULTETA ZA MATEMATIKO IN FIZIKO Oddelek za matematiko Verjetnost 2. kolokvij 23.

AFINA IN PROJEKTIVNA GEOMETRIJA

Uporabna matematika za naravoslovce

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

13. Jacobijeva metoda za računanje singularnega razcepa

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

Univerza na Primorskem Pedagoška fakulteta Koper. Geometrija. Istvan Kovacs in Klavdija Kutnar

Osnove linearne algebre

SKUPNE PORAZDELITVE VEČ SLUČAJNIH SPREMENLJIVK

Analiza 2 Rešitve 14. sklopa nalog

8. Posplošeni problem lastnih vrednosti

Osnove matematične analize 2016/17

Matematika. Funkcije in enačbe

TRANZITIVNI GRAFI. Katarina Jan ar. oktober 2008

Analiza I. (študijsko gradivo) Matija Cencelj

II. LIMITA IN ZVEZNOST FUNKCIJ

Gimnazija Krˇsko. vektorji - naloge

Kotne in krožne funkcije

Funkcije dveh in več spremenljivk

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

Afina in projektivna geometrija

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

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

INŽENIRSKA MATEMATIKA I

Elementi spektralne teorije matrica

8. Diskretni LTI sistemi

Delovna točka in napajalna vezja bipolarnih tranzistorjev

Obvestila. Matematično programiranje z aplikacijami. Pregled predmeta Matematično programiranje z aplikacijami. Vaje: Nadaljujemo z začinjeno pizzo.

Matematika 2. Diferencialne enačbe drugega reda

Matrike. Poglavje II. Matrika je pravokotna tabela realnih števil. Na primer: , , , 0 1

GEOMETRIJA V RAVNINI DRUGI LETNIK

Funkcije več spremenljivk

Problem lastnih vrednosti

1 Seštevanje vektorjev in množenje s skalarjem

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

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)

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

Matematika 1. Jaka Cimprič

Univerza v Mariboru. Uporaba matematičnih metod v logistiki 1 Priročnik

Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju

Posplošena električna dominacija

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

Navadne diferencialne enačbe

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

UNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO MATEMATIKA II

10. poglavje. Kode za overjanje

KONVEKSNI SKUPOVI. Definicije: potprostor, afin skup, konveksan skup, konveksan konus. 1/5. Back FullScr

VEKTORJI. Operacije z vektorji

Iskazna logika 3. Matematička logika u računarstvu. novembar 2012

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

UNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO MATEMATIKA III

vezani ekstremi funkcij

Simetrični stožci v evklidskih prostorih

Oznake in osnovne definicije

diferencialne enačbe - nadaljevanje

M086 LA 1 M106 GRP. Tema: Baza vektorskog prostora. Koordinatni sustav. Norma. CSB nejednakost

Osnovne lastnosti odvoda

Teorija grafov in topologija poliedrov

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

Kotni funkciji sinus in kosinus

MATEMATIKA 1 UNIVERZITETNI ŠTUDIJSKI PROGRAM BIOKEMIJA 1. LETNIK

SPEKTRALNA TEORIJA V HILBERTOVIH PROSTORIH

ZBIRKA REŠENIH NALOG IZ MATEMATIKE I

Riemannove ploskve in analitična geometrija. Franc Forstnerič

Transcript:

Poliedri Ines Pogačar 27. oktober 2009 Pri linearnem programiranju imamo opravka s končnim sistemom neenakosti in končno spremenljivkami, torej je množica dopustnih rešitev presek končno mnogo polprostorov. Definicija 1 Množica rešitev linearne neenakosti a 1 x 1 + a 2 x 2 +... + a n x n b, kjer je vsaj en koeficient a i neničeln, je (zaprt) polprostor v R n. Definicija 2 Konveksni polieder v R n je množica oblike P = {x R n : Ax b} za neko matriko A R m n in nek vektor b R m, oziroma je presek končno mnogo zaprtih polprostorov. Omejenemu konveksnemu poliederu pravimo tudi konveksni politop. Množica dopustnih rešitev pri linearnem programu je torej konveksni polieder. Vsak polprostor je konveksen, zato je množica iz zgornje definicije res konveksna. V nadaljevanju se bo vse nanašalo na konveksne poliedre, zato bomo pridevnik konveksen izpuščali. Dimenzija poliedra P je najmanjša dimenzija podprostora, ki vsebuje P. P R n je dimenzije n natanko tedaj, ko nima prazne notranjosti. Definicija 3 Naj bo P = {x : Ax b} neprazen polieder. Če je c vektor, za katerega je množica δ = max{cx : x P } končna, potem množici {x : cx = δ} pravimo podpirajoča hiperravnina poliedra P. Lice F P je polieder sam, ali pa presek P z neko podpirajočo hiperravnino. Točka x P je oglišče poliedra P, če je {x} lice. Iz definicije lica sledi, da je tudi samo lice (konveksni) polieder. Polieder P R n ima lahko lica (ki niso P ) dimenzije manjše od n. 1

Tridtev 1 Naj bo P = {x : Ax b} polieder in F P. Potem so naslednje trditve ekvivalentne: (a) F je lice poliedra P. (b) Obstaja vektor c, da je množica δ = max{cx : x P } končna in F = {x P : cx = δ}. (c) F = {x P : A x = b } = za nek podsistem A x b sistema Ax b. Dokaz: (a) (b): očitno po definiciji. (c) (b): Če je F = {x P : A x = b } neprazna, naj bo c vsota vrstic matrike A in δ vsota komponent vektorja b. Po kratkem izračunu opazimo, da je za vsak x P cx δ in F = {x P : cx = δ}. (b) (c): Privzamemo točko (c). Naj bo A x b maksimalni podsistem sistema Ax b, da velja A x = b za vsak x F, in A x b ostanek sistema Ax b. Dokazati moramo, da A x = b velja le za x F. Opazimo, da za vsako neenakost a i x β i sistema A x b (i = 1,..., k) obstaja točka x i F, ki zadošča strogi neenakosti a i x < β i, saj bi sicer za vse točke iz F veljala enakost a i x = β i, kar pa je v protislovju s tem, da je A x b maksimalen. Definirajmo x := 1 k k i=1 x i, ki je težišče teh točk. Potem je lahko videti, da je x F in a i x β i za vsak i {1,..., k}. Vzemimo y P \ F. Potem je cy < δ. Definirajmo z := x + ɛ(x y) za nek majhen ɛ > 0, konkretno, naj bo manjši od β i a i x za vsak tak a i (x y) i {1,..., k}, da je a i x > a i y. Ker sta cx cy in ɛ pozitivna, je cz = cx + ɛ(cx cy) > δ, in sledi, da z / P. Potem obstaja neenakost sistema Ax b, da velja az > β, oziroma ax + ɛ(ax ay) > β, kar pomeni, da mora biti ax > ay. Ta neenakost ne more pripadati sistemu A x b, sicer bi za zgornjo mejo števila ɛ vzeli β ax a(x y) : az = ax + ɛ(ax ay) < ax + β ax a(x y) a(x y) = β. Torej neenakost pripada A x b. Ker je ax az negativno in 1 ɛ pozitivno, je ay = ax + 1 ɛ (ax az) < β. 2

Dokazali smo, da za vsak y P \ F obstaja neenakost sistema A x b, da velja neenakost ay < β, torej A y b. Relacija je lice je tranzitivna: Posledica 1 Naj bo P polieder in F njegovo lice. Potem je F spet polieder in množica F F je lice poliedra P, če in samo če je lice poliedra F. Definicija 4 Naj bo P polieder. Maksimalno lice poliedra P dimenzije n je lice največje dimenzije, ki ni cel P, torej dimenzije n 1. Pravimo, da neenakost cx δ definira maksimalno lice, če je cx δ za vsak x P in je {x P : cx = δ} maksimalno lice poliedra P. Tridtev 2 Naj bo P {x R n : Ax = b} neprazen polieder dimenzije n rang(a). Naj bo A x b minimalen sistem neenakosti, da P = {x : Ax = b, A x b }. Potem vsaka neenakost sistema A x b definira neko maksimalno lice in vsako maksimalno lice je definirano z neki neenakostjo sistema A x b. Dokaz: Če P = {x R n : Ax = b}, nima maksimalnih lic in trditev velja. Naj bo A x b minimalen sistem neenakosti, da P = {x : Ax = b, A x b }, a x β ena od teh neenakosti in A x b preostanek sistema A x b. Vzemimo tak vektor y, da velja Ay = b, A y b in a y > β. Tak vektor obstaja, ker neenakost a x β ni odvečna v sistemu. Naj bo x P tak, da a x < β. Definirajmo z := x + β a x (y x). Velja, da a y a x a z = β, torej leži v hiperravnini, ki se poliedra dotika v F. Pokazati moramo še, da z P, to je da zadošča še ostalim neenakostim, torej sistemu A x b : A z = (1 β a x a y a x )A x+ β a x a y a x A y (1 β a x a y a x )b + β a x a y a x b = b. Res velja, ker 0 < β a x < 1. a y a x Tako je F := {x P : a x = β } = lice dimenzije dim(p ) 1 in F P, ker x P \ F, torej je maksimalno lice. Iz trditve 1 sledi, da je vsako maksimalno lice definirano z neko neenakostjo sistema A x b. Še en pomemben razred lic v poliedru so minimalna lica. 3

Definicija 5 Minimalna so lica, ki ne vsebujejo drugih lic. Tridtev 3 Naj bo P = {Ax b} polieder. Naprazna podmnožica F P je minimalno lice poliedra P natanko tedaj, ko je F = {x : A x = b } za nek podsistem A x b sistema Ax b. Dokaz: : Če je F minimalno lice poliedra P, po trditvi 1 obstaja podsistem A x b sistema Ax b, da je F = {x P : A x = b }. Izberimo A x b maksimalen. Naj bo A x b minimalen podsistem Ax b, da je F = {x : A x = b, A x b }. Radi bi dokazali, da A x b ne vsebuje nobene neenakosti. Pa privzemimo nasprotno: naj bo a x β neenakost iz sistema A x b. Ker ni odvečna za opis množice F, je po trditvi 2 množica F := {x : A x = b, A x b, a x = β } maksimalno lice poliedra F, definirano z neenakostjo a x = β. Po pravilu tranzitivnosti, je F tudi lice poliedra P, kar je v nasprotju s tem, da je F minimalno. : Bodi F = {x : A x = b } P za nek podsistem A x b sistema Ax b. Po trditvi 1 je F lice P. Očitno F nima drugih lic razen sebe, torej je minimalno. Posledica 2 Za polieder P = {x R n : Ax b} so vsa minimalna lica dimenzije n rang(a). Pri politopih so to natanko oglišča. Bazne rešitve Definicija 6 Dopustna bazna rešitev linearnega programa max c T x, pri pogojih Ax = b, x 0, kjer je A ranga m, je dopustna rešitev x, za katero obstaja množica B {1, 2,..., n} moči m, da velja: stolpci matrike A, indeksirani z elementi množice B, so linearno neodvisni; x i = 0 za vse i / B. Spremenljivke, indeksirane z elementi iz B, so bazne. Poglejmo si še eno definicijo oglišča poliedra: vsaka točka x P, za katero ne obstajata točki y in z P taki, da x leži na polovici daljice med tema dvema točkama. To definicijo bomo uporabili pri dokazu naslednjega izreka: 4

Tridtev 4 Naj bo x P, kjer je P množica dopustnih rešitev linearnega programa max c T x, pri pogojih Ax = b, x 0. Potem je x oglišče poliedra P natanko tedaj, ko je dopustna bazna rešitev. Dokaz: : Predpostavimo, da je rang sistema m. Ko ustrezno preindeksiramo spremenljivke, naj bo x = (b 1, b 2,..., b m, 0,..., 0) neka dopustna bazna rešitev pri baznih spremenljivkah x 1, x 2,..., x m. Stolpci matrike A, ki ustrezajo tem spremenljivkam, morajo biti linearno neodvisni. Pa predpostavimo, da x ni oglišče. Tedaj po definiciji obstajata dve različni dopustni rešitvi p 0 in q 0 taki, da x leži na polovici daljice, ki ju povezuje, oziroma x = 1 (p + q). 2 Sledi, da za vse indekse j, ki ustrezajo nebaznim spremenljivkam (j = m + 1,..., n), velja x j = 1 2 (p j + q j ) = 0, p j 0 in q j 0. To pa je možno le, če p j = q j = 0. Točke p, q in x imajo torej iste vrednosti komponent, ki ustrezajo nebaznim spremenljivkam. Ker so vrednosti baznih enolično določene z vrednostmi nebaznih spremenljivk, mora veljati p = q = x. Prišli smo v protislovje, torej je x oglišče poliedra. : Spet predpostavimo, da je rang sistema m. Ko ustrezno preindeksiramo spremenljivke, naj bo x = (x 1, x 2,..., x k, 0,..., 0) 0 oglišče poliedra dopustnih rešitev. Potem mora biti prvih k stolpcev matrike A neodvisnih: če niso, potem za nek stolpec k velja a k = k 1 i=1 y ia i. To bi pomenilo, da so rešitve oblike x(λ) = (x 1 λy 1,..., x k 1 λy k 1, x k λ, 0,..., 0) dopustne za λ 0 λ λ 0 za nek λ 0 > 0. Tedaj je x na daljici med dvema dopustnima rešitvama, saj x = 1(x( λ 2 0) + x(λ 0 )), kar je v protislovju s tem, da je oglišče. Ker je največje število neodvisnih stolpcev m, mora biti k m. Če k = m, je po definiciji x dopustna bazna rešitev. Naj bo k < m. Tedaj lahko dopolnimo neodvisne stolpce j = 1,..., k z m k dodatnimi neodvisnimi stolpci z indeksi j k+1,..., j m, skupaj s katerimi lahko skonstruiramo dopustno bazo. Pripadajočo dopustno bazno rešitev dobimo, če postavimo x jk+1 =... = x jm = 0. Opomba: V zadnjem delu dokaza dopolnitev z m k neodvisnimi stolpci ni enolična, torej lahko vsako oglišče ustreza večim dopustnim baznim rešitvam, medtem ko vsaka dopustna bazna rešitev ustreza natanko enemu oglišču. 5

Tridtev 5 Naj bo linearni program. Potem velja: max c T x, pri pogojih Ax = b, x 0 (a) Če obstaja vsaj ena dopustna rešitev in je kriterijska funkcija navzgor omejena na množici dopustnih rešitev, potem obstaja optimalna rešitev. (b) Če obstaja optimalna rešitev, potem obstaja dopustna bazna rešitev, ki je optimalna. Zaključimo lahko, da ima linearni program v enačajski obliki končno mnogo baznih dopustnih rešitev in če je dopusten in omejen, potem je vsaj ena od baznih dopustnih rešitev optimalna. Kaj pa velja za splošem linearni program? Definicija 7 Dopustna bazna rešitev linearnega programa z n spremenljivkami je dopustna rešitev, za katero obstaja n linearno neodvisnih neenakosti, da veljajo enakosti. Tu so všteti tudi pogoji nenegativnosti. Definicija dopustnih baznih rešitev za enačajsko obliko linearnega programa je le poseben primer nove definicije, saj m linearno neodvisnih enakosti že imamo, ostale pa dobimo, ko n m nebaznih spremenljivk postavimo na 0. Literatura [1] Bernhard H. Korte, Jens Vygen: Combinatorial optimization: theory and algorithms [2] George Bernard Dantzig, Mukund Narain Thapa:Linear Programming: Theory and extensions [3] J. Matoušek, B Gärtner:Understanding and using linear programming 6