Otimalizácia v tabul kovom procesore Gnumeric

Transkript

1 Otimalizácia v tabul kovom procesore Gnumeric doc. RNDr. Štefan PEŠKO, CSc, pesko@frcatel.fri.uniza.sk Katedra matematických metód, Fakulta riadenia a informatiky, Žilinská univerzita v Žiline, Univerzitná 8215/1, Žilina p. 1

2 Obsah Od Excelu ku Gnumericu p. 2

3 Obsah Od Excelu ku Gnumericu Neprocedurálne programovanie v spreadsheetoch p. 2

4 Obsah Od Excelu ku Gnumericu Neprocedurálne programovanie v spreadsheetoch Solver - Riešič pre úlohy (i zmiešaného) LP p. 2

5 Obsah Od Excelu ku Gnumericu Neprocedurálne programovanie v spreadsheetoch Solver - Riešič pre úlohy (i zmiešaného) LP Dopravné a prirad ovacie úlohy p. 2

6 Obsah Od Excelu ku Gnumericu Neprocedurálne programovanie v spreadsheetoch Solver - Riešič pre úlohy (i zmiešaného) LP Dopravné a prirad ovacie úlohy Hra puzzle Sudoku p. 2

7 Obsah Od Excelu ku Gnumericu Neprocedurálne programovanie v spreadsheetoch Solver - Riešič pre úlohy (i zmiešaného) LP Dopravné a prirad ovacie úlohy Hra puzzle Sudoku Výpočet matice vzdialeností p. 2

8 Obsah Od Excelu ku Gnumericu Neprocedurálne programovanie v spreadsheetoch Solver - Riešič pre úlohy (i zmiešaného) LP Dopravné a prirad ovacie úlohy Hra puzzle Sudoku Výpočet matice vzdialeností Problémy obchodného cestujúceho p. 2

9 Obsah Od Excelu ku Gnumericu Neprocedurálne programovanie v spreadsheetoch Solver - Riešič pre úlohy (i zmiešaného) LP Dopravné a prirad ovacie úlohy Hra puzzle Sudoku Výpočet matice vzdialeností Problémy obchodného cestujúceho Problémy rovnomerných rozvrhov p. 2

10 Obsah Od Excelu ku Gnumericu Neprocedurálne programovanie v spreadsheetoch Solver - Riešič pre úlohy (i zmiešaného) LP Dopravné a prirad ovacie úlohy Hra puzzle Sudoku Výpočet matice vzdialeností Problémy obchodného cestujúceho Problémy rovnomerných rozvrhov Graf dopravnej siete p. 2

11 Obsah Od Excelu ku Gnumericu Neprocedurálne programovanie v spreadsheetoch Solver - Riešič pre úlohy (i zmiešaného) LP Dopravné a prirad ovacie úlohy Hra puzzle Sudoku Výpočet matice vzdialeností Problémy obchodného cestujúceho Problémy rovnomerných rozvrhov Graf dopravnej siete Metóda CPM a jej zovšeobecnenia p. 2

12 Od Excelu ku Gnumericu Výhody otvoreného softvéru OSS Skoro plnohodnotná konverzia Gnumeric Excel Pohodlná tvorba a ladenie optimalizačných modelov Variabilita OSS Solverov matematického programovania Riešenie testujúcich inštancií reálnych optimalizačných úloh Priatel ské vstupno výstupné rozhranie pre praktikov i riešitel ov Gnumeric user manual, p. 3

13 Neprocedurálne programovanie Bunky tabul ky sa na seba odkazujú pomocou spredsheetovských formúl: Y ij := F(,X kl, ), F() - [zložená] funkcia buniek tabul ky alebo konštánt, Y ij - bunka v i-tom riadku a j-tom stĺpci tabul ky, X kl - bunka v k-tom riadku a l-tom stĺpci tabul ky alebo nejaká funkcia buniek. Pripúšt ajú sa, no moc neodporúčajú, aj cyklické odkazy ked X kl = Y ij. Príklad: A6 := sum(g4 : C4), A7 := sumproduct(b3 : G3;B4 : G4), F6 := F6 + F p. 4

