OPTPV_20141209 01

Zhrnutie prednášky

Prednáška nadväzuje na tému logických obmedzení v úlohách zmiešaného celočíselného programovania, konkrétne na príklade problému lokalizácie skladov s binárnymi premennými (otvorenie skladu) a spojitými premennými (množstvo prepravovaného tovaru). Pripomínajú sa základné logické pravidlá – negácia, disjunkcia, konjunkcia, implikácia, ekvivalencia a exkluzívne alebo (XOR) – a ich prevod na lineárne nerovnosti a rovnosti. Hlavná časť sa venuje modelovaniu zložitejších obchodných pravidiel medzi binárnymi premennými (napr. „ak je otvorený sklad 3, musí byť otvorený aspoň jeden z 1 a 2“) pomocou dvojkrokového postupu: najprv preklad slovnej podmienky do logického zápisu a následne prevod na matematické nerovnosti. Zdôrazňuje sa rozdiel medzi „alebo“ a „exkluzívnym alebo“ a správne rozlíšenie, ktorá premenná je podmienkou a ktorá dôsledkom pri implikácii. Správnosť odvodených nerovností sa overuje pomocou pravdivostných tabuliek.

• - Nadväzuje na warehouse location problem s binárnymi (Y) a spojitými (X) premennými
• - Zopakovanie základných logických pravidiel: negácia, OR, AND, implikácia, ekvivalencia, XOR a ich prevod na (ne)rovnosti
• - Rozdiel medzi OR (aspoň jedno platí) a XOR (práve jedno platí)
• - Postup modelovania obchodných pravidiel: 1) prepis do logického zápisu, 2) prevod na lineárne nerovnosti
• - Príklad: Y3 ⇒ (Y1 ∨ Y2) sa zapíše ako Y1+Y2 ≥ Y3
• - Príklad opačnej implikácie: (Y1 ∨ Y2) ⇒ Y3 sa zapíše ako Y3 ≥ Y1 a Y3 ≥ Y2
• - Ekvivalencia (obojsmerná podmienka) sa rozkladá na dve implikácie, overované pravdivostnou tabuľkou

Zhrnutie pripravené s pomocou AI z prepisu videa.