MIP-heuristike (Matheuristike) Hibridi izmedu metaheurističkih i egzaktnih metoda Tatjana Davidović Matematički institut SANU

Слични документи
MIP-heuristike (Matheuristike) Hibridi izmedu metaheurističkih i egzaktnih metoda Tatjana Davidović Matematički institut SANU

EFIKASNO MODELIRANJE REALNIH OPTIMIZACIONIH PROBLEMA Tatjana Davidović Matematički institut SANU tanjad

УНИВЕРЗИТЕТ У НОВОМ САДУ ОБРАЗАЦ 6

Računarski praktikum I - Vježbe 11 - Funktori

Tutoring System for Distance Learning of Java Programming Language

Slide 1

УНИВЕРЗИТЕТ У БЕОГРАДУ МАТЕМАТИЧКИ ФАКУЛТЕТ Бојана Ј. Лазовић Примена метода комбинаторне оптимизације за решавање проблема формирања група у настави

Microsoft Word - 14Celobrojno.doc

Kombinatorno testiranje

PowerPoint Presentation

VEŽBE IZ OPERACIONIH ISTRAŽIVANJA

Univerzitet u Novom Sadu Tehnički fakultet Mihajlo Pupin Zrenjanin Seminarski rad Predmet: Konkuretno programiranje doc. dr Dejan Lacmanovic Zorica Br

Microsoft PowerPoint - C-4-1

P11.3 Analiza zivotnog veka, Graf smetnji

6-8. ČAS Celobrojno programiranje Rešavamo sledeći poblem celobrojnog programiranja: Gde pretpostavljamo da je A celobrojna matrica dimenzije,. Takođe

Programiranje 2 0. predavanje Saša Singer web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb Prog2 2019, 0. predavanje p. 1/4

Рачунарска интелигенција

Konstrukcija i analiza algoritama vežbe 10 Nina Radojičić 15. decembar Algoritamske strategije - podeli pa vladaj (divide and conquer) Ova stra

Програмирај!

Microsoft Word - AIDA2kolokvijumRsmerResenja.doc

Microsoft PowerPoint - 03-Slozenost [Compatibility Mode]

Drveta odlucivanja - algoritmi

Razvoj programa, Code::Blocks, struktura programa, printf, scanf, konverzioni karakteri predavač: Nadežda Jakšić

Приказ најзначајнијих научних резултата 1. Докторска дисертација Назив дисертације: "Генетски алгоритми за решавање неких НП- тешких хаб локацијских п

The real problem is that programmers have spent far too much time worrying about efficiency in the wrong places and at the wrong times; premature opti

Microsoft PowerPoint - 10-Jednodimenzionalni nizovi.ppt [Compatibility Mode]

Predlozak za PhD studente

Microsoft PowerPoint - Programski_Jezik_C_Organizacija_Izvornog_Programa_I_Greske [Compatibility Mode]

Microsoft PowerPoint - 13-Funkcije_2.ppt [Compatibility Mode]

Uvod u računarstvo 2+2

Microsoft PowerPoint - Programski_Jezik_C_Organizacija_Izvrsnog_Programa [Compatibility Mode]

Celobrojno programiranje Rešavamo sledeći poblem celobrojnog programiranja: min c T x Ax = b x 0 x Z n Gde pretpostavljamo da je A celobrojna matrica

Problemi zadovoljavanja ogranicenja.

Algoritmi

Универзитет у Београду Математички факултет Драган Д. Ђурђевић Поређење егзактних и хеуристичких метода за решавање неких оптимизационих проблема Маст

VEŽBA 5: KLASE I OBJEKTI U C# Cilj ove vežbe je upoznavanje sa osnovama rada sa klasama i objektima u programskom jeziku C#. Pored toga, bide demonstr

Microsoft PowerPoint - 07-DinamickeStrukturePodataka

Tutoring System for Distance Learning of Java Programming Language

3.Kontrlne (upravlja~ke) strukture u Javi

Microsoft PowerPoint - jkoren10.ppt

PROMENLJIVE, TIPOVI PROMENLJIVIH

Mere slicnosti

KDP

Microsoft Word - MySQL_3.doc

Programiranje II Beleške sa vežbi Smer Informatika Matematički fakultet, Beograd Sana Stojanović 1

