Matroids in theoretical CS
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F05%3A00012172" target="_blank" >RIV/61989100:27240/05:00012172 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Matroidy v teoretické informatice
Original language description
Matroidy jsou kombinatorické struktury, které široce zobecňují jak grafy, tak i třeba (konečné) geometrie. Pomineme-li algoritmy v kombinatorické optimalizaci [Edmonds a další], matroidy nejsou příliš rozšířeny v teoretické informatice. V naší přednášcebychom rádi ukázali přehled několika poměrně nových výsledků ukazujících užitečnost matroidů v informatice. Centrálním pojmem naší prezentace je větvená a stromová šířka ve zobecnění na matroidy. (Pojem stromové šířky matroidu nám mimo jiné dává i zcelanový, "bezvrcholový", pohled na klasickou stromovou šířku grafů.) V úzké návaznosti bychom shrnuli naše nedávné výsledky o rozhodnutelnosti MSO teorií na reprezentovatelných matroidech a nastínili možné směry budoucích zobecnění na abstraktní matroidy. Závěrem bychom využili příležitost ke krátké prezentaci nového online přístupu k našemu programu Macek pro strukturální výpočty s matroidy. Část prezentovaných výsledků byla dosažena ve spolupráci s D.Seesem a s G.Whittlem.
Czech name
Matroidy v teoretické informatice
Czech description
Matroidy jsou kombinatorické struktury, které široce zobecňují jak grafy, tak i třeba (konečné) geometrie. Pomineme-li algoritmy v kombinatorické optimalizaci [Edmonds a další], matroidy nejsou příliš rozšířeny v teoretické informatice. V naší přednášcebychom rádi ukázali přehled několika poměrně nových výsledků ukazujících užitečnost matroidů v informatice. Centrálním pojmem naší prezentace je větvená a stromová šířka ve zobecnění na matroidy. (Pojem stromové šířky matroidu nám mimo jiné dává i zcelanový, "bezvrcholový", pohled na klasickou stromovou šířku grafů.) V úzké návaznosti bychom shrnuli naše nedávné výsledky o rozhodnutelnosti MSO teorií na reprezentovatelných matroidech a nastínili možné směry budoucích zobecnění na abstraktní matroidy. Závěrem bychom využili příležitost ke krátké prezentaci nového online přístupu k našemu programu Macek pro strukturální výpočty s matroidy. Část prezentovaných výsledků byla dosažena ve spolupráci s D.Seesem a s G.Whittlem.
Classification
Type
A - Audiovisual production
CEP classification
BD - Information theory
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F05%2F0050" target="_blank" >GA201/05/0050: Structural properties and algorithmic complexity of discrete problems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
ISBN
—
Place of publication
Praha
Publisher/client name
MFF UK
Version
—
Carrier ID
—