Prostorová složitost grafových a matroidových problémů

Show simple item record
dc.contributor.advisorKaiser, Tomáš
dc.contributor.authorHanzlík, Michal
dc.contributor.refereeKrál, Daniel
dc.date.accepted2012-06-18
dc.date.accessioned2013-06-19T06:55:15Z
dc.date.available2011-10-01cs
dc.date.available2013-06-19T06:55:15Z
dc.date.issued2012
dc.date.submitted2012-05-23
dc.description.abstractDiplomová práce je rozdělena do tří částí. V první části připomeneme několik základních faktů z teorie výpočetní složitosti, zavedeme standardní výpočetní model zvaný Turingův stroj a pomocí něho definujeme několik složitostních tříd. V další části se budeme podrobněji zabývat problémy s logaritmickou prostorovou složitostí a obzvlášt třídami NL a UL. Panuje obecné přesvědčení o tom, že se tyto třídy sobě rovnají, ale problém zůstává otevřeným. Na konci této části připomeneme některé techniky, které se využívají při práci s třídami problémů řešitelných v logaritmickém prostoru. V poslední části dokážeme hlavní výsledek této práce: tvrzení, že problém souvislosti orientovaného grafu na podmnožině třídy mřížkových grafů patří do UL.cs
dc.description.abstract-translatedDiploma thesis is divided into three parts. In the first part we review some basic facts of the computational complexity theory, present a standard model of computation called Turing machine and use it to define some complexity classes. In the next part we take a closer look at the logarithmic space complexity classes and especially the classes NL and UL. It is believed that these classes are equal but the problem remains open. At the end of this part we recall some techniques for working with classes using logarithmic space. In the last part we prove the main result of this thesis: the directed connectivity problem on a restricted subclass of grid graphs belongs to UL.en
dc.description.departmentKatedra matematikycs
dc.description.resultObhájenocs
dc.format38 s.cs
dc.format.mimetypeapplication/pdf
dc.identifier48806
dc.identifier.urihttp://hdl.handle.net/11025/3682
dc.language.isoenen
dc.publisherZápadočeská univerzita v Plznics
dc.rightsPlný text práce je přístupný bez omezení.cs
dc.rights.accessopenAccessen
dc.subjectteorie výpočetní složitostics
dc.subjectprostorová složitostcs
dc.subjectlogaritmický prostorcs
dc.subjectlog-spacecs
dc.subjectjednoznačný log-spacecs
dc.subjectmřížkové grafycs
dc.subjectmin-unique grafycs
dc.subjectproblém souvislosti orientovaného grafucs
dc.subject.translatedcomputational complexity theoryen
dc.subject.translatedspace complexityen
dc.subject.translatedlogarithmic spaceen
dc.subject.translatedlog-spaceen
dc.subject.translatedunambiguous log-spaceen
dc.subject.translatedgrid graphsen
dc.subject.translatedmin-unique graphsen
dc.subject.translateddirected connectivity problemen
dc.thesis.degree-grantorZápadočeská univerzita v Plzni. Fakulta aplikovaných vědcs
dc.thesis.degree-levelNavazujícícs
dc.thesis.degree-nameMgr.cs
dc.thesis.degree-programMatematikacs
dc.titleProstorová složitost grafových a matroidových problémůcs
dc.title.alternativeSpatial complexity of graph problemsen
dc.typediplomová prácecs
local.relation.IShttps://portal.zcu.cz/StagPortletsJSR168/CleanUrl?urlid=prohlizeni-prace-detail&praceIdno=48806

Files

Original bundle
Showing 1 - 4 out of 4 results
No Thumbnail Available
Name:
Hanzlik-DP-2012.pdf
Size:
567.4 KB
Format:
Adobe Portable Document Format
Description:
Plný text práce
Download
No Thumbnail Available
Name:
PV-Hanzlik.pdf
Size:
106.56 KB
Format:
Adobe Portable Document Format
Description:
Posudek vedoucího práce
Download
No Thumbnail Available
Name:
PO-Hanzlik.pdf
Size:
184.14 KB
Format:
Adobe Portable Document Format
Description:
Posudek oponenta práce
Download
No Thumbnail Available
Name:
P-Hanzlik.pdf
Size:
37.75 KB
Format:
Adobe Portable Document Format
Description:
Průběh obhajoby práce
Download

Collections

Theses (KMA)