14 Solver pre úlohy LP [1] Simplex (LP solver), Revised Simplex (GLPK 4.5) n c j x j min [max], (1) j=1 n a ij x j [, = ] b i, i = 1,...,m, (2) j=1 x j 0, [ celé, {0, 1} ], j = 1,...,n. (3) p. 5

15 Solver pre úlohy LP [2] Obrázok 1: Blokové štrukturálne obmedzenia LP Miesto n j=1 a ijx j b i,i = 1,...,m stačí XI BI p. 6

16 Dopravné a prirad ovacie úlohy [1] Klasická dopravná úloha s previsom ponuky: m i=1 a i > n j=1 b j m i=1 n c ij x ij min (4) j=1 n x ij a i i = 1,...,m, (5) j=1 m x ij = b j j = 1,...,n, (6) i=1 x ij 0 i = 1,...,m, j = 1,...,n. (7) Ak m = n,a i = b j = 1 (symetrická) prirad ovacia úloha p. 7

17 Dopravné a prirad ovacie úlohy [2] Obrázok 2: Nevybilancovaná dopravná úloha Pre štrukturálne obmedzenia stačí rozkopírovat bunky G11 = sum(b11 : F11);B15 = sum(b11 : F11) p. 8

18 Puzzle Sudoku [1] Obrázok 3: Zadanie l ahkého Sudoku p. 9

19 Puzzle Sudoku [2] Obrázok 4: Riešenie Sudoku a čísla boxov Do hracieho pol a 9 9 sa dopĺňajú čísla od 1 do 9. Každý z 9 boxov po 3 3 políčka, každý riadok aj každý stĺpec musí každé z čísel 1 9 obsahovat iba raz p. 10

