Search
Now showing items 381-390 of 411
Treewidth, Extended Formulations of CSP and MSO Polytopes, and their Algorithmic Applications
Stromová šířka, rozšířené formulace CSP a MSO polytopů a jejich algoritmické aplikace
dissertation thesis (DEFENDED)
Advisor: Kolman, Petr
Date Issued: 2017
Date of defense: 12. 09. 2017
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce podává důkaz existence kompaktních rozšířených formulací pro širokou škálu polytopů souvisejících s problémem omezujících podmínek (CSP), grafovou monadickou logikou druhého řádu (MSO) a rozšířeními MSO, mají-li ...
In the present thesis we provide compact extended formulations for a wide range of polytopes associated with the constraint satisfaction problem (CSP), monadic second order logic (MSO) on graphs, and extensions of MSO, ...
In the present thesis we provide compact extended formulations for a wide range of polytopes associated with the constraint satisfaction problem (CSP), monadic second order logic (MSO) on graphs, and extensions of MSO, ...
Succinct encodings of trees
Stručná kódování stromů
diploma thesis (DEFENDED)
Advisor: Mareš, Martin
Date Issued: 2016
Date of defense: 12. 09. 2016
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Zaměřujeme se na prostorově efektivní, a to konkrétně stručné, reprezentace statických uspořádaných neohodnocených stromů. Tyto struktury mají prostorovou složitost, která je optimální až na členy nižších řádů, a které ...
We focus on space-efficient, namely succinct, representations of static ordinal unlabeled trees. These structures have space complexity which is optimal up to a lower-order term, yet they support a reasonable set of ...
We focus on space-efficient, namely succinct, representations of static ordinal unlabeled trees. These structures have space complexity which is optimal up to a lower-order term, yet they support a reasonable set of ...
Fotbal
Soccer
bachelor thesis (DEFENDED)
Advisor: Lidický, Bernard
Date Issued: 2008
Date of defense: 23. 06. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Cílem práce bylo navrhnout a implementovat simulátor fotbalového utkání a porovnat výslednout implementaci s ostatními programy se stejnou funkcí. Byl navržen model, podle kterého hráči a brankáři hrají fotbalové utkání. ...
The purpose of this thesis was to design and implement an association football (soccer) match simulator and to compare the resulting implementation with other programs of similar function. A model after which both out eld ...
The purpose of this thesis was to design and implement an association football (soccer) match simulator and to compare the resulting implementation with other programs of similar function. A model after which both out eld ...
Problém přiřazování frekvencí - odhady pro speciální typy problémů
Problém přiřazování frekvencí - odhady pro speciální typy problémů
bachelor thesis (DEFENDED)
Advisor: Kráľ, Daniel
Date Issued: 2007
Date of defense: 26. 06. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Určil jsem nové dolní a horní odhady pro barvení reálnými čísly. S jejich využitím jsem doplnil optimální rozpět L(p,q)-barvení nekonečné rovinné trojúhelník,ové mřížky (a tím vyřešil otevřený problém Griggse). Powered by ...
We establish new lower and upper bounds for the real number graph labelling problem. As an application, we completely determine the optimum spans of L(p; q)-labellings of the in nite triangular plane lattice (solving an ...
We establish new lower and upper bounds for the real number graph labelling problem. As an application, we completely determine the optimum spans of L(p; q)-labellings of the in nite triangular plane lattice (solving an ...
Generování rozmístění nábytku
Room Arrangement Generation
bachelor thesis (DEFENDED)
Advisor: Jelínková, Eva
Date Issued: 2008
Date of defense: 08. 09. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Cílem práce je vytvořit program, který na základě stanovených omezujících podmínek generuje různé návrhy rozestavení nábytku v místnosti. Tento program se jmenuje Spaceout a jeho základem jsou genetické algoritmy. Práce ...
The aim of this thesis is to create a program which generates layouts of furniture in a room on the basis of specific constraints. This program is called Spaceout and it is based on genetic algorithms. The thesis also gives ...
The aim of this thesis is to create a program which generates layouts of furniture in a room on the basis of specific constraints. This program is called Spaceout and it is based on genetic algorithms. The thesis also gives ...
Approximation and Online Algorithms
Aproximační a online algoritmy
dissertation thesis (DEFENDED)
Advisor: Sgall, Jiří
Date Issued: 2008
Date of defense: 30. 09. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This thesis presents results of our research in the area of optimization problems with incomplete information-our research is focused on the online scheduling problems. Our research is based on the worst-case analysis of ...
Pattern matching in compilers
Pattern matching in compilers
diploma thesis (DEFENDED)
Advisor: Hubička, Jan
Date Issued: 2012
Date of defense: 18. 09. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Název práce: Pattern matching in compilers Autor: Ondřej Bílka Katedra: Katedra Aplikované Matematiky Vedoucí diplomové práce: Jan Hubička, Katedra Aplikované Matematiky Abstrakt: V této práci vyvineme nástroje na efektivní ...
Title: Pattern matching in compilers Author: Ondřej Bílka Department: Department of Applied Mathematics Supervisor: Jan Hubička, Department of Applied Mathematics Abstract: In this thesis we develop tools for effective and ...
Title: Pattern matching in compilers Author: Ondřej Bílka Department: Department of Applied Mathematics Supervisor: Jan Hubička, Department of Applied Mathematics Abstract: In this thesis we develop tools for effective and ...
Vyhodnocení polynomu s intervalovými koeficienty
Evaluation of interval polynomials
Vyhodnocení polynomu s intervalovými koeficienty
bachelor thesis (DEFENDED)
Advisor: Hladík, Milan
Date Issued: 2017
Date of defense: 06. 09. 2017
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: In this thesis, we deal with the finding of an enclosure of the range of the real and interval polynomials in one variable. There are presented functional forms of the real polynomials which we implemented in the Matlab ...
V práci sa zaoberáme nájdením obálky oboru hodnôt reálneho a intervalového polynómu o jednej premennej nad intervalom. Prezentujeme funkčné formy pre re- álne polynómy, ktoré následne implementujeme v prostredí Matlab ...
V práci sa zaoberáme nájdením obálky oboru hodnôt reálneho a intervalového polynómu o jednej premennej nad intervalom. Prezentujeme funkčné formy pre re- álne polynómy, ktoré následne implementujeme v prostredí Matlab ...
Algebraické vlastnosti barevnosti grafů
Algebraické vlastnosti barevnosti grafů
bachelor thesis (DEFENDED)
Advisor: Kráľ, Daniel
Date Issued: 2008
Date of defense: 23. 06. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V práci se zabýváme algebraickými metodami, pomocí kterých lze rozhodnout, zda existuje obarvení daného grafu. Zaměříme se především na Alon-Tarsiho větu, která bude dokázána, předvedeme její známé aplikace a ukážeme nové ...
We study algebraic tools for proving the existence of graph colorings and focus a classical method of Alon-Tarsi from this area. In particular, we prove Alon-Tarsi Theorem, provide examples of some known applications and ...
We study algebraic tools for proving the existence of graph colorings and focus a classical method of Alon-Tarsi from this area. In particular, we prove Alon-Tarsi Theorem, provide examples of some known applications and ...
Some point-free aspects of connectedness
Některé bezbodové aspekty souvislosti
diploma thesis (DEFENDED)
Advisor: Pultr, Aleš
Date Issued: 2013
Date of defense: 02. 09. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V této práci ukážeme Stoneovu větu o reprezentaci, která je také známa pod názvem Stoneova dualita, v bezbodovém kontextu. Předvedený důkaz je bezvýběrový, a protože se nemusíme starat o jednotlivé body, je mnohem jednodušší ...
In this thesis we present the Stone representation theorem, generally known as Stone duality in the point-free context. The proof is choice-free and, since we do not have to be concerned with points, it is by far simpler ...
In this thesis we present the Stone representation theorem, generally known as Stone duality in the point-free context. The proof is choice-free and, since we do not have to be concerned with points, it is by far simpler ...