Teorija igara

PRIRODNO MATEMATIČKI FAKULTET U NIŠU DEPARTMAN ZA RAČUNARSKE NAUKE Utorak, godine PRIJEMNI ISPIT IZ INFORMATIKE 1. Koja od navedenih ekste

Funkcije predavač: Nadežda Jakšić

Електротехнички факултет Универзитета у Београду Катедра за рачунарску технику и информатику Kолоквијум из Интелигентних система Колоквију

Matematka 1 Zadaci za vežbe Oktobar Uvod 1.1. Izračunati vrednost izraza (bez upotrebe pomoćnih sredstava): ( ) [ a) : b) 3 3

Newtonova metoda za rješavanje nelinearne jednadžbe f(x)=0

DR DRAGOŚ CVETKOVIC DR SLOBODAN SIMIC DISKRETNA MATEMATIKA MATEMATIKA ZA KOMPJUTERSKE NAUKĘ DRUGO ISPRAYLJENO I PROSIRENO IZDANJE HMUJ

KATUŠIĆ ANTONIO.pdf

(Microsoft Word - LOCIRANJE ROBE U SKLADI\212TU-vezbe doc)

Upitni jezik SQL

Grananje u programu predavač: Nadežda Jakšić

Strukture predavač: Nadežda Jakšić

FTN Novi Sad Katedra za motore i vozila Potrošnja goriva Teorija kretanja drumskih vozila Potrošnja goriva

Programski jezik C

PowerPoint Presentation

Programski jezici i strukture podataka 2018/2019. Programski jezici i strukture podataka Računarske vežbe vežba 10 Zimski semestar 2018/2019. Studijsk

Programiranje u C-u ili C++-u Pseudo-slučajni brojevi; Dinamička alokacija memorije 1 ZADACI SA ČASA Zadatak 1 Napraviti funkciju koja generišlučajan

Школа Ј. Ј. Змај Свилајнац МЕСЕЧНИ ПЛАН РАДА ЗА СЕПТЕМБАР Школска 2018 /2019. Назив предмета: Информатика и рачунарство Разред: 5. Недељни број часова

Algoritmi SŠ P1

1. OPĆE INFORMACIJE 1.1. Naziv kolegija Programiranje 1.6. Semestar Nositelj kolegija dr.sc. Bruno Trstenjak, v. pred Bodovna vrijednost

Државно такмичење године 5. и 6. разред 1. [pločice] Правоугаону терасу димензија d s центиметара квадратних треба поплочати коришћењем плочица

MergedFile

Makroekonomija

Slide 1

PASCAL UVOD 2 II razred gimnazije

Slide 1

Konstrukcija i analiza algoritama Nina Radojičić februar Analiza algoritama, rekurentne relacije 1 Definicija: Neka su f i g dve pozitivne fun

P1.2 Projektovanje asemblera

2015_k2_z12.dvi

P1.1 Analiza efikasnosti algoritama 1

Slide 1

STABILNOST SISTEMA

Postavka 2: Osnovni graf algoritmi 1 DISTRIBUIRANI ALGORITMI I SISTEMI Iz kursa CSCE 668 Proleće 2014 Autor izvorne prezentacije: Prof. Jennifer Welch

PowerPoint Presentation

Sveučilište u Zagrebu Fakultet prometnih znanosti Zavod za inteligentne transportne sustave Katedra za primijenjeno računarstvo Vježba: #7 Kolegij: Ba

P1.0 Uvod

Introduction to Programming

Microsoft PowerPoint - Lab_step_nc2017.ppt [Compatibility Mode]

PowerPoint Presentation

Mathcad - MCADMod MCD

Model podataka

Microsoft PowerPoint - OOPpredavanja05 [Compatibility Mode]

Microsoft PowerPoint - Topic04-Serbian.ppt

Slide 1

I grupa 1. Napisati program koji izračunava i ispisuje zbir 4 najveća od pet brojeva unetih sa standardnog ulaza. ulaz izlaz Analiza: 1.

Programiranje 1

Programiranje 1 IEEE prikaz brojeva sažetak Saša Singer web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb Prog1 2018, IEEE p

MAZALICA DUŠKA.pdf

