| dc.contributor.advisor | Balko, Martin | |
| dc.creator | Poljak, Marian | |
| dc.date.accessioned | 2020-07-28T09:56:37Z | |
| dc.date.available | 2020-07-28T09:56:37Z | |
| dc.date.issued | 2020 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.11956/119412 | |
| dc.description.abstract | We study ordered Ramsey numbers, which are an analogue of the classical Ramsey numbers for ordered graphs. We improve some already obtained results for a special class of ordered matchings and disprove a conjecture of Rohatgi. We expand the classical notion of Ramsey goodness to the ordered case and we attempt to characterize all Ram- sey good connected ordered graphs. We outline how Ramsey numbers can be obtained computationally and describe our SAT solver based utility developed to achieve this goal, which might be of use to other researchers studying this topic. 1 | en_US |
| dc.description.abstract | Zabýváme se uspořádanými Ramseyovými čísly, která představují analogii klasick- ých Ramseyových čísel pro uspořádané grafy. Zlepšíme některé již dosažené výsledky pro speciální třídu uspořádaných párování a vyvrátíme platnost Rohatgiho domněnky. Rozšíříme klasický pojem Ramsey dobrosti pro uspořádaný případ a pokusíme se charak- terizovat všechny Ramsey dobré souvislé uspořádané grafy. Nastíníme, jak lze Ramseyova čísla odhadnout výpočetně a popíšeme naši utilitu založenou na SAT řešičích, která byla pro tento účel vyvinuta a kterou mohou využít další výzkumníci zabývající se tímto té- matem. 1 | cs_CZ |
| dc.language | English | cs_CZ |
| dc.language.iso | en_US | |
| dc.publisher | Univerzita Karlova, Matematicko-fyzikální fakulta | cs_CZ |
| dc.subject | ordered graph | en_US |
| dc.subject | ordered Ramsey numbers | en_US |
| dc.subject | Ramsey theory | en_US |
| dc.subject | uspořádaný graf | cs_CZ |
| dc.subject | uspořádaná Ramseyova čísla | cs_CZ |
| dc.subject | Ramseyova teorie | cs_CZ |
| dc.title | Computing and estimating ordered Ramsey numbers | en_US |
| dc.type | bakalářská práce | cs_CZ |
| dcterms.created | 2020 | |
| dcterms.dateAccepted | 2020-07-07 | |
| dc.description.department | Department of Applied Mathematics | en_US |
| dc.description.department | Katedra aplikované matematiky | cs_CZ |
| dc.description.faculty | Matematicko-fyzikální fakulta | cs_CZ |
| dc.description.faculty | Faculty of Mathematics and Physics | en_US |
| dc.identifier.repId | 219921 | |
| dc.title.translated | Výpočty a odhady uspořádaných Ramseyových čísel | cs_CZ |
| dc.contributor.referee | Hubička, Jan | |
| thesis.degree.name | Bc. | |
| thesis.degree.level | bakalářské | cs_CZ |
| thesis.degree.discipline | Obecná informatika | cs_CZ |
| thesis.degree.discipline | General Computer Science | en_US |
| thesis.degree.program | Computer Science | en_US |
| thesis.degree.program | Informatika | cs_CZ |
| uk.thesis.type | bakalářská práce | cs_CZ |
| uk.taxonomy.organization-cs | Matematicko-fyzikální fakulta::Katedra aplikované matematiky | cs_CZ |
| uk.taxonomy.organization-en | Faculty of Mathematics and Physics::Department of Applied Mathematics | en_US |
| uk.faculty-name.cs | Matematicko-fyzikální fakulta | cs_CZ |
| uk.faculty-name.en | Faculty of Mathematics and Physics | en_US |
| uk.faculty-abbr.cs | MFF | cs_CZ |
| uk.degree-discipline.cs | Obecná informatika | cs_CZ |
| uk.degree-discipline.en | General Computer Science | en_US |
| uk.degree-program.cs | Informatika | cs_CZ |
| uk.degree-program.en | Computer Science | en_US |
| thesis.grade.cs | Výborně | cs_CZ |
| thesis.grade.en | Excellent | en_US |
| uk.abstract.cs | Zabýváme se uspořádanými Ramseyovými čísly, která představují analogii klasick- ých Ramseyových čísel pro uspořádané grafy. Zlepšíme některé již dosažené výsledky pro speciální třídu uspořádaných párování a vyvrátíme platnost Rohatgiho domněnky. Rozšíříme klasický pojem Ramsey dobrosti pro uspořádaný případ a pokusíme se charak- terizovat všechny Ramsey dobré souvislé uspořádané grafy. Nastíníme, jak lze Ramseyova čísla odhadnout výpočetně a popíšeme naši utilitu založenou na SAT řešičích, která byla pro tento účel vyvinuta a kterou mohou využít další výzkumníci zabývající se tímto té- matem. 1 | cs_CZ |
| uk.abstract.en | We study ordered Ramsey numbers, which are an analogue of the classical Ramsey numbers for ordered graphs. We improve some already obtained results for a special class of ordered matchings and disprove a conjecture of Rohatgi. We expand the classical notion of Ramsey goodness to the ordered case and we attempt to characterize all Ram- sey good connected ordered graphs. We outline how Ramsey numbers can be obtained computationally and describe our SAT solver based utility developed to achieve this goal, which might be of use to other researchers studying this topic. 1 | en_US |
| uk.file-availability | V | |
| uk.grantor | Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra aplikované matematiky | cs_CZ |
| thesis.grade.code | 1 | |
| uk.publication-place | Praha | cs_CZ |
