Hledat
Zobrazují se záznamy 1-10 z 12
Vyhledávání tras v mapách
Searching trails in maps
Vyhledávání tras v mapách
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2017
Datum obhajoby: 20. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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í
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2021
Datum obhajoby: 15. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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í
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Dvořák, Zdeněk
Datum publikování: 2014
Datum obhajoby: 04. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2015
Datum obhajoby: 15. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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í
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2018
Datum obhajoby: 22. 06. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hubáček, Pavel
Datum publikování: 2022
Datum obhajoby: 14. 09. 2022
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hubička, Jan
Datum publikování: 2017
Datum obhajoby: 30. 01. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2013
Datum obhajoby: 02. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2016
Datum obhajoby: 11. 02. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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. ...