Profajliranje ivica: Knutov algoritam i njegova unapredenja Seminarski rad u okviru kursa Verifikacija softvera Matematički fakultet Nevena Nikolić, 1

P1.3 Projektovanje makroasemblera

PowerPoint Presentation

Programiranje 2 popravni kolokvij, 15. lipnja Ime i prezime: JMBAG: Upute: Na kolokviju je dozvoljeno koristiti samo pribor za pisanje i brisanj

Microsoft PowerPoint - Datoteke [Compatibility Mode]

Microsoft PowerPoint - Bitovi [Compatibility Mode]

Транскрипт:

MIP-heuristike (Matheuristike) Hibridi izmedu metaheurističkih i egzaktnih metoda Tatjana Davidović Matematički institut SANU http://www.mi.sanu.ac.rs/ tanjad (tanjad@mi.sanu.ac.rs) 14. jan. 2016. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 1 / 23

Sadržaj 1 Matheuristike za 0-1 mešovito celobrojno programiranje 2 3 Primeri primena 4 Još o matheurisikama Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 2 / 23

Matheuristike za 0-1 mešovito celobrojno programiranje Šta su MATHEURISTIKE? Naziv matheuristike je skraćenica za matematičke heuristike (math-heuristic); Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 3 / 23

Matheuristike za 0-1 mešovito celobrojno programiranje Šta su MATHEURISTIKE? Naziv matheuristike je skraćenica za matematičke heuristike (math-heuristic); To su hibridi izmedu metaheuristika i metoda zasnovanih na matematičkom programiranju; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 3 / 23

Matheuristike za 0-1 mešovito celobrojno programiranje Šta su MATHEURISTIKE? Naziv matheuristike je skraćenica za matematičke heuristike (math-heuristic); To su hibridi izmedu metaheuristika i metoda zasnovanih na matematičkom programiranju; Nova rešenja dobijaju se manipulacijama nad matematičkim modelom datog problema; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 3 / 23

Matheuristike za 0-1 mešovito celobrojno programiranje Šta su MATHEURISTIKE? Naziv matheuristike je skraćenica za matematičke heuristike (math-heuristic); To su hibridi izmedu metaheuristika i metoda zasnovanih na matematičkom programiranju; Nova rešenja dobijaju se manipulacijama nad matematičkim modelom datog problema; U opštem slučaju i to su egzaktne metode, tj. ako im se da dovoljno vremena pronaći će optimalno rešenje; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 3 / 23

Matheuristike za 0-1 mešovito celobrojno programiranje Šta su MATHEURISTIKE? Naziv matheuristike je skraćenica za matematičke heuristike (math-heuristic); To su hibridi izmedu metaheuristika i metoda zasnovanih na matematičkom programiranju; Nova rešenja dobijaju se manipulacijama nad matematičkim modelom datog problema; U opštem slučaju i to su egzaktne metode, tj. ako im se da dovoljno vremena pronaći će optimalno rešenje; Soyster-ov algoritam za probleme 0-1 programiranja iz 1978. godine bio je jedna od prvih matheuristika. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 3 / 23

Matheuristike za 0-1 mešovito celobrojno programiranje Definicija problema 0-1 mešovitog celobrojnog programiranja (0-1 MIP) max(min){ν(ξ) = c T ξ ξ X }, (1) gde je X = {ξ R N Aξ b; ξ j {0, 1} za j B; ξ j Z + 0 za j G; ξ j 0 za j C} dopustivi skup (skup dopustivih rešenja), N = C G B skup indeksa svih promenljivih, C skup indeksa neprekidnih promenljivih, G skup indeksa celobrojnih promenljivih (koje nisu binarne), a B skup indeksa binarnih promenljivih, C G =, C B =, G B =, B. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 4 / 23

Matheuristike za 0-1 mešovito celobrojno programiranje Rastojanje u 0-1 MIP prostoru rešenja S Prostor rešenja za 0-1 MIP problem P; S Prostor rešenja za LP relaksaciju LP(P) problema P; Definicija. Rastojanje izmedu x S i y S definiše se kao δ(x, y) = x j y j, j B a može se linearizovati na sledeći način (Fischetti & Lodi, 2003): δ(x, y) = j B x j (1 y j ) + y j (1 x j ). Kada x, y {0, 1} n, δ(x, y) je ekvivalentno Hamingovom rastojanju. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 5 / 23

