Enumerace malých matroidů s pomocí počítače

Mgr. Ing. Petr Výmola

Diplomová práce

Computer-assisted enumeration of small matroids

Anotace:

Matroidy jako kombinatorické struktury široce zobecňují grafy. Tato práce se zabývá generováním všech matroidů daných vlastností (zejména jednoduchých ternárních a regulárních a 3-souvislých ternárních). Účelem je otestovat výpočetní možnosti programu Macek a srovnáním s dříve dosaženými výsledky ostatních vědců potvrdit jeho korektnost.

Abstract:

Combinatorial structures known as matroids largely generalize graphs. This work deals with generation of all matroids of given properties (namely simple ternary and regular and 3-connected ternary matroids). The goal is to test computation capabilities of the Macek program and to confirm its correctness by comparing its output with formerly acquired results of other scientists.

Klíčová slova

matroid, Macek, konečné těleso, generování, extenze, jednoduché, 3-souvislé, ternární, kojednoduché, matroid kružnic, matroid řezu, MetaCentrum, regulární

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 3. 1. 2007

Obhajoba závěrečné práce

• Obhajoba proběhla 8. 2. 2007
• Vedoucí: prof. RNDr. Petr Hliněný, Ph.D.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Informatika