Algorithmic metatheorems for matroids
Algoritmické metavěty pro matroidy
bachelor thesis (DEFENDED)

View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/63626Identifiers
Study Information System: 130535
Collections
- Kvalifikační práce [11322]
Author
Advisor
Referee
Dvořák, Zdeněk
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
General Computer Science
Department
Computer Science Institute of Charles University
Date of defense
26. 1. 2015
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
English
Grade
Excellent
Keywords (Czech)
algoritmy, matroidy, šířkové parametry, FOL vlastnosti, MSOL vlastnostiKeywords (English)
algorithms, matroids, width parameters, FOL properties, MSOL propertiesV práci definujeme nový šířkový parametr pro matroidy nazvaný amal- gamační šířka. Tento šířkový parametr vychází z operace amalgamace ma- troidů. Parametr má úzký vztah k větvící šířce (branch width) na matroidech reprezentovatelných nad pevně zvoleným konečným tělesem - reprezento- vatelné matroidy s omezenou větvící šířkou mají omezenou i amalgamační šířku. Přitom jsme stále schopni rozhodovat vlastnosti v monadické log- ice druhého řádu v lineárním čase pro matroidy s omezenou amalgamační šířkou a to i tehdy, když matroid není reprezentovatelný (pokud ovšem máme dekompozici danou). Navíc dokážeme spočíst koeficienty Tutteho polynomu matroidu v polynomiálním čase na třídách matroidů s omezenou amalgamační šířkou.
In the thesis we define a new width parameter for matroids called amal- gam width that is based on the operation of matroid amalgamation. The parameter is related to branch width for matroids representable over fixed fi- nite field in the sense that class of representable matroids of bounded branch width has bounded amalgam width. The decomposition allows us to decide monadic second-order properties in linear time on matroids of bounded amal- gam width, even for matroids that are not representable (provided we are given the decomposition). We also prove that the coefficients of the Tutte polynomial can be computed in polynomial time for matroids of bounded amalgam width.