Lokalno grananje (Local Branching, LB) (Fischetti & Lodi, 2003) Učita se problem i postave vrednosti parametara; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 6 / 23

Lokalno grananje (Local Branching, LB) (Fischetti & Lodi, 2003) Učita se problem i postave vrednosti parametara; Nade se prvo dopustivo rešenje x ; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 6 / 23

Lokalno grananje (Local Branching, LB) (Fischetti & Lodi, 2003) Učita se problem i postave vrednosti parametara; Nade se prvo dopustivo rešenje x ; Ograniči se pretraga na ona rešenja x za koja važi δ(x, x ) k, gde je k početna vrednost parametra LB metode; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 6 / 23

Lokalno grananje (Local Branching, LB) (Fischetti & Lodi, 2003) Učita se problem i postave vrednosti parametara; Nade se prvo dopustivo rešenje x ; Ograniči se pretraga na ona rešenja x za koja važi δ(x, x ) k, gde je k početna vrednost parametra LB metode; Egzaktni MIP solver (CPLEX) se poziva da reši dobijeni podproblem u zadatom vremenskom intervalu; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 6 / 23

Lokalno grananje (Local Branching, LB) (Fischetti & Lodi, 2003) Učita se problem i postave vrednosti parametara; Nade se prvo dopustivo rešenje x ; Ograniči se pretraga na ona rešenja x za koja važi δ(x, x ) k, gde je k početna vrednost parametra LB metode; Egzaktni MIP solver (CPLEX) se poziva da reši dobijeni podproblem u zadatom vremenskom intervalu; Zavisno od rezultata koje vrati CPLEX, rastojanje k se povećava ili smanjuje i proces ponavlja do zadovoljenja kriterijuma zaustavljanja. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 6 / 23

LB pseudokod Procedure LocBra(P, x, k ) (1) Initialisation. Set proceed true, k k ; (2) Main step. while (proceed) do Add cuts: c t x c t x, δ(x, x) k; Set x MIPSOLVE(P, x ); switch status do case optsolfound : reverse last pseudo-cut into δ(x, x) k + 1; x x ; k k ; case feasiblesolfound : replace last pseudo-cut with δ(x, x) 1; x x ; k k ; case proveninfeasible : reverse last pseudo-cut into δ(x, x) k + 1; k k + k /2 ; case nofeasiblesolfound : delete last pseudo-cut δ(x, x) k; k k k /2 ; end end (3) Output. return x ; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 7 / 23

Matheuristike zasnovane na metodi promenljivih okolina Variable Neighborhood Search (VNS) Pravila VNS metode koriste se za definisanje podproblema; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 8 / 23

Matheuristike zasnovane na metodi promenljivih okolina Variable Neighborhood Search (VNS) Pravila VNS metode koriste se za definisanje podproblema; CPLEX se poziva da u vremenskom ograničenju reši podproblem; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 8 / 23

Matheuristike zasnovane na metodi promenljivih okolina Variable Neighborhood Search (VNS) Pravila VNS metode koriste se za definisanje podproblema; CPLEX se poziva da u vremenskom ograničenju reši podproblem; Dakle, CPLEX igra ulogu LS koraka u VNS metodi; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 8 / 23

Matheuristike zasnovane na metodi promenljivih okolina Variable Neighborhood Search (VNS) Pravila VNS metode koriste se za definisanje podproblema; CPLEX se poziva da u vremenskom ograničenju reši podproblem; Dakle, CPLEX igra ulogu LS koraka u VNS metodi; Najpoznatije su sledeće tri matheuristike: 1 Grananje kroz promenljive okoline (Variable Neighborhood Branching, VNB) Hansen & Mladenović & Urošević, 2006; 2 Dekompozicija kroz promenljive okoline za 0-1 MIP (VNDS for 0-1 MIPs) Lazić et al., 2010. 3 Intenzivno pretraživanje kroz promenljive okoline (The Variable Intensity Neighborhood Search for 0-1 MIP, VINS) Jovanović et al., 2015. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 8 / 23

VNB - ideja metode Nade se prvo dopustivo rešenje i proglasi za trenutno najbolje; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 9 / 23