20 Puzzle Sudoku [3] Nech premenná x ijk = 1 ak je číslo k umiestnené v i-tom riadku a j-tom stĺpci hracieho pol a Y ij. Nech b ij udáva číslo boxu políčka (i,j). Nech a ij = 0 ak políčko (i,j) je prázdne, ináč nejaké číslo 1, 2,...,9. Uvažujme ocenenie políčka (i, j) číslom c ijk = { 0 ak a ij = 0 1 ak a ij = k > 0. Riešenie: Y ij := 9 k=1 k x ijk p. 11

21 Puzzle Sudoku [4] c ijk x ijk max, (8) i=1 j=1 k=1 9 x ijk = 1, j=1 9 i=1 j=1 b ij =l 9 x ijk = 1 i,j,k {1,...,9}, (9) i=1 9 x ijk = 1, k,l {1,...,9}, (10) 9 x ijk = 1, i,j {1,...,9}, (11) k=1 x ijk {0, 1} i,j,k {1,...,9}. (12) p. 12

22 Výpočet matice vzdialeností [1] Aplikácia: Minimalizácia počtu prestupov medzi linkami. Nech je daná množina n liniek L = {L i : i N}, N = {1, 2,...,n} a matica A = (a ij ), kde prvok a ij = 1, ak je možný prestup z linky L i L na linku L j L (t. j. linky majú aspoň jednu spoločnú zastávku) a a ij = n v opačnom prípade. Hl adá sa matica D = (d ij ), kde prvok d ij udáva minimálny počet prestupov z linky L i na linku L j. L 4 L 1 L 2 L 5 L 3 Obrázok 5: Schématické vedenie liniek MHD p. 13

23 Výpočet matice vzdialeností [2] A = D = procedure FLOYD( A ) D = A f o r k N do f o r i N do f o r j N do i f d ij > d ik + d kj then d ij = d ik + d kj p. 14

24 Výpočet matice vzdialeností [3] Obrázok 6: Floydov algoritmus D[(i 1) n + j] = min{d[(i 1) n + j],d[(i 1) n + k] + D[(k 1) n + j]} p. 15

25 Problém obchodného cestujúceho Je daná matica nákladov medzi uzlami N = {0, 1, 2,...,n} dopravnej siete D = (d ij ). Hl adá sa najlacnejší uzavretý sled obsahujúci všetky uzly. Označme M = N {0}. Nech x ij = 1 ak sled TSP := 0 i j 0. i N j N j N x ij = 1, i N d ij x ij min (13) x ij = 1 i,j N, (14) u i + (n + 1)x ij u j n i,j M, i j, (15) u i 0 i M, (16) x ij {0, 1} i,j N. (17) p. 16

26 Problém tsp [2] Obrázok 7: Polia pre ILP Solver v TSPs.gnumeric p. 17

27 Problém nakupujúceho TSP [1] Podobne ako TSP ale 0 reprezentujúci východiskové miesto ale BTSP cestujúci nemusí navštívit všetky uzly lebo hodlá nakúpit sortiment p druhov tovaru, K = {1, 2,...,p}, v množstvách b k,k K v niektorých predajniach, ktoré sú umiestnené v ostatných uzloch i M = N {0}, a ponúkajú sortiment v množstvách a ik za jednotkovú cenu c ik Obrázok 8: Pochôdzka BTSP := p. 18

28 Problém nakupujúceho TSP [2] BTSP nakupuje dostatočné množstvá k-teho druhu tovaru y ik. Tu x ii = 1 znamená, že predajňa i nebola navštívená. i N j N d ij x ij + i M k K c ik y ik min (18) y ik + a ik x ii a ik, i M, k K, (19) y ik = b k, k K, (20) i M y ik 0, i M, k K, (21) x ij {0, 1}, vyhovuje (14). (22) p. 19

29 Problém nakupujúceho TSP [3] Obrázok 9: Obmedzujúce podmienky (19) (22) pre riešenie dvojsortimentovej BTSP p. 20

30 Problém prieberčivého TSP [1] Podobne ako TSP ale je daný rozklad množiny uzlov N do tried rozkladu N 1,N 2,...,N p. Prieberčivý CTSP si na svojej pochôdzke vyberá z každej triedy rozkladu práve jeden uzol. Tu x ij = 1 znamená, že CTSP := i j ak x ii = 1, že uzol i nebude navštívený. i N j N d ij x ij min, (23) k N k x kk = N k 1, k {1,...,p}, (24) x ij {0, 1}, vyhovuje (14) (16). (25) p. 21

31 Problém rovnomerných rozvrhov 1 Problém permutácii matice [Černý, Vašek, Peško,1990] MPP (tzv. úloha o stonožke): Preusporiadat prvky v stĺpcoch matice A R m n pri minimálnej miere nerovnomernosti riadkových súčtov F(s 1,...,s m ) napr. F dif (s 1,...,s m ) = max i M s i min i M s i. Riešením je matica A ψ = (a ψij,j) A = ,A ψ = Optimálne riešenie pre 3 vozidlá (riadky) na týždeň (stĺpce) s F dif (17, 17, 18) = p. 22

32 Problém rovnomerných rozvrhov 2 Obrázok 10: Problém MPP 2 n N P hard ako úloha BLP p. 23

33 Problém rovnomerných rozvrhov 3 Obrázok 11: Heuristika pre MPP m n N P hard stochastickou dekompozíciou na kumulované dvojstĺpcové MPP m 2 P p. 24

34 Graf dopravnej siete Graf (diagram) dopravnej siete môžeme pohodlne reprezentovat množinou úsečiek nakreslením sledu úsečiek ako prerušovanej lomenej čiary. Obrázok 12: Diagram dopravnej siete p. 25

35 Metóda CPM [1] Číslo Činnost Doba Predchádzajúce činnos 1 Prístrešok na materiál 3-2 Výkop základov 3-3 Dovoz dreva 2-4 Dovoz štrkopiesku 1-5 Dovoz cementu Bednenie základov 3 2,3 7 Materiál na stavbu Betónovanie základov 3 4,5,6 9 Hrubá stavba 4 7,8 10 Dovoz vybavenia Vnútorné vybavenie 10 9,10 12 Upratovanie p. 26

36 Metóda CPM [2] Obrázok 13: Graf preferencií činností G p. 27

37 Metóda CPM [3] Obrázok 14: Výpočet najskôr možných začiatkov činností najcenejšia cesta v preferenčnom digrafe G p. 28

38 Metóda CPM [4] Obrázok 15: Výpočet najneskôr nutných koncov činností najlacnejšia cesta v preferenčnom digrafe G p. 29

39 Metóda CPM [5] Obrázok 16: Kritická cesta p. 30

40 pesko/ Ďakujem za pozornost p. 31