Národní úložiště šedé literatury Nalezeno 79 záznamů.  začátekpředchozí30 - 39dalšíkonec  přejít na záznam: Hledání trvalo 0.00 vteřin. 
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.
Homomorphisms into unary algebras
Škrobánek, Jiří ; Barto, Libor (vedoucí práce) ; Bulín, Jakub (oponent)
Tato práce se zabývá výpočetní složitostí problému splnitelnosti omezení (CSP) nad strukturami s unárními operacemi (unárními algebrami). Zaměřujeme se na speciální třídu CSP, takzvané reverzní problémy. Představíme nový důkaz klasifikace složitosti reverzních problémů, jenž využije algebraického přístupu založeného na zkoumání polymorfismů. Ukážeme, že některé reverzní problémy připouštějí polymorfismus téměř úplné shody (a jsou tedy řešitelné v polynomiálním čase). Zato ostatní reverzní problémy nepřipouštějí polymorfismus slabé téměř úplné shody - WNU (a jsou tedy NP-úplné).
The Number of Homomorphisms to a Fixed Algebra
Kapytka, Maryia ; Barto, Libor (vedoucí práce) ; Stanovský, David (oponent)
V této práci dáváme částečnou odpověd' na následující otázku: Pro které pevné konečné algebry A je počet homomorfismů z podobné algebry X do A shora omezen poly- nomem proměnné |X|? Práce je rozdělena do dvou částí: Preliminaries a Results. V první části seznámíme čtenáře s tématem a uvedeme několik základních faktů o počtu homo- morfismů. V hlavní části zobecníme případ dvouprvkového polosvazu na konečné polos- vazy, poté se podíváme na konkrétní tříprvkovou algebru s majoritní operací a konkrétní tříprvkový 2-polosvaz, algebru kámen-nůžky-papír. Pak se podíváme na grupy. Nakonec uvážíme unární algebry. Všechny výše uvedené algebry kromě unárních algeber dávají kladnou odpověď na naši otázku. 1
Monotone functions avoiding majorities
Petr, Jan ; Barto, Libor (vedoucí práce) ; Mottet, Antoine (oponent)
V posledních pěti letech byl jedním ze zkoumaných témat výpočetní složitosti takzvaný Promise Constraint Satisfaction Problem (PCSP), který pokrývá různorodé výpočetní problémy. V této práci nejprve zavedeme PCSP a následně se zaměříme na stále otevřenou otázku výpočetní složitosti PCSP nad "monotónními folded Boolovskými strukturami". Brakensiek a Guruswami v roce 2016 dokázali, že PCSP patří do třídy P, pokud se všechny liché majority řadí mezi polymorfismy mezi námi uvažovanými strukturami. My se zaměříme se na situaci, kdy některé z majorit polymorfismy ne- jsou. Představíme si postup pro dokazování NP-úplnosti daného PCSP, který zavádí pojem "těžkých množin". Pomocí tohoto přístupu se nám podaří ukázat, že nepří- tomnost 3-majority mezi polymorfismy již implikuje NP-úplnost. Pro případ nepří- tomnosti 5-majority uvedeme několik částečných výsledků. Nakonec určíme velikost nej- menší těžké množiny pro speciální množinu funkcí. 1
Generalizing CSP-related results to infinite algebras
Olšák, Miroslav ; Barto, Libor (vedoucí práce) ; Zhuk, Dmitrii (oponent) ; Pinsker, Michael (oponent)
Nedávný výzkum v oblasti problému splnitelnosti podmínek vedl k užitečným nástrojům v uni- verzální algebře a pro studium výpočetní složitosti. Tento výzkum byl zaměřen zejména na konečné re- lační struktury a tím pádem na konečné algebry. Práce zobecňuje tyto předchozí výsledky na nekonečné algebry. Ukážeme, že ačkoli Maltsevská podmínka t(p, i, s, i) = t(s, p, i, s) obecně necharakterizuje Tay- lorovské algebry (algebry splňující netriviální idempotentní Maltsevskou podmínku) jako v konečném případě, existuje jiná silná Maltsevská podmínka, která je charakterizuje, a t(p, i, s, i) = t(s, p, i, s) charakterizuje jinou širokou třídu algeber. Také najdeme (slabou) Maltsevskou podmínku pro SD(∧) algebry (algebry splňující idempotentní Maltssevskou podmínku, kterou nelze splnit v modulech). Vedle Maltsevskych podmínek zkoumáme smyčková lemmata. Speciálně dokážeme známé konečné smyčkové lemma pomocí dvou různých (nekonečných) přístupů.

Národní úložiště šedé literatury : Nalezeno 79 záznamů.   začátekpředchozí30 - 39dalšíkonec  přejít na 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.