VNB - ideja metode Nade se prvo dopustivo rešenje i proglasi za trenutno najbolje; Razmatraju se samo rešenja na odredenom rastojanju od trenutno najboljeg; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 9 / 23

VNB - ideja metode Nade se prvo dopustivo rešenje i proglasi za trenutno najbolje; Razmatraju se samo rešenja na odredenom rastojanju od trenutno najboljeg; Rastojanja se menjaju u skladu sa VNS pravilima (od k min do k max sa korakom k step ; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 9 / 23

VNB - ideja metode Nade se prvo dopustivo rešenje i proglasi za trenutno najbolje; Razmatraju se samo rešenja na odredenom rastojanju od trenutno najboljeg; Rastojanja se menjaju u skladu sa VNS pravilima (od k min do k max sa korakom k step ; Kao LS se koristi metoda promenljivog spusta (Variable neighborhood descent, VND), naravno opet na zadatom rastojanju; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 9 / 23

VNB - ideja metode Nade se prvo dopustivo rešenje i proglasi za trenutno najbolje; Razmatraju se samo rešenja na odredenom rastojanju od trenutno najboljeg; Rastojanja se menjaju u skladu sa VNS pravilima (od k min do k max sa korakom k step ; Kao LS se koristi metoda promenljivog spusta (Variable neighborhood descent, VND), naravno opet na zadatom rastojanju; Raspon rastojanja za VND se zadaje posebnim parametrom; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 9 / 23

VNB - ideja metode Nade se prvo dopustivo rešenje i proglasi za trenutno najbolje; Razmatraju se samo rešenja na odredenom rastojanju od trenutno najboljeg; Rastojanja se menjaju u skladu sa VNS pravilima (od k min do k max sa korakom k step ; Kao LS se koristi metoda promenljivog spusta (Variable neighborhood descent, VND), naravno opet na zadatom rastojanju; Raspon rastojanja za VND se zadaje posebnim parametrom; Razmrdavanje (shaking) se vrši nalaženjem prvog dopustivog rešenja u disk-prstenu veličine k do k + k step. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 9 / 23

VNB - pseudokod Procedure VNB(P, k min, k step, k max, k vnd ) 1 Set proceed true; Set solutionlimit = 1; 2 x MIPSolve(P, solutionlimit); 3 solutionlimit ; x x ; 4 while (proceed) do 5 Q P; x VND-MIP(Q, k vnd, x ); 6 if (c t x < c t x ) then 7 x x ; k k min ; 8 else k k + k step ; 9 x Shake(P, x, k, k step, k max ) //If no feasible solutions are found, return current (infeasible) solution. 10 if (x = x ) then break; 11 Update proceed; 12 endwhile 13 return x ; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 10 / 23

LB i VNB Podešavanje parametara koji zavise od problema LB k = 0.20 B VNB k max = 0.5 B k min = k step = k vnd = 0.05 B tlim - dozvoljeno vreme za rad svake od metoda (kriterijum zaustavljanja) tsub - dozvoljeno vreme za podproblem (CPLEX) tsub = tlim/10.0 Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 11 / 23

VNDS za 0-1 MIPs - ideja metode Neka je x optimalno rešenje za LP(P), a p = B. Neka je δ j = x j x j, j B, pri čemu su (x j ) uredeni tako da važi δ 1 δ 2... δ p. δ x 0 x 1 x 2 x x x k k+kstep k+2kstep x x x n 2kstepn kstep n Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) x 14. jan. 2016. 12 / 23

VNDS za 0-1 MIPs - ideja metode Neka je x optimalno rešenje za LP(P), a p = B. Neka je δ j = x j x j, j B, pri čemu su (x j ) uredeni tako da važi δ 1 δ 2... δ p. δ x 0 x 1 x 2 x x x k k+kstep k+2kstep x x x n 2kstepn kstep n Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) x 14. jan. 2016. 12 / 23

VNDS za 0-1 MIPs - ideja metode Neka je x optimalno rešenje za LP(P), a p = B. Neka je δ j = x j x j, j B, pri čemu su (x j ) uredeni tako da važi δ 1 δ 2... δ p. δ x 0 x 1 x 2 x x x k k+kstep k+2kstep x x x n 2kstepn kstep n Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) x 14. jan. 2016. 12 / 23

VNDS za 0-1 MIPs - ideja metode Neka je x optimalno rešenje za LP(P), a p = B. Neka je δ j = x j x j, j B, pri čemu su (x j ) uredeni tako da važi δ 1 δ 2... δ p. δ x 0 x 1 x 2 x x x k k+kstep k+2kstep x x x n 2kstepn kstep n Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) x 14. jan. 2016. 12 / 23

