English
Related papers

Related papers: Testing hereditary properties of ordered graphs an…

200 papers

A property of finite graphs is called nondeterministically testable if it has a "certificate" such that once the certificate is specified, its correctness can be verified by random local testing. In this paper we study certificates that…

Combinatorics · Mathematics 2013-08-23 László Lovász , Katalin Vesztergombi

We consider hereditary classes of graphs equipped with a total order. We provide multiple equivalent characterisations of those classes which have bounded twin-width. In particular, we prove a grid theorem for classes of ordered graphs…

Logic in Computer Science · Computer Science 2021-07-07 Pierre Simon , Szymon Toruńczyk

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

For a graph $G$ and a hereditary property $\mathcal{P}$, let $\text{ex}(G,\mathcal{P})$ denote the maximum number of edges of a subgraph of $G$ that belongs to $\mathcal{P}$. We prove that for every non-trivial hereditary property…

Combinatorics · Mathematics 2024-05-16 Alexander Clifton , Hong Liu , Letícia Mattos , Michael Zheng

An ordered graph $H$ on $n$ vertices is a graph whose vertices have been labeled bijectively with $\{1,...,n\}$. The ordered Ramsey number $r_<(H)$ is the minimum $n$ such that every two-coloring of the edges of the complete graph $K_n$…

Combinatorics · Mathematics 2019-10-31 Will Overman , Jeremy F. Alm , Kayla Coffey , Carolyn Langhoff

We consider extremal edge-coloring problems inspired by the theory of anti-Ramsey / rainbow coloring, and further by odd-colorings and conflict-free colorings. Let $G$ be a graph, and $F$ any given family of graphs. For every integer $n…

Combinatorics · Mathematics 2024-11-27 Yair Caro , Zsolt Tuza

Several graph properties are characterized as the class of graphs that admit an orientation avoiding finitely many oriented structures. For instance, if $F_k$ is the set of homomorphic images of the directed path on $k+1$ vertices, then a…

Combinatorics · Mathematics 2020-12-24 Santiago Guzmán-Pro , César Hernández-Cruz

Given a family of graphs $\mathcal{F}$ and an integer $r$, we say that a graph is $r$-Ramsey for $\mathcal{F}$ if any $r$-colouring of its edges admits a monochromatic copy of a graph from $\mathcal{F}$. The threshold for the classic Ramsey…

Combinatorics · Mathematics 2024-11-27 Eden Kuperwasser , Wojciech Samotij

Property Testing is a formal framework to study the computational power and complexity of sampling from combinatorial objects. A central goal in standard graph property testing is to understand which graph properties are testable with…

Data Structures and Algorithms · Computer Science 2025-09-08 Artur Czumaj , Christian Sohler , Stefan Walzer

As an application of Szemeredi's regularity lemma, Erdos-Frankl-Rodl (1986) showed that the number of graphs on vertex set {1,2,...n} with a monotone class P is $2^{(1+o(1))ex(n,P)n^2/2}$ where $ex(n,P)$ is the maximum number of edges of an…

Combinatorics · Mathematics 2007-12-05 Yoshiyasu Ishigami

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 area of graph property testing seeks to understand the relation between the global properties of a graph and its local statistics. In the classical model, the local statistics of a graph is defined relative to a uniform distribution…

Combinatorics · Mathematics 2021-09-29 Lior Gishboliner , Asaf Shapira

We consider graph property testing in $p$-degenerate graphs under the random neighbor oracle model (Czumaj and Sohler, FOCS 2019). In this framework, a tester explores a graph by sampling uniform neighbors of vertices, and a property is…

Data Structures and Algorithms · Computer Science 2026-04-07 Oded Lachish , Amit Levi , Ilan Newman , Felix Reidl

We study property testing in directed graphs in the bounded degree model, where we assume that an algorithm may only query the outgoing edges of a vertex, a model proposed by Bender and Ron in 2002. As our first main result, we we present a…

Data Structures and Algorithms · Computer Science 2013-12-03 Frank Hellweg , Christian Sohler

A graph property is said to be elusive ( evasive) if every algorithm testing this property by asking questions of the form "is there an edge between vertices x and y" requires, in the worst case, to ask about all pairs of vertices. The…

Combinatorics · Mathematics 2022-06-22 Tamás Csernák , Lajos Soukup

We provide a general method to prove the existence and compute efficiently elimination orderings in graphs. Our method relies on several tools that were known before, but that were not put together so far: the algorithm LexBFS due to Rose,…

Discrete Mathematics · Computer Science 2015-01-26 Pierre Aboulker , Pierre Charbit , Nicolas Trotignon , Kristina Vuskovic

One of the main challenges in property testing is to characterize those properties that are testable with a constant number of queries. For unordered structures such as graphs and hypergraphs this task has been mostly settled. However, for…

Data Structures and Algorithms · Computer Science 2018-01-31 Omri Ben-Eliezer , Eldar Fischer

In this thesis we consider ordered graphs (that is, graphs with a fixed linear ordering on their vertices). We summarize and further investigations on the number of edges an ordered graph may have while avoiding a fixed forbidden ordered…

Discrete Mathematics · Computer Science 2009-07-16 Craig Weidert

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

Fox, Gromov, Lafforgue, Naor, and Pach proved a regularity lemma for semi-algebraic $k$-uniform hypergraphs of bounded complexity, showing that for each $\epsilon>0$ the vertex set can be equitably partitioned into a bounded number of parts…

Combinatorics · Mathematics 2016-10-17 Jacob Fox , Janos Pach , Andrew Suk