Počítačový software pomáhá řešit plánovací a rozvrhovací problémy v řadě oblastí od vesmírného programu (Mars Rovers), přes výpočtově náročné počítačové aplikace (Grid computing), až po klasické výrobní problémy (job-shop a supply chain). Takové systémy typicky pracují ve vysoce dynamickém prostředí, které se vyznačuje změnami zadání řešeného problému vedoucími k zneplatnění nalezeného řešení, a tedy k nutnosti rychle nalézt řešení nového problému. Bohužel existující rozvrhovací technologie neposkytuje takovému dynamickému chování dostatečnou podporu.
Projekt se bude zabývat výše zmíněnými dynamickými aspekty řešení rozvrhovacích problémů. Cílem je navrhnout nové řešící techniky v kontextu splňování omezujících podmínek, které budou pokrývat dynamičnost reálných problémů. Konkrétně se budeme soustředit na inkrementální a otevřené propagační a filtrační techniky typicky integrující klasické metody diskrétní matematiky. Zamýšlíme také studovat možná rozšíření prohledávacích algoritmů pro řešení dynamických problémů, například použitím restartu, nebo metod lokálního prohledávání. V neposlední řadě plánujeme navržené techniky integrovat do podoby aplikovatelné na řešení reálných problémů. Experimentální ověření bude založeno především na reálných datech pocházejících z dalších projektů.

Výsledky

Cílem projektu je navrhnout nové techniky řešení dynamických problémů v kontextu splňování omezujících podmínek. Účelem je poskytnout dosud chybějící podporu dynamicity při řešení reálných rozvrhovacích a plánovacích problémů, a to formou nových propagačních a prohledávacích algoritmů.

Publikace