VNDS za 0-1 MIPs - ideja metode Neka je x optimalno rešenje za LP(P), a p = B. Neka je δ j = x j x j, j B, pri čemu su (x j ) uredeni tako da važi δ 1 δ 2... δ p. δ x 0 x 1 x 2 x x x k k+kstep k+2kstep x x x n 2kstepn kstep n Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) x 14. jan. 2016. 12 / 23

VNDS za 0-1 MIPs - ideja metode Neka je x optimalno rešenje za LP(P), a p = B. Neka je δ j = x j x j, j B, pri čemu su (x j ) uredeni tako da važi δ 1 δ 2... δ p. δ x 0 x 1 x 2 x x x k k+kstep k+2kstep x x x n 2kstepn kstep n Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) x 14. jan. 2016. 12 / 23

VNDS za 0-1 MIPs - ideja metode Neka je x optimalno rešenje za LP(P), a p = B. Neka je δ j = x j x j, j B, pri čemu su (x j ) uredeni tako da važi δ 1 δ 2... δ p. δ x 0 x 1 x 2 x x x k k+kstep k+2kstep x x x n 2kstepn kstep n Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) x 14. jan. 2016. 12 / 23

VNDS za 0-1 MIPs - ideja metode Neka je x optimalno rešenje za LP(P), a p = B. Neka je δ j = x j x j, j B, pri čemu su (x j ) uredeni tako da važi δ 1 δ 2... δ p. δ x 0 x 1 x 2 x x k k+kstep x x k+2kstep x x n 2kstepn kstep n Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 12 / 23

VNDS za 0-1 MIPs - ideja metode Neka je x optimalno rešenje za LP(P), a p = B. Neka je δ j = x j x j, j B, pri čemu su (x j ) uredeni tako da važi δ 1 δ 2... δ p. δ x 0 x 1 x 2 x x x k k+kstep k+2kstep x x x n 2kstepn kstep n Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) x 14. jan. 2016. 12 / 23

VNDS za 0-1 MIPs - ideja metode Neka je x optimalno rešenje za LP(P), a p = B. Neka je δ j = x j x j, j B, pri čemu su (x j ) uredeni tako da važi δ 1 δ 2... δ p. δ x 0 x 1 x 2 x x x k k+kstep k+2kstep x x x n 2kstepn kstep n Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) x 14. jan. 2016. 12 / 23

VNDS za 0-1 MIPs - pseudokod VNDS-MIP(P, d, x, k vnd ) 1 Find an optimal solution x of LP(P); 2 Set proceed1 true, proceed2 true; 3 while (proceed1) 4 δ j x j x j, j B; index variables x j, j B, so that δ 1 δ 2... δ p, p = B ; 5 Set n d {j B δ j 0}, k step [n d /d], k p k step; 6 while (proceed2 and k > 0) 7 Fix values of x 1,..., x k ; 8 x MIPSOLVE(P, x); 9 Release x 1,..., x k ; 10 if (c T x > c T x) then 11 Q P; x VND-MIP(Q, k vnd, x ); break; 12 else 13 if (k k step > p n d ) then k step max{[k/2], 1}; 14 Set k k k step; 15 Update proceed1 and proceed2; 16 endwhile 17 endwhile 18 return x. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 13 / 23

VINS - ideja metode Kombinacija dve metode: 1 VNDS-MIP i 2 Variable Intensity Local Search (VILS), Mitrović-Minić & Punnen, 2009; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 14 / 23

VINS - ideja metode Kombinacija dve metode: 1 VNDS-MIP i 2 Variable Intensity Local Search (VILS), Mitrović-Minić & Punnen, 2009; VILS je specijalna hibridna metoda za problem dodeljivanja; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 14 / 23

