Hlavní stránka > Výsledky hledání: Elichová, Sára
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
Barvení grafu a formální gramatiky
 Elichová, Sára ; Holub, Štěpán (vedoucí práce) ; Barto, Libor (oponent)
Tato práce se zabývá dvěma ekvivalentními reformulacemi problému čtyř barev. První z nich ukazuje spojitost barvení grafů s vektorovým součinem, druhá na ni navazuje a rozvíjí souvislost s formální gramatikou. Tyto reformulace a důkazy jejich ekvivalence s větou o čtyřech barvách jsou výsledky dvou prací, jejichž motivací je snaha o jednodušší důkaz slavného problému, který byl zatím dokázán jen za pomoci počítače. Přinášejí zajímavý úhel pohledu na problém barvení grafů a nabízejí možnost, jak jej uchopit novým způsobem, který by se mohl ukázat přístupnějším. Tato práce představí důkazy uvedené ve výchozí literatuře a doplní kroky, které tam nejsou podrobně zpracovány. Některé myšlenky se pokusí více formalizovat a přispět tak k lepší srozumitelnosti důkazů. 1
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English