Search
Now showing items 1-10 of 12
Vyhledávání tras v mapách
Searching trails in maps
Vyhledávání tras v mapách
bachelor thesis (DEFENDED)
Advisor: Pangrác, Ondřej
Date Issued: 2017
Date of defense: 20. 06. 2017
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Táto práca popisuje návrh a implementáciu aplikácie, ktorá dokáže vyhľadávať najkratšie cesty v reálnych mapových podkladoch a zároveň berie do úvahy výškové dáta. Vyhľadávanie je rýchle a dá sa prispôsobiť potrebám užívateľa ...
This thesis describes design and implementation of an application capable of finding the shortest paths in real world map data, while taking elevation data into account. Path finding is fast and can be adjusted to user's ...
This thesis describes design and implementation of an application capable of finding the shortest paths in real world map data, while taking elevation data into account. Path finding is fast and can be adjusted to user's ...
Structural properties of random networks with dynamics
Strukturální vlastnosti dynamických náhodných sítí
diploma thesis (DEFENDED)
Advisor: Hartman, David
Date Issued: 2021
Date of defense: 15. 09. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Reálné systémy jsou často reprezentovány pomocí takzvaných komplexních sítí. Tyto sítě mají charakeristickou konektivitní strukturu danou specifikami studovaných systémů. Jelikož často nejsou dostupná dostatečná data či ...
Real systems are often represented by so-called complex networks. These networks have a specific connectivity structure given by the specifics of the studied systems. Since often insufficient or inaccurate data are available, ...
Real systems are often represented by so-called complex networks. These networks have a specific connectivity structure given by the specifics of the studied systems. Since often insufficient or inaccurate data are available, ...
Algoritmy založené na omezené expanzi - implementace a vyhodnocení
Algorithms based on bounded expansion - implementation and evaluation
Algoritmy založené na omezené expanzi - implementace a vyhodnocení
bachelor thesis (DEFENDED)
Advisor: Dvořák, Zdeněk
Date Issued: 2014
Date of defense: 04. 09. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato bakalářská práce navazuje na větu, která říká, že mnoho tříd grafů - konkrétně třídy s omezenou expanzí - má vlastnosti zjednodušující rozhodování grafových problémů definovatelných v logice prvního řádu. Důležitým ...
This thesis builds upon the result that a lot of graph classes - namely classes with bounded expansion - have properties which make deciding graph problems definable in first-order logic easier. One very important example ...
This thesis builds upon the result that a lot of graph classes - namely classes with bounded expansion - have properties which make deciding graph problems definable in first-order logic easier. One very important example ...
Implementace hry Quoridor ve variantě pro tři hráče
The Quoridor Game variant for three players
Implementace hry Quoridor ve variantě pro tři hráče
bachelor thesis (DEFENDED)
Advisor: Pangrác, Ondřej
Date Issued: 2015
Date of defense: 15. 06. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Quoridor je hra dvou hráčů, cílem které je dostat svou figurku z jedné strany hrací plochy na druhou. Hra je stížená možností prodlužovat cestu soupeře kladením překážek. Tahle práce řeší rozšířenou variantu pro tři hráče. ...
Quoridor is a 2-player board game. Its objective is to get the player's pawn to the opposite side of the game board from which it begins. The difficulty of this game is increased by the possibility of prolonging the ...
Quoridor is a 2-player board game. Its objective is to get the player's pawn to the opposite side of the game board from which it begins. The difficulty of this game is increased by the possibility of prolonging the ...
Optimalizácia mravčou kolóniou
Ant colony optimization
Optimalizace mravenčí kolonií
bachelor thesis (DEFENDED)
Advisor: Pangrác, Ondřej
Date Issued: 2018
Date of defense: 22. 06. 2018
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: The aim of this work was to compare metaheuristic Ant Colony with other metaheuristics like Simulated Annealing, Tabu Search or Greedy algo- rithms. Metaheuristics were compared on three different NP-hard problems. ...
V práci sa venujem porovnávaniu metaheuristiky Ant Colony s inými metaheuristikami ako Simulated Annealing, Tabu Search alebo hladné al- goritmy. Metaheuristiky som porovnával na probléme obchodného cestujú- ceho, pri ...
V práci sa venujem porovnávaniu metaheuristiky Ant Colony s inými metaheuristikami ako Simulated Annealing, Tabu Search alebo hladné al- goritmy. Metaheuristiky som porovnával na probléme obchodného cestujú- ceho, pri ...
Multivariate polynomial commitment schemes
Schémata závazků k polynomům více proměnných
diploma thesis (DEFENDED)
Advisor: Hubáček, Pavel
Date Issued: 2022
Date of defense: 14. 09. 2022
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This thesis focuses on polynomial commitment schemes - cryptographic protocols that allow committing to a polynomial and, subsequently, proving the correctness of evaluations of the committed polynomial at requested points. ...
Tato diplomová práce se zabývá schématy polynomiálních závazků, což jsou schémata umožňující vytvářet polynomiální závazky a následně pomocí spuštění navrženého protokolu důvěryhodně vyhodnocovat polynomy v požadovaných ...
Tato diplomová práce se zabývá schématy polynomiálních závazků, což jsou schémata umožňující vytvářet polynomiální závazky a následně pomocí spuštění navrženého protokolu důvěryhodně vyhodnocovat polynomy v požadovaných ...
Škálovatelná optimalizace celých programů
Scalable link-time optimization
diploma thesis (DEFENDED)
Advisor: Hubička, Jan
Date Issued: 2017
Date of defense: 30. 01. 2017
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Oba vedoucí open-source překladače, GCC a LLVM, mají vyspělé optimizéry celých programů, použitelné pro většinu současného softwaru. Stále však trpní mnoha problémy s výkonem, což zapřičiňuje nemožnost použít některé analýzy ...
Both major open-source compilers, GCC and LLVM, have a mature link-time optimization framework usable on most current programs. They are however not free from many performance issues, which prevent them to perform certain ...
Both major open-source compilers, GCC and LLVM, have a mature link-time optimization framework usable on most current programs. They are however not free from many performance issues, which prevent them to perform certain ...
Hamiltonovské kružnice v Kneserových grafech
Hamiltonian cycles in Kneser graphs
bachelor thesis (DEFENDED)
Advisor: Šámal, Robert
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 will discuss existence of hamiltonian cycles in Kneser graphs: graphs K(n,k) with vertex set corresponding to k-element subsets from set of n elements, and vertices will be adjacent if and only if their ...
V této práci se budeme zabývat existencí hamiltonovských kružnic v Kneserových grafech: graf K(n, k) obsahující jako množinu vrcholů všechny k-tice z n prvků. Hranou jsou spojeny pouze disjunktní dvojice. Lovászova hypotéza ...
V této práci se budeme zabývat existencí hamiltonovských kružnic v Kneserových grafech: graf K(n, k) obsahující jako množinu vrcholů všechny k-tice z n prvků. Hranou jsou spojeny pouze disjunktní dvojice. Lovászova hypotéza ...
Duhové aritmetické posloupnosti a extremální množiny v mřížkách
Rainbow arithmetic progressions and extremal subsets of lattices
bachelor thesis (DEFENDED)
Advisor: Šámal, Robert
Date Issued: 2013
Date of defense: 02. 09. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Když jsou čísla $1,\ldots,tn$ obarvena $t$ barvami (každá je užita $n$-krát), existuje mezi nimi duhová aritmetická posloupnost délky $k$. (Duhová aritmetická posloupnost je taková, která nemá žádné dva členy stejné barvy.) ...
When numbers $1,\ldots,tn$ are colored with $t$ colors (each color is used $n$ times), there exists a rainbow arithmetic progression of length $k$ (rainbow progression is a progression whose terms are colored with pairwise ...
When numbers $1,\ldots,tn$ are colored with $t$ colors (each color is used $n$ times), there exists a rainbow arithmetic progression of length $k$ (rainbow progression is a progression whose terms are colored with pairwise ...
Skládání obdélníků
Packing rectangles
diploma thesis (DEFENDED)
Advisor: Šámal, Robert
Date Issued: 2016
Date of defense: 11. 02. 2016
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato diplomová práce se zabývá otevřeným problémem skládání obdélníků. Je možné naskládat obdélníky rozměrů 1/n x 1/(n+1) do jednotkového čtverce? Cílem práce je podrobná analýza tohoto problému a s ním spojeného algoritmu. ...
This thesis studies the open problem of packing rectangles. Is it possible to pack rectangles with dimensions 1/n x 1/(n+1) into a unit square? The aim of this thesis is analysis of the problem and the related algorithm. ...
This thesis studies the open problem of packing rectangles. Is it possible to pack rectangles with dimensions 1/n x 1/(n+1) into a unit square? The aim of this thesis is analysis of the problem and the related algorithm. ...