Hledat
Zobrazují se záznamy 81-90 z 124
Hereditary classes of binary matrices
Dědičné třídy binárních matic
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jelínek, Vít
Datum publikování: 2017
Datum obhajoby: 07. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Intervalové minory binárních matic byly zavedeny Jacobem Foxem při vý- zkumu Stanleyho-Wilfových limit. Prozkoumáme, co se dá odvodit z jejich vztahu s teorií neobsahování podmaticových vzorů, což je velmi populární oblast ...
Interval minors of binary matrices were introduced by Jacob Fox in the study of Stanley-Wilf limits. We study what can be implied from their relation to the theory of pattern avoidance of submatrices, which is a very popular ...
Interval minors of binary matrices were introduced by Jacob Fox in the study of Stanley-Wilf limits. We study what can be implied from their relation to the theory of pattern avoidance of submatrices, which is a very popular ...
Distinguishing pairs of words using finite automata
Rozlišování dvojic slov pomocí konečných automatů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Koucký, Michal
Datum publikování: 2023
Datum obhajoby: 11. 09. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This work considers a fundamental open problem in informatics - distin- guishing two words by a deterministic finite automaton with the smallest pos- sible number of states. We review the existing research, where proven ...
V této práci se zaměřujeme na jeden ze základních otevřených problémů v in- formatice - rozlišování dvou slov pomocí deterministického konečného automatu s co nejmenším počtem stavů. Nejprve představíme existující výzkum, ...
V této práci se zaměřujeme na jeden ze základních otevřených problémů v in- formatice - rozlišování dvou slov pomocí deterministického konečného automatu s co nejmenším počtem stavů. Nejprve představíme existující výzkum, ...
The combinatorics of pattern-avoiding matrices
Kombinatorika matic bez zakázaných vzorů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jelínek, Vít
Datum publikování: 2023
Datum obhajoby: 10. 02. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Permutační matice P částečné vynechává kvazi-permutační matici A (jinými slovy, 01- matici takovou, že každý sloupec a řádek matice A obsahuje nejvýše jednu nenulovou hod- notu), pokud neexistuje podmatice P′ matice P ...
A permutation matrix P partially avoids a quasi-permutation matrix A (i.e., a 01- matrix such that each column and row of A contains at most one nonzero entry) if there is no submatrix P′ of P of the same size as A satisfying ...
A permutation matrix P partially avoids a quasi-permutation matrix A (i.e., a 01- matrix such that each column and row of A contains at most one nonzero entry) if there is no submatrix P′ of P of the same size as A satisfying ...
Graphlets in Complex Networks
Graflety v komplexních sítích
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hartman, David
Datum publikování: 2023
Datum obhajoby: 07. 09. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Analyzing the characteristics of complex networks is a principal task of network sci- ence. In this thesis, we study graphets, small induces subgraphs rooted in a vertex, as a tool to describe and compare networks. First, ...
Analýza charakteristik komplexních sítí je jednou ze základních úloh network sci- ence. V této práci zkoumáme graflety, malé indukované podgrafy zakořeněné v jednom vrcholu, jako nástroj pro popis a porovnávání sítí. Nejprve ...
Analýza charakteristik komplexních sítí je jednou ze základních úloh network sci- ence. V této práci zkoumáme graflety, malé indukované podgrafy zakořeněné v jednom vrcholu, jako nástroj pro popis a porovnávání sítí. Nejprve ...
Performance Comparison of ILP versus Logical Solvers on Bribery-type Problems
Porovnání výkonu ILP řešičů a logických řešičů na problému úplatků
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Koutecký, Martin
Datum publikování: 2023
Datum obhajoby: 29. 06. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Integer Linear Programming (ILP) has proven to be a powerful tool for solving hard problems, particularly in computational social choice, where it has been used to address variants of the bribery problem. This problem ...
Celočíselné lineární programování (ILP) se ukázalo být mocným nástro- jem pro řešení obtížných problémů, zejména v oblasti výpočetní sociální volby, kde byl použit k řešení variant problému úplatků. V tomto prob- lému jde ...
Celočíselné lineární programování (ILP) se ukázalo být mocným nástro- jem pro řešení obtížných problémů, zejména v oblasti výpočetní sociální volby, kde byl použit k řešení variant problému úplatků. V tomto prob- lému jde ...
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í ...
Security of cryptographic schemes for contact tracing
Bezpečnost kryptografických schémat pro trasování kontaktů
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hubáček, Pavel
Datum publikování: 2021
Datum obhajoby: 28. 06. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Kvůli pandemii nemoci Covid-19 v roce 2020 došlo k velkému rozvoji trasovacích schémat a aplikací. V této práci nejprve popisujeme schéma DP3T a některé útoky na toto schéma, zejména replay a relay útoky. Ve snaze zabránit ...
Due to the Covid-19 pandemic in 2020 there was a big development of contact tracing schemes and applications. In this thesis, we describe the DP3T scheme and some possible attacks against it mainly the replay and relay ...
Due to the Covid-19 pandemic in 2020 there was a big development of contact tracing schemes and applications. In this thesis, we describe the DP3T scheme and some possible attacks against it mainly the replay and relay ...
Kolmogorovovská složitost a Shannonova informace
Kolmogorov complexity and Shannon information
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Koucký, Michal
Datum publikování: 2020
Datum obhajoby: 29. 06. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: There arose two successful formalisations of the quantitative aspect of information over the course of the twentieth century: Shannon information and Kolmogorov complexity. Both afore mentioned definitions are rooted in ...
V průběhu dvacátého století vznikly dvě úspěšné formalizace kvantitativního aspektu informace spojeným s komunikací zprávy: Shannonova informace a Kolmogorovovská slo- žitost. Obě zmíněné definice vyplývají ze dvou separátních ...
V průběhu dvacátého století vznikly dvě úspěšné formalizace kvantitativního aspektu informace spojeným s komunikací zprávy: Shannonova informace a Kolmogorovovská slo- žitost. Obě zmíněné definice vyplývají ze dvou separátních ...
Generalized Moran process
Zobecněný Moranův proces
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2019
Datum obhajoby: 10. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The Moran process is a model for simulating evolutionary dynamics. In that model, one mutant with higher fitness is introduced to a structured population. Evolution is simulated in rounds. In one round, individual is ...
Moránův proces je model používaný k simulaci evolučních dynamik. Ve struk- turované populaci se objeví lépe přizpůsobený jedinec, mutant. Evoluce je simu- lována v krocích. V jednom kroku, jedinec je vybrán proporcionálně ...
Moránův proces je model používaný k simulaci evolučních dynamik. Ve struk- turované populaci se objeví lépe přizpůsobený jedinec, mutant. Evoluce je simu- lována v krocích. V jednom kroku, jedinec je vybrán proporcionálně ...
Online Ramsey Theory
Online Ramseyova teorie
Diplomová práce (OBHÁJENO)
Vedoucí práce: Valla, Tomáš
Datum publikování: 2015
Datum obhajoby: 03. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Online Ramseyho hra je hra dvou hráčů, označovanými jako Builder a Painter. V každém kole Builder postaví hranu grafu a Painter ji nabarví červeně nebo modře. Builder vyhraje, pokud se po nějakém kole objeví v nabarveném ...
An online Ramsey game is a game between Builder and Painter, alternating in turns. In each round Builder draws an edge and Painter colors it either red or blue. Builder wins if after some round there is a monochromatic ...
An online Ramsey game is a game between Builder and Painter, alternating in turns. In each round Builder draws an edge and Painter colors it either red or blue. Builder wins if after some round there is a monochromatic ...