VINS - ideja metode Kombinacija dve metode: 1 VNDS-MIP i 2 Variable Intensity Local Search (VILS), Mitrović-Minić & Punnen, 2009; VILS je specijalna hibridna metoda za problem dodeljivanja; U njoj su uvedeni različiti tipovi i veličine okolina; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 14 / 23

VINS - ideja metode Kombinacija dve metode: 1 VNDS-MIP i 2 Variable Intensity Local Search (VILS), Mitrović-Minić & Punnen, 2009; VILS je specijalna hibridna metoda za problem dodeljivanja; U njoj su uvedeni različiti tipovi i veličine okolina; Okoline se pretražuju po round-robin principu za zadato vreme; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 14 / 23

VINS - ideja metode Kombinacija dve metode: 1 VNDS-MIP i 2 Variable Intensity Local Search (VILS), Mitrović-Minić & Punnen, 2009; VILS je specijalna hibridna metoda za problem dodeljivanja; U njoj su uvedeni različiti tipovi i veličine okolina; Okoline se pretražuju po round-robin principu za zadato vreme; Na te principe dogradene su ideje za različite tipove okolina u opštem slučaju. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 14 / 23

VINS - ideja metode Sortiranje promenljivih, fiksiranje i relaksiranje je inspirisano VNDS-MIP-om; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 15 / 23

VINS - ideja metode Sortiranje promenljivih, fiksiranje i relaksiranje je inspirisano VNDS-MIP-om; Definicije okolina preuzete su iz VILS-a; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 15 / 23

VINS - ideja metode Sortiranje promenljivih, fiksiranje i relaksiranje je inspirisano VNDS-MIP-om; Definicije okolina preuzete su iz VILS-a; Na početku se odrede rešenje linearne relaksacije i prvo dopustivo rešenje; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 15 / 23

VINS - ideja metode Sortiranje promenljivih, fiksiranje i relaksiranje je inspirisano VNDS-MIP-om; Definicije okolina preuzete su iz VILS-a; Na početku se odrede rešenje linearne relaksacije i prvo dopustivo rešenje; Promenljive se sortiraju u ne-rastućem redosledu u odnosu na rastojanje ta dva rešenja; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 15 / 23

VINS - ideja metode Sortiranje promenljivih, fiksiranje i relaksiranje je inspirisano VNDS-MIP-om; Definicije okolina preuzete su iz VILS-a; Na početku se odrede rešenje linearne relaksacije i prvo dopustivo rešenje; Promenljive se sortiraju u ne-rastućem redosledu u odnosu na rastojanje ta dva rešenja; Podskup promenljivih se fiksira na trenutne dopustive vrednosti zavisno od definicije trenutne okoline; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 15 / 23

VINS - ideja metode Sortiranje promenljivih, fiksiranje i relaksiranje je inspirisano VNDS-MIP-om; Definicije okolina preuzete su iz VILS-a; Na početku se odrede rešenje linearne relaksacije i prvo dopustivo rešenje; Promenljive se sortiraju u ne-rastućem redosledu u odnosu na rastojanje ta dva rešenja; Podskup promenljivih se fiksira na trenutne dopustive vrednosti zavisno od definicije trenutne okoline; Vrednosti ostalih promeljivih odreduju se pomoću MILP solvera. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 15 / 23

VINS - Definicije okolina N1: α% najgorih promenljivih se otpušta; N2: skup promenljivih se deli na 10 delova i α/10% najgorih promenljvih se otpušta u svakom delu; N3: počev od slučajne pozicije, otpušta se α% promenljivih; N4: na 20 slučajnih pozicija otpušta se α/10% promenljivih; N5: α% najboljih promenljivih se otpušta; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 16 / 23

VINS - Definicije okolina (nast.) N6: skup promenljivih se deli na 10 delova i α/10% najboljih promenljvih se otpušta u svakom delu; N7: otpušta se α/2% najboljih i najgorih promenljivih; N8: unutar 10 delova otpušta se α/20% najboljih i najgorih promenljivih; N9: slučajnih α% promenljvih se otpušta; N10: unutar 10 delova otpušta se slučajnih α/10% promenljivih. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 17 / 23

