J 2024

Twin-Width and Transductions of Proper k-Mixed-Thin Graphs

BALABÁN, Jakub, Petr HLINĚNÝ a Jan JEDELSKÝ

Základní údaje

Originální název

Twin-Width and Transductions of Proper k-Mixed-Thin Graphs

Autoři

BALABÁN, Jakub (203 Česká republika, domácí), Petr HLINĚNÝ ORCID (203 Česká republika, garant, domácí) a Jan JEDELSKÝ (203 Česká republika, domácí)

Vydání

DISCRETE MATHEMATICS, NETHERLANDS, ELSEVIER, 2024, 0012-365X

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10200 1.2 Computer and information sciences

Stát vydavatele

Nizozemské království

Utajení

není předmětem státního či obchodního tajemství

Impakt faktor

Impact factor: 0.700 v roce 2023

Kód RIV

RIV/00216224:14330/24:00135529

Organizační jednotka

Fakulta informatiky

UT WoS

001252097100001

Klíčová slova anglicky

twin-width;proper interval graph;proper mixed-thin graph;transduction equivalence

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 18. 3. 2025 10:09, prof. RNDr. Petr Hliněný, Ph.D.

Anotace

V originále

The new graph parameter twin-width, introduced by Bonnet, Kim, Thomassé and Watrigant in 2020, allows for an FPT algorithm for testing all FO properties of graphs. This makes classes of efficiently bounded twin-width attractive from the algorithmic point of view. In particular, classes of efficiently bounded twin-width include proper interval graphs, and (as digraphs) posets of width k. Inspired by an existing generalization of interval graphs into so-called k-thin graphs, we define a new class of proper k-mixed-thin graphs which largely generalizes proper interval graphs. We prove that proper k-mixed-thin graphs have twin-width linear in k, and that a slight subclass of k-mixed-thin graphs is transduction-equivalent to posets of width such that there is a quadratic-polynomial relation between k and . In addition to that, we also give an abstract overview of the so-called red potential method which we use to prove our twin-width bounds.

Návaznosti

GA20-04567S, projekt VaV
Název: Struktura efektivně řešitelných případů těžkých algoritmických problémů na grafech
Investor: Grantová agentura ČR, Structure of tractable instances of hard algorithmic problems on graphs
MUNI/A/1592/2023, interní kód MU
Název: Modelování, analýza a verifikace (2024)
Investor: Masarykova univerzita, Modelování, analýza a verifikace (2024)
MUNI/A/1608/2023, interní kód MU
Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24
Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24