|
|
Efficient Representations and Conversions of Planning Problems
Toropila, Daniel
Název práce Efektivní reprezentace a konverze plánovacích problémů Autor Daniel Toropila Katedra Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce prof. RNDr. Roman Barták, Ph.D. Abstrakt Efektivita všech typů plánovacích systému je silně závislá na formulaci vstupu, strukturu kterého musí plánovače využít, chtějí-li dosáhnout zvýšení své výpočet- ní efektivity. Z tohoto důvodu se reprezentace založená na stavových proměnných (SAS+ ) stala oblíbenou formou kódování vstupu mnoha moderních plánovačů. Jelikož ale většina plánovacích problémů je vyvíjena pomocí klasické reprezen- tace, vzniklo v nedávné minulosti několik technik jejího převodu do reprezen- tace SAS+ . Tyto techniky ale bohužel ignorují informace specifiké pro jedno- tlivé instance plánovacích problémů. Proto představujeme nový algoritmus pro konstrukci SAS+ , který naplno využívá informace o cíli i o iniciálním stavu, a pomocí obsáhlých vypočetních experimentů ukazujeme, že pro mnohé plánovací problémy nový algoritmus pomáhá zvýšit efektivitu jejich řešení. V poslední části práce poté prezentujeme přehled několika modelů splňování podmínek pro plánování, založených na kodóvání SAS+ , a také na...
|
|
|
Properties of delta-matroids
Šíma, Lucien ; Kazda, Alexandr (vedoucí práce) ; Rolínek, Michal (oponent)
We investigate delta-matroids which are formed by families of subsets of a finite ground set such that the exchange axiom is satisfied. We deal with some natural classes of delta-matroids. The main result of this thesis establishes sev- eral relations between even, linear, and matching-realizable delta-matroids. Fol- lowing up on the ideas due to Geelena, Iwatab, and Murota [2003], and apply- ing the properties of field extensions from algebra, we prove that the class of strictly matching-realizable delta-matroids, the subclass of matching-realizable delta-matroids, is included in the class of linear delta-matroids. We also show that not every linear delta-matroid is matching-realizable by giving a skew-symmetric matrix representation to the non matching-realizable delta-matroid constructed by Kazda, Kolmogorov, and Rol'ınek [2019].
|
|
|
Efficient Representations and Conversions of Planning Problems
Toropila, Daniel ; Barták, Roman (vedoucí práce) ; McCluskey, Thomas Leo (oponent) ; Pěchouček, Michal (oponent)
Název práce Efektivní reprezentace a konverze plánovacích problémů Autor Daniel Toropila Katedra Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce prof. RNDr. Roman Barták, Ph.D. Abstrakt Efektivita všech typů plánovacích systému je silně závislá na formulaci vstupu, strukturu kterého musí plánovače využít, chtějí-li dosáhnout zvýšení své výpočet- ní efektivity. Z tohoto důvodu se reprezentace založená na stavových proměnných (SAS+ ) stala oblíbenou formou kódování vstupu mnoha moderních plánovačů. Jelikož ale většina plánovacích problémů je vyvíjena pomocí klasické reprezen- tace, vzniklo v nedávné minulosti několik technik jejího převodu do reprezen- tace SAS+ . Tyto techniky ale bohužel ignorují informace specifiké pro jedno- tlivé instance plánovacích problémů. Proto představujeme nový algoritmus pro konstrukci SAS+ , který naplno využívá informace o cíli i o iniciálním stavu, a pomocí obsáhlých vypočetních experimentů ukazujeme, že pro mnohé plánovací problémy nový algoritmus pomáhá zvýšit efektivitu jejich řešení. V poslední části práce poté prezentujeme přehled několika modelů splňování podmínek pro plánování, založených na kodóvání SAS+ , a také na...
|
|
|
Efficient Representations and Conversions of Planning Problems
Toropila, Daniel
Název práce Efektivní reprezentace a konverze plánovacích problémů Autor Daniel Toropila Katedra Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce prof. RNDr. Roman Barták, Ph.D. Abstrakt Efektivita všech typů plánovacích systému je silně závislá na formulaci vstupu, strukturu kterého musí plánovače využít, chtějí-li dosáhnout zvýšení své výpočet- ní efektivity. Z tohoto důvodu se reprezentace založená na stavových proměnných (SAS+ ) stala oblíbenou formou kódování vstupu mnoha moderních plánovačů. Jelikož ale většina plánovacích problémů je vyvíjena pomocí klasické reprezen- tace, vzniklo v nedávné minulosti několik technik jejího převodu do reprezen- tace SAS+ . Tyto techniky ale bohužel ignorují informace specifiké pro jedno- tlivé instance plánovacích problémů. Proto představujeme nový algoritmus pro konstrukci SAS+ , který naplno využívá informace o cíli i o iniciálním stavu, a pomocí obsáhlých vypočetních experimentů ukazujeme, že pro mnohé plánovací problémy nový algoritmus pomáhá zvýšit efektivitu jejich řešení. V poslední části práce poté prezentujeme přehled několika modelů splňování podmínek pro plánování, založených na kodóvání SAS+ , a také na...
|
host ::
RSS.