VINS - Pseudo-code Initialization: Read MIP, alphas, time limits; Solve linear relaxation of MIP to obtain linx; Calculate x, the first feasible solution for MIP; improvement true; While (t < Tlim) If (improvement) bestx x; Add objective constraint f (x) < f (bestx); Sort variables according to (bestx linx); improvement false; End If N NextNeighborhood; If (N = null) α NextAlpha; If (α = null) break; N = N1 End If Release(N, α); x MIPSolve(MIP, time limit); End While Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 18 / 23

Opšte napomene Efikasnost ovih metoda zavisi od složenosti problema i pravilnog podešavanja parametara; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 19 / 23

Opšte napomene Efikasnost ovih metoda zavisi od složenosti problema i pravilnog podešavanja parametara; Metode ne zalaze u prirodu problema niti koriste a priori znanje o pojedinim primerima; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 19 / 23

Opšte napomene Efikasnost ovih metoda zavisi od složenosti problema i pravilnog podešavanja parametara; Metode ne zalaze u prirodu problema niti koriste a priori znanje o pojedinim primerima; Ulaz za sve metode su datoteka koja sadrži LP formulaciju problema (uključujući i ulazne podatke za konkretan primer) i izabrane vrednosti parametara; Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 19 / 23

Opšte napomene Efikasnost ovih metoda zavisi od složenosti problema i pravilnog podešavanja parametara; Metode ne zalaze u prirodu problema niti koriste a priori znanje o pojedinim primerima; Ulaz za sve metode su datoteka koja sadrži LP formulaciju problema (uključujući i ulazne podatke za konkretan primer) i izabrane vrednosti parametara; Jedina merila složenosti problema (tj. konkretnog primera) su njegova veličina iskazana kroz broj promenljivih i broj ograničenja. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 19 / 23

Neke primene Primeri primena Standardni problemi za testiranje 0-1 MIP solvera: 29 grupa test primera (VNDS-MIP, VINS); Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 20 / 23

Primeri primena Neke primene Standardni problemi za testiranje 0-1 MIP solvera: 29 grupa test primera (VNDS-MIP, VINS); Problem rutiranja rečnih kontejnerskih brodova: 20 slučajnih test primera različitih dimenzija (VNB, VINS); Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 20 / 23

Primeri primena Neke primene Standardni problemi za testiranje 0-1 MIP solvera: 29 grupa test primera (VNDS-MIP, VINS); Problem rutiranja rečnih kontejnerskih brodova: 20 slučajnih test primera različitih dimenzija (VNB, VINS); Problem dodele vezova brodovima u luci (BAP): dve grupe primera različitih dimenzija (VNDS-MIP); Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 20 / 23

Primeri primena Neke primene Standardni problemi za testiranje 0-1 MIP solvera: 29 grupa test primera (VNDS-MIP, VINS); Problem rutiranja rečnih kontejnerskih brodova: 20 slučajnih test primera različitih dimenzija (VNB, VINS); Problem dodele vezova brodovima u luci (BAP): dve grupe primera različitih dimenzija (VNDS-MIP); Problem zajedničkih vožnji (Carpooling problem): dva realna primera sa Politehničkog fakulteta u Milanu (VNB). Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 20 / 23

Još o matheurisikama Još neke matheuristike: HyperOpt, Burke et al. 2001; MetaBoosting, Pushinger et al. 2009; MIP-Based GRASP, Dolgui et al. 2009; Kernel Search, Enrico, Mansini, Speranca, 2010. Knjiga: Maniezzo, Vittorio, Thomas Stützle, and Stefan Voss, eds. Matheuristics: hybridizing metaheuristics and mathematical programming. Vol. 10. Springer, 2009. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 21 / 23

Još o matheurisikama Konferencije o matheuristikama 6-th Workshop on Model-Based Meta-heuristics Matheuristics 2016 September 4-7, 2016, Brussels, Belgium http://iwi.econ.uni-hamburg.de/mh14/prev.html Prethodne konferencije: Matheuristics 2006 in Cesena, Italy; Matheuristics 2008 in Cesena, Italy; Matheuristics 2010 in Vienna, Austria; Matheuristics 2012, in R4o de Janeiro, Brazil; Matheuristics 2014, in Hamburg, Germany. Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 22 / 23

Hvala na pažnji! Pitanja? Tatjana Davidović tanjad@mi.sanu.ac.rs Tatjana Davidović (MI SANU) MIP-heuristike (Matheuristike) 14. jan. 2016. 23 / 23