Hledat
Zobrazují se záznamy 11-20 z 28
Modulární nástroj pro parametrickou analýzu dynamických systémů pomocí komplexních sítí
Modular tool for parametric analysis of dynamical systems using complex networks
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2021
Datum obhajoby: 10. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Modelování dynamických systémů s komplexní vnitřní strukturou je složitá úloha, k jejímuž řešení se stále častěji používají komplexní sítě zachycující interakce mezi jed- notlivými částmi systému. Důležitým prvkem tohoto ...
Modelling of dynamical systems with complex internal structure is a complicated task which has more and more frequently been solved using complex networks capturing the structure of interactions among individual elements ...
Modelling of dynamical systems with complex internal structure is a complicated task which has more and more frequently been solved using complex networks capturing the structure of interactions among individual elements ...
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 ...
Optimalizace rozvozových tras
Optimization of ditribution of products
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2013
Datum obhajoby: 20. 06. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá řešením úlohy typu Vehicle Routing Problem, ve které vozidla mají omezenou kapacitu. Věnujeme se především variantě s hetero- genním vozovým parkem, kde má každé vozidlo fixní a variabilní náklady za své ...
The thesis deals with the Vehicle Routing problem with vehicles having limited capacity. We mainly focus on the variant with heterogeneous fleet of vehicles each having its variable and fixed costs. Algorithm designed to ...
The thesis deals with the Vehicle Routing problem with vehicles having limited capacity. We mainly focus on the variant with heterogeneous fleet of vehicles each having its variable and fixed costs. Algorithm designed to ...
Moderní aplikace zero-knowledge protokolů
Modern applications of zero-knowledge protocols
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hubáček, Pavel
Datum publikování: 2019
Datum obhajoby: 19. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: zk-SNARK je kryptografický protokol, který umožňuje libovolný výpočet přeměnit na krátký efektivně ověřitelný argument jeho správnosti. Navíc tento protokol umožnuje dokazovateli přesně rozhodnout, která část vstupů výpočtu ...
zk-SNARK is a cryptographic protocol, which enables transformation of an arbitrary computation into short effectively verifiable argument of correctness of this computation. Further more, it enables a prover to decide ...
zk-SNARK is a cryptographic protocol, which enables transformation of an arbitrary computation into short effectively verifiable argument of correctness of this computation. Further more, it enables a prover to decide ...
Zobrazování mnohostěnů v různých dimenzích
Drawing polytopes in various dimensions
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2016
Datum obhajoby: 16. 06. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá implementací aplikace pro vykreslování tří- a vícerozměrných mnohostěnů s možností plynulé rotace. Aplikace Geometric Figures pro Linux a Windows je napsána v jazyce C s použitím OpenGL a podporuje zásuvné ...
The thesis describes implementation of an application for drawing three- and multidimensional polytopes allowing their fluent rotation. The application Geometric Figures for Linux and Windows is written in the C language ...
The thesis describes implementation of an application for drawing three- and multidimensional polytopes allowing their fluent rotation. The application Geometric Figures for Linux and Windows is written in the C language ...
Poziční hry s efektivní vítěznou strategií
Positional games with efficient winning strategy
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: We study games where two players are coloring edges of infinite complete graph. Both players are trying to create given target subgraph colored by their colors. Firstly, we will look at situation when the target subgraph ...
V práci zkoumáme hry, ve kterých dva hráči obarvují hrany nekonečného úplného grafu a snaží se vytvořit určitý, cílový, podgraf obarvený svou barvou. Nejprve se budeme uvažovat situaci, kdy cílový podgraf je úplným grafem ...
V práci zkoumáme hry, ve kterých dva hráči obarvují hrany nekonečného úplného grafu a snaží se vytvořit určitý, cílový, podgraf obarvený svou barvou. Nejprve se budeme uvažovat situaci, kdy cílový podgraf je úplným grafem ...
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 ...
Implementace hry Duke
Duke board game implementation
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2021
Datum obhajoby: 10. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Kružnice a párování v grafech
Circuits and matchings in graphs
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pangrác, Ondřej
Datum publikování: 2013
Datum obhajoby: 02. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: O grafu řekneme, že je k-linkovaný, pokud pro každých k dvojic jeho vrchol· existují navzájem disjunktní cesty, které dané dvojice spojují. Existuje vztah mezi k-linkovaností a vrcholovou souvislostí grafu. V této práci ...
Využití gadgetové konstrukce pro strukturální konvergenci
Using gadget construction in structural convergence
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2023
Datum obhajoby: 11. 09. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Structural convergence is a framework for convergence of graphs and relational struc- tures based on the probability of satisfaction of first-order formulas. We consider gadget construction, which is a ubiquitous tool in ...
Strukturální konvergence je framework konvergence grafů a relačních struktur zalo- žený na počítání pravděpodobnosti splnění formulí predikátové logiky. V práci navrhu- jeme gadgetovou konstrukci, která nalezla uplatnění ...
Strukturální konvergence je framework konvergence grafů a relačních struktur zalo- žený na počítání pravděpodobnosti splnění formulí predikátové logiky. V práci navrhu- jeme gadgetovou konstrukci, která nalezla uplatnění ...