English
Related papers

Related papers: Local expressions of hereditary classes

200 papers

This paper deals with graph classes characterization and recognition. A popular way to characterize a graph class is to list a minimal set of forbidden induced subgraphs. Unfortunately this strategy usually does not lead to an efficient…

Data Structures and Algorithms · Computer Science 2020-07-21 Laurent Feuilloley , Michel Habib

Each hereditary property can be characterized by its set of minimal obstructions; these sets are often unknown, or known but infinite. By allowing extra structure it is sometimes possible to describe such properties by a finite set of…

Combinatorics · Mathematics 2021-12-02 Santiago Guzmán-Pro , Pavol Hell , César Hernández-Cruz

The implicit graph conjecture states that every sufficiently small, hereditary graph class has a labeling scheme with a polynomial-time computable label decoder. We approach this conjecture by investigating classes of label decoders defined…

Computational Complexity · Computer Science 2018-02-02 Maurice Chandoo

Minimal separators in graphs are an important concept in algorithmic graph theory. In particular, many problems that are NP-hard for general graphs are known to become polynomial-time solvable for classes of graphs with a polynomially…

Combinatorics · Mathematics 2019-06-03 Martin Milanič , Nevena Pivač

A graph class is monotone if it is closed under taking subgraphs. It is known that a monotone class defined by finitely many obstructions has bounded treewidth if and only if one of the obstructions is a so-called tripod, that is, a…

We introduce the concept of a class of graphs, or more generally, relational structures, being locally tree-decomposable. There are numerous examples of locally tree-decomposable classes, among them the class of planar graphs and all…

Data Structures and Algorithms · Computer Science 2007-05-23 Markus Frick , Martin Grohe

A graph is concave-round if its vertices can be circularly enumerated so that the closed neighbourhood of each vertex is an interval in the enumeration. In this work, we give a minimal forbidden induced subgraph characterization for the…

Combinatorics · Mathematics 2016-11-08 Martín D. Safe

Lettericity is a graph parameter responsible for many attractive structural properties. In particular, graphs of bounded lettericity have bounded linear clique-width and they are well-quasi-ordered by induced subgraphs. The latter property…

Combinatorics · Mathematics 2024-02-21 Bogdan Alecu , Mamadou Moustapha Kanté , Vadim Lozin , Viktor Zamaraev

The orientation completion problem for a class of oriented graphs asks whether a given partially oriented graph can be completed to an oriented graph in the class by orienting the unoriented edges of the partially oriented graph.…

Combinatorics · Mathematics 2022-11-07 Kevin Hsu , Jing Huang

Traditionally, graph algorithms get a single graph as input, and then they should decide if this graph satisfies a certain property $\Phi$. What happens if this question is modified in a way that we get a possibly infinite family of graphs…

Formal Languages and Automata Theory · Computer Science 2021-10-13 Volker Diekert , Henning Fernau , Petra Wolf

We propose a definition of graph subshifts of finite type that can be seen as extending both the notions of subshifts of finite type from classical symbolic dynamics and finitely presented groups from combinatorial group theory. These are…

Discrete Mathematics · Computer Science 2026-05-05 Pablo Arrighi , Amélia Durbec , Pierre Guillon

The literature on word-representable graphs is quite rich, and a number of variations of the original definition have been proposed over the years. We are initiating a systematic study of such variations based on formal languages. In our…

Discrete Mathematics · Computer Science 2024-11-06 Zhidan Feng , Henning Fernau , Pamela Fleischmann , Kevin Mann , Silas Cato Sacher

We study the complexity of fundamental distributed graph problems in the recently popular setting where information about the input graph is available to the nodes before the start of the computation. We focus on the most common such…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-03 Alkida Balliu , Thomas Boudier , Sebastian Brandt , Dennis Olivetti

We discover new hereditary classes of graphs that are minimal (with respect to set inclusion) of unbounded clique-width. The new examples include split permutation graphs and bichain graphs. Each of these classes is characterised by a…

Combinatorics · Mathematics 2023-01-31 A. Atminas , R. Brignall , V. Lozin , J. Stacho

A graph $G = (\{1, 2, \ldots, n\}, E)$ is $12$-representable if there is a word $w$ over $\{1, 2, \ldots, n\}$ such that two vertices $i$ and $j$ with $i < j$ are adjacent if and only if every $j$ occurs before every $i$ in $w$. These…

Combinatorics · Mathematics 2023-08-31 Asahi Takaoka

The emerging theory of graph limits exhibits an analytic perspective on graphs, showing that many important concepts and tools in graph theory and its applications can be described more naturally (and sometimes proved more easily) in…

Combinatorics · Mathematics 2023-08-01 Omri Ben-Eliezer , Eldar Fischer , Amit Levi , Yuichi Yoshida

Inspired by distributed algorithms, we introduce a new class of finite graph automata that recognize precisely the graph languages definable in monadic second-order logic. For the cases of words and trees, it has been long known that the…

Formal Languages and Automata Theory · Computer Science 2014-04-28 Fabian Reiter

Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank r,…

Combinatorics · Mathematics 2007-05-23 Jaroslav Nesetril , Patrice Ossona De Mendez

Let $\mathscr C$ be a class of finite and infinite graphs that is closed under induced subgraphs. The well-known {\L}o\'s-Tarski Theorem from classical model theory implies that $\mathscr C$ is definable in first-order logic (FO) by a…

Logic in Computer Science · Computer Science 2020-08-04 Yijia Chen , Joerg Flum

Hamiltonian cycles in graphs were first studied in the 1850s. Since then, an impressive amount of research has been dedicated to identifying classes of graphs that allow Hamiltonian cycles, and to related questions. The corresponding…

Discrete Mathematics · Computer Science 2023-06-22 Isolde Adler , Noleen Köhler
‹ Prev 1 2 3 10 Next ›