|
Lelkova hypotéza
Bartošová, Dana ; Simon, Petr (vedoucí práce) ; Balcar, Bohuslav (oponent)
Lelkova hypotéza, která říká, že metrická kontinua se spanem nula jsou chainable, je jedním z nejvíce studovaných problémů v teorii kontinuí. V této práci formulujeme Lelkovu domněnku pro nemetrická kontinua a dokážeme, že pokud existuje nemetrický protipříklad na Lelkovu hypotézu, můžeme jej přeměnit na metrický. Každý spočetný elementární podsvaz L svazu 2X všech uzavřených podmnožin kontinua X lze reprezentovat metrickým kontinuem wL pomocí Wallmanovy reprezentace distributivních svazů. Použitím teorie množin získáme L takové, že X není chainable tehdy a jen tehdy, pokud wL není chainable a X má span nula právě tehdy když wL má span nula. V důkazu druhé části tvrzení používáme Shelahovu větu o izomorfních ultramocninách elementárně ekvivalentních modelů.
|
|
Česká republika a její integrace do Evropských společenství
KOVÁŘ, Petr
Tarifní a netarifní nástroje jsou jedním prostředků zahraničně obchodní politiky. Bakalářská práce se zabývá jejich vývojem od roku 1989. Teoretická část se zaměřuje na vymezení významu tarifních a netarifních opatření ve vývoji České republiky a jejího směřování do vstupu do Evropské unie po roce 2004 a krátce po něm do roku 2008. Praktická část se v první části zabývá vývojem tarifních a netarifních nástrojů z hlediska jejich aplikace vydaných zákonů a v druhé části rozborem vývoje výběru cla v letech 2000 až 2008 dle jednotlivých tříd celního sazebníku zemědělských komodit. V závěru je prověřována hypotéza o snížení výše cla na zemědělské komodity po vstupu do Evropské unie.
|
|
MDS codes conjecture
Kesely, Michal ; Drápal, Aleš (vedoucí práce) ; Lisoněk, Petr (oponent)
V předloženej práci skúmame niektoré vlastnosti MDS kódov a venujeme sa najma domnienke o MDS kódoch. Najprv MDS kódy predstavíme, uvedieme ich príklady a základné vlastnosti, napríklad ich súvislosť s latinskými štvorcami alebo odlžnikmi. Neskor pristúpime k MDS domnienke a jej dokazovaniu v niektorých prípadoch. V tretej katipole uvedieme súvislosť medzi MDS kódmi a n-oblúkmi v propotívnych geometriách. Nakoniec ešte predstavíme preklad známych prípadov, pre ktoré je MDS domnienka dokázaná.
|
|
Algebraický přístup k CSP
Bulín, Jakub ; Barto, Libor (vedoucí práce) ; Růžička, Pavel (oponent)
Nechť A je konečná relační struktura. Problém splňování omezení s šablonou A, CSP (a), rozhoduje, zda vstupní struktura X je homomorfní A. Hypotéza o dichotomii CSP Federa a Vardiho říká, že CSP(A) je vždy buď v P nebo NP-úplný. V první části předsdtavíme algebraický přístup k CSP a shrneme známé výsledky o CSP pro orientované grafy, tzv. H-barvení. Ve druhé části se zabýváme jistou třídou orientovaných stromů, tzv. speciálními polyádami. Pomocí algebraického přístupu potvrdíme dichotomickou hypotézu pro speciální polyády. V polynomiálním případě poskytneme jemnější popis a zkontruujeme speciální polyádu T takovou, že CSP(T) je v P, ale T nemá šířku 1 ani žádné near-unanimity polymorfismy.
|
|
Narušuje trh bydlení pracovní mobilitu a zaměstnanost v České republice?
Konečný, Martin ; Stroukal, Dominik (vedoucí práce) ; Brožová, Dagmar (oponent)
Hlavním cílem práce je zjistit, jestli podíl vlastnického bydlení může mít nepříznivý vliv na zaměstnanost v České republice. Oswaldova hypotéza je testovaná na panelových datech mezi lety 2005--2012, kde jednotkou pozorování je kraj. Odhadnutím modelu podobného Oswaldovu jsem získal podobné výsledky. Vyšší podíl vlastnického bydlení je spojen s vyšší nezaměstnaností v nadcházejících letech. Druhý testovaný model nepodporuje předchozí výzkum, že míra vlastnického bydlení v kraji má negativní vliv na pravděpodobnost zaměstnanosti jedince. V práci jsou diskutována možná vylepšení modelů jako inspirace pro další výzkum.
|
|
Probabilistic Methods in Discrete Applied Mathematics
Fink, Jiří ; Loebl, Martin (vedoucí práce) ; Koubek, Václav (oponent) ; Sereni, Jean-Sébastein (oponent)
Jedním ze základních problémů moderní statistické fyziky je snaha porozumět \mbox{frustraci} a chaosu. Základním modelem je konečně dimenzionální Edwards-Anderson Ising model. V této práci zavádíme zobecnění tohoto modelu. Studujeme množinové systémy uzavřené na symetrické rozdíly. Ukážeme, že významnou otázku, zda groundstate v Ising modelu je jednoznačný, lze studovat v těchto množinových systémech. Krewerasova hypotéza říká, že každé perfektní párování v hyperkrychli $Q_n$ lze rozšířit na Hamiltonovskou kružnici. Tuto hypotézu jsme dokázali. Matching graf $\mg{G}$ grafu $G$ má za vrcholy perfektní párování v $G$ a hranami jsou spojeny ty dvojice perfektních párování, jejichž sjednocení tvoří Hamiltonovskou kružnici v $G$. Dokážeme, že matching graf $\mg{Q_n}$ je bipartitní a souvislý pro $n \ge 4$. Toto dokazuje Krewerasovu hypotézu, že graf $M_n$ je souvislý, kde $M_n$ vznikne z grafu $\mg{Q_n}$ kontrakcí vrcholů $\mg{Q_n}$, které odpovídají izomorfním perfektním párováním. Cesta v $Q_n$ vyhýbající se zadaným $f$ chybným vrcholům se nazývá dlouhá, jestliže její délka je alespoň $2^n - 2f - 2$. Analogicky kružnice je dlouhá, pokud její délka je alespoň $2^n - 2f$. Pokud jsou všechny chybné vrcholy ze stejné bipartitní třídy $Q_n$, pak jsou tyto délky nejlepší možné. Dokážeme, že pro každou množinu...
|
|
Trend vývoje motivačních technik
Kozlovský, Ondřej ; Chocholatý, Drahomír (vedoucí práce) ; Šebesta, Michal (oponent)
Tato práce je rozdělena na dvě části. Teoretickou a praktickou. V teoretické části se vymezují pojmy, rozdělují se přístupy k motivaci do tří základních skupin a tyto skupiny jsou následně i rozebírány. V rámci těchto přístupů je popsán i historický vývoj názorů k motivaci. Celá teoretická část spěje do současnosti - k současným přístupům, k současným problémům motivace a trendům jejího vývoje. Teoretická část je pak východiskem pro praktickou část, ve které je zkoumáno, jakým způsobem přechází teorie motivace do praxe. Praktická část se zabývá tím, jak motivaci prakticky uplatňují tři významné softwarové společnosti, které jsou klíčovými hráči na trhu ve svém oboru. U každé z těchto firem je popsán konkrétní motivační program a hledají se jejich společné či podobné prvky. Ověřuje se hypotéza, zda a do jaké míry tito hráči registrují a reflektují trendy ve vývoji motivačních technik, které jsou popsané v teoretické části.
|
| |
|
Gradientní modely
Bernát, Marek ; Kotecký, Roman (vedoucí práce) ; Zahradník, Miloš (oponent)
Vyšetrovali sme gradientné modely, jednak model s double-well potenciálom a jednak tzv. rozšírený model. V dimenzii 2 sme v rozšírenom modele exaktne spočítali voľné energie roztrúsenných hranových konfigurácií a pre ľubovoľnú dimenziu sme získali odhady týchto voľných energií. Kombináciou týchto odhadov s argumentom o existencii zlých kontúrov a odhadom počtu kontúrov sme boli metódou reflekčnej pozitivity schopní ukázať, že pri nízkych teplotách existuje v rozšírenom modele fázový prechod. Ďalej sme ukázali, že fázový prechod existuje aj v double-well modele za podmienky, že platí hypotéza týkajúca sa odhadov strednej energie. Okrem týchto výsledkov je v práci prezentovaný aj základný aparát štatistickej fyziky a fakty z príbuzných oblastí, a tiež základné výsledky z oblasti gradientných modelov, takže práca zároveň slúži aj ako úvod do tejto problematiky.
|
host ::
