|
|
Modelování kooperativního hledání cest
Ježek, Milan ; Surynek, Pavel (vedoucí práce) ; Majerech, Vladan (oponent)
V této práci jsou popsány nové modely pro řešení kooperativního hledání cest (cpf) s požadavkem na minimální makespan a je provedeno jejich experimentální porovnání se stávajícími modely. Nové modely uvedené v práci zkoumají možnosti kódování problému cpf pomocí celočíselného lineárního programování s binárními proměnnými (bip) a jako problém splnitelnosti omezujících podmínek (csp). Při testech se ukázaly hlavně poměrně dobré výsledky nového modelu IP active-edges při vyšším množství agentů, kdy jen mírně zaostával za nejlepším SAT modelem. Nový model pro csp dosáhl nejrychlejších časů v testech s nízkým množstvím překážek a interakcí mezi agenty, zatímco v opačném případě se jeho výkon dramaticky snižoval. Powered by TCPDF (www.tcpdf.org)
|
|
|
Modelování kooperativního hledání cest
Ježek, Milan ; Surynek, Pavel (vedoucí práce) ; Majerech, Vladan (oponent)
V této práci jsou popsány nové modely pro řešení kooperativního hledání cest (cpf) s požadavkem na minimální makespan a je provedeno jejich experimentální porovnání se stávajícími modely. Nové modely uvedené v práci zkoumají možnosti kódování problému cpf pomocí celočíselného lineárního programování s binárními proměnnými (bip) a jako problém splnitelnosti omezujících podmínek (csp). Při testech se ukázaly hlavně poměrně dobré výsledky nového modelu IP active-edges při vyšším množství agentů, kdy jen mírně zaostával za nejlepším SAT modelem. Nový model pro csp dosáhl nejrychlejších časů v testech s nízkým množstvím překážek a interakcí mezi agenty, zatímco v opačném případě se jeho výkon dramaticky snižoval. Powered by TCPDF (www.tcpdf.org)
|
|
|
Kooperativní hledání cest s protivníkem
Ivanová, Marika ; Surynek, Pavel (vedoucí práce) ; Mrázová, Iveta (oponent)
Předložená práce definuje a zkoumá problém kooperativního hledání cest s protivníkem (adversarial cooperative path finding - ACPF), který představuje zobecnění známé úlohy kooperativního hledání cest. Oproti standardní kooperativní verzi, v níž je úkolem najít nekolidující cesty pro několik agentů spojující jejich počáteční a cílové pozice, ACPF uvažuje navíc agenty ovládané protivníkem. Práce se zaměřuje jak na teoretické vlastnosti, tak na praktické techniky řešení uvažovaného problému. Úlohu ACPF zavádíme formálně pomocí pojmů z teorie grafů a zkoumáme její výpočetní složitost, kde ukazujeme, že úloha je PSPACE-těžká a patří do třídy EXPTIME. Představujeme a diskutujeme možné metody vhodné pro praktické řešení ACPF. Uvažované řešící postupy zahrnují hladové algoritmy, minimaxové metody, Monte Carlo Tree Search a adaptaci algoritmu pro kooperativní verzi. Z provedeného experimentálního vyhodnocení vyplývá mimo jiné překvapivě častá úspěšnost hladových metod a spíše slabší výsledky u Monte Carlo Tree Search. Powered by TCPDF (www.tcpdf.org)
|
|
|
Vylepšení algoritmu BIBOX
Chromý, Miloš ; Surynek, Pavel (vedoucí práce) ; Koubková, Alena (oponent)
Algoritmus BIBOX je z rodiny algoritmů kooperativního hledání cest. Tento algoritmus je rychlý a suboptimální. I přes svou rychlost obsahuje několik nedeterministických rozhodnutí. Jeden z nedeterminismů je rozebrán v této práci a je jím předzpracování grafu na ucha. Cílem je pomocí analýzy algoritmu získat různá rozložení grafu, která budou mít různé vlivy na běh a výsledek algoritmu, experimentálně vyhodnotit výkon algoritmu na zvolených rozloženích a nalézt rozložení grafu na ucha, na kterém bude algoritmus nejvýkonnější. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.