Stromy, mříže a MSO rozhodnutelnost: Od grafů k matroidům

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F06%3A00015570" target="_blank" >RIV/00216224:14330/06:00015570 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/61989100:27240/06:00013590

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Trees, grids, and MSO decidability: From graphs to matroids

Popis výsledku v původním jazyce

We show that, for every finite field $pf F$, the class of all $pf F$-representable matroids of branch-width at most a constant~$t$ has a decidable MSO theory. In the other direction, we prove that every class of $pf F$-representable matroids with a decidable MSO theory must have uniformly bounded branch-width.

Název v anglickém jazyce

Trees, grids, and MSO decidability: From graphs to matroids

Popis výsledku anglicky

We show that, for every finite field $pf F$, the class of all $pf F$-representable matroids of branch-width at most a constant~$t$ has a decidable MSO theory. In the other direction, we prove that every class of $pf F$-representable matroids with a decidable MSO theory must have uniformly bounded branch-width.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F05%2F0050" target="_blank" >GA201/05/0050: Strukturální vlastnosti a algoritmická složitost diskrétních problémů</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2006

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Theoretical Computer Science

ISSN

0304-3975

e-ISSN

—

Svazek periodika

351

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

22

Strana od-do

372-393

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—