Pokročilý seminář z optimalizačních method

Tento předmět je praktickým cvičením k předmětu Optimalizační metody. V tomto předmětu se studenti naučí řešit praktické úlohy pomocí optimalizačních nástrojů, zejména lineární a celočíselné programování.

Základní informace

  • Název: Pokročilý seminář z optimalizačních method
  • Vyučující: Jiří Fink
  • Kód: NOPT058
  • Rozsah, examinace: 0/1 Z
  • Výuka bude probíhat v letním semestru 2016/17.
  • Předmět je určený pro druhý nebo třetí ročník bakalářského studia informatiky.
  • Zajišťuje: Katedra teoretické informatiky a matematické logiky (32-KTIML)

Anotace

Studenti vymyslí a implementují efektivní algoritmy řešící zadané optimalizační problémy s využitím stávajících teoretických (například Lineární Programování) i softwarových (například glpk a cplex) nástojů.

Cíle předmětu

V tomto předmětu si studenti prakticky vyzkouší různé softwarové nástoje na řešení optimalizačních problemů (například MathProg, glpk, cplex) a naučí se je efektivně využívat k implementaci rychlých algoritmů.

Zápočet

Zápočet bude udělen za programy řešící zadané optimalizační úlohy a popisy implementovaných algoritmů s důkazy jejich správnosti. Hodnocena bude především rychlost programů na testovacích vstupech.

Plánovaný obsah

  • Představení existujících jazyků popisujících optimalizační problémy (například MathProg) a programů k jejich řešení.
  • Postupy vedoucí rychlejšímu nalezení optimálních řešení.
  • Vývojové a profilovací nástroje.
  • Praktické vyzkoušení na zadaných úlohách.
Doporučenou korekvizitou k tomuto předmětu jsou Optimalizační metody.

Literatura

  • W.J.Cook, W.H. Cunningham, W.R.Pulleyblank, A. Schrijver, Combinatorial Optimization, John Wiley, 1997
  • J. Matoušek, B. Gärtner, Understanding and using linear programming, Springer, 2006.
  • GNU Linear Programming Kit, Reference Manual, 2014
  • IBM ILOG CPLEX V12.1 User's Manual for CPLEX, 2009

Advanced seminar on Optimization methods

Basic information

  • Name: Advanced seminar on Optimization methods
  • Teacher: Jiří Fink
  • Code: NOPT058
  • Hours per week, examination: 0/1 Z
  • The course will in summer semester 2016/17
  • The course is specialized for the second and the third year students of the bachelor computer science program
  • Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (205. • 32-KTIML)

Annotation

Students develop and implement efficient algorithms solving given optimization problems using existing theoretical (e.g. Linear Programming) and software (e.g. glpk a cplex) tools.

Aim of the course

In this course, students practice using various software tools for solving optimization problems (e.g. MathProg, glpk, cplex) and learn to efficiently use them to implement fast algorithms.

Passing conditions

Students have to write problems solving given optimization problems and descriptions of implemented algorithms with proves of their correctness. The main criteria is the running time of programs on testing data.

Syllabus

  • The current languages used for describing optimization problems (e.g. MathProg) and programs for their solving.
  • Fast methods for finding optimal solutions.
  • Developing and profiling tools.
  • Practical implementations on given problems.
The course Optimization methods is a recommended co-requisite.

Literatura

  • W.J.Cook, W.H. Cunningham, W.R.Pulleyblank, A. Schrijver, Combinatorial Optimization, John Wiley, 1997
  • J. Matoušek, B. Gärtner, Understanding and using linear programming, Springer, 2006.
  • GNU Linear Programming Kit, Reference Manual, 2014
  • IBM ILOG CPLEX V12.1 User's Manual for CPLEX, 2009