|
Nekomutativní Gröbnerovy báze
Požárková, Zuzana ; Šťovíček, Jan (vedoucí práce) ; Stanovský, David (oponent)
V předložené práci definujeme nekomutativní Gröbnerovy báze, včetně potřebných základů nekomutativní algebry a pojmu přípustné uspořádání. Je zde představena nekomutativní varianta Buchbergerova algoritmu a podrobně studována vylepšení vedoucí k efektivnímu výpočtu. Studium netriviálních obstrukcí nás přivádí k analogii Gebauer-Möller kritérií vedoucích k odstranění většině nadbytečných obstrukcí v nekomutativním případě. Uvádíme zde grafickou interpretaci obstrukcí. Vylepšení algoritmu lze také dosáhnout pomocí redundantních polynomů. Tato práce je shrnutím a zpřesněním výsledků některých známých autorů zabývajících se touto problematikou. V práci definované pojmy jsou ilustrovány na příkladech. Předkládáme zde důkazy některých tvrzení, která byla odlišným způsobem dokázána jinými autory. Powered by TCPDF (www.tcpdf.org)
|
|
Kódy založené na projektivních geometriích
Požárková, Zuzana ; Drápal, Aleš (vedoucí práce) ; Holub, Štěpán (oponent)
V předložené práci definujeme třídu samoopravných kódů založených na incidenčních vektorech projektivních geometrií, včetně potřebných základů teorie kódů a projektivních geometrií. Podrobně je zde pojednán výpočet dimenze těchto kódů. V závěru práce se věnujeme dekódování pomocí většinové logiky. Tato práce je shrnutím výsledků některých známých autorů zabývajících se touto problematikou. Na některé výsledky navazujeme a předkládáme důkazy některých tvrzení, která byla odlišným způsobem dokázána jinými autory.
|
|
Nekomutativní Gröbnerovy báze
Požárková, Zuzana ; Šťovíček, Jan (vedoucí práce) ; Stanovský, David (oponent)
V předložené práci definujeme nekomutativní Gröbnerovy báze, včetně potřebných základů nekomutativní algebry a pojmu přípustné uspořádání. Je zde představena nekomutativní varianta Buchbergerova algoritmu a podrobně studována vylepšení vedoucí k efektivnímu výpočtu. Studium netriviálních obstrukcí nás přivádí k analogii Gebauer-Möller kritérií vedoucích k odstranění většině nadbytečných obstrukcí v nekomutativním případě. Uvádíme zde grafickou interpretaci obstrukcí. Vylepšení algoritmu lze také dosáhnout pomocí redundantních polynomů. Tato práce je shrnutím a zpřesněním výsledků některých známých autorů zabývajících se touto problematikou. V práci definované pojmy jsou ilustrovány na příkladech. Předkládáme zde důkazy některých tvrzení, která byla odlišným způsobem dokázána jinými autory. Powered by TCPDF (www.tcpdf.org)
|
|
Kódy založené na projektivních geometriích
Požárková, Zuzana ; Drápal, Aleš (vedoucí práce) ; Holub, Štěpán (oponent)
V předložené práci definujeme třídu samoopravných kódů založených na incidenčních vektorech projektivních geometrií, včetně potřebných základů teorie kódů a projektivních geometrií. Podrobně je zde pojednán výpočet dimenze těchto kódů. V závěru práce se věnujeme dekódování pomocí většinové logiky. Tato práce je shrnutím výsledků některých známých autorů zabývajících se touto problematikou. Na některé výsledky navazujeme a předkládáme důkazy některých tvrzení, která byla odlišným způsobem dokázána jinými autory.
|