English
Related papers

Related papers: Logical limit laws for minor-closed classes of gra…

200 papers

Random key graphs are random graphs induced by the random key predistribution scheme of Eschenauer and Gligor under the assumption of full visibility. For this class of random graphs we show the existence of a zero-one law for the…

Combinatorics · Mathematics 2009-10-06 Osman Yagan , Armand M. Makowski

We say that a first order formula $\Phi$ defines a graph $G$ if $\Phi$ is true on $G$ and false on every graph $G'$ non-isomorphic with $G$. Let $D(G)$ be the minimal quantifier rank of a such formula. We prove that, if $G$ is a tree of…

Combinatorics · Mathematics 2007-05-23 Oleg Verbitsky

A class of graphs admits an adjacency labeling scheme of size $b(n)$, if the vertices in each of its $n$-vertex graphs can be assigned binary strings (called labels) of length $b(n)$ so that the adjacency of two vertices can be determined…

Combinatorics · Mathematics 2024-02-21 Édouard Bonnet , Julien Duron , John Sylvester , Viktor Zamaraev , Maksim Zhukovskii

We prove a new generalisation of Ramsey's theorem by showing that every $2$-edge-coloured graph with sufficiently large minimum degree contains a monochromatic induced subgraph whose minimum degree remains large. From this, we also derive…

Combinatorics · Mathematics 2026-04-17 Arnab Char , Ken-ichi Kawarabayashi , Lucas Picasarri-Arrieta

Suppose $G$ is a graph with degrees bounded by $d$, and one needs to remove more than $\epsilon n$ of its edges in order to make it planar. We show that in this case the statistics of local neighborhoods around vertices of $G$ is far from…

Combinatorics · Mathematics 2008-02-10 Itai Benjamini , Oded Schramm , Asaf Shapira

Let CMSO denote the counting monadic second order logic of graphs. We give a constructive proof that for some computable function $f$, there is an algorithm $\mathfrak{A}$ that takes as input a CMSO sentence $\varphi$, a positive integer…

Logic in Computer Science · Computer Science 2023-06-22 Mateus de Oliveira Oliveira

Brambles were introduced as the dual notion to treewidth, one of the most central concepts of the graph minor theory of Robertson and Seymour. Recently, Grohe and Marx showed that there are graphs G, in which every bramble of order larger…

Discrete Mathematics · Computer Science 2009-07-20 Stephan Kreutzer , Siamak Tazari

A contraction sequence of a graph consists of iteratively merging two of its vertices until only one vertex remains. The recently introduced twin-width graph invariant is based on contraction sequences. More precisely, if one puts red edges…

Data Structures and Algorithms · Computer Science 2022-06-02 Édouard Bonnet , Eun Jung Kim , Amadeus Reinald , Stéphan Thomassé

Let $\log^{2+\varepsilon} n \le d \le n/2$ for some fixed $\varepsilon \in (0,1)$, and let $M_n$ be an $n\times n$ random matrix with entries in ${0,1}$, where each row is independently and uniformly sampled from the set of all vectors in…

Probability · Mathematics 2026-04-14 Dongbin Li , Alexander E. Litvak , Tingzhou Yu

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

It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models increases, every formula holds either in almost all or in…

Logic in Computer Science · Computer Science 2021-05-26 Rineke Verbrugge

The celebrated theorem of Robertson and Seymour states that in the family of minor-closed graph classes, there is a unique minimal class of graphs of unbounded tree-width, namely, the class of planar graphs. In the case of tree-width, the…

Combinatorics · Mathematics 2017-02-01 A. Collins , J. Foniok , N. Korpelainen , V. Lozin , V. Zamaraev

A set $\mathcal{G}$ of planar graphs on the same number $n$ of vertices is called simultaneously embeddable if there exists a set $P$ of $n$ points in the plane such that every graph $G \in \mathcal{G}$ admits a (crossing-free)…

Combinatorics · Mathematics 2023-09-14 Raphael Steiner

Consider the uniform random graph $G(n,M)$ with $n$ vertices and $M$ edges. Erd\H{o}s and R\'enyi (1960) conjectured that the limit $$ \lim_{n \to \infty} \Pr\{G(n,\textstyle{n\over 2}) is planar}} $$ exists and is a constant strictly…

Combinatorics · Mathematics 2012-05-01 Marc Noy , Vlady Ravelomanana , Juanjo Rué

The maximum number of vertices in a graph of maximum degree $\Delta\ge 3$ and fixed diameter $k\ge 2$ is upper bounded by $(1+o(1))(\Delta-1)^{k}$. If we restrict our graphs to certain classes, better upper bounds are known. For instance,…

Combinatorics · Mathematics 2015-12-14 Eran Nevo , Guillermo Pineda-Villavicencio , David R. Wood

A class of graphs is structurally nowhere dense if it can be constructed from a nowhere dense class by a first-order transduction. Structurally nowhere dense classes vastly generalize nowhere dense classes and constitute important examples…

Logic in Computer Science · Computer Science 2023-02-08 Jan Dreier , Nikolas Mählmann , Sebastian Siebertz

Consider a set of $n$ vertices, where each vertex has a location in $\mathbb{R}^d$ that is sampled uniformly from the unit cube in $\mathbb{R}^d$, and a weight associated to it. Construct a random graph by placing edges independently for…

Probability · Mathematics 2022-09-07 Remco van der Hofstad , Pim van der Hoorn , Neeladri Maitra

Algorithmic meta-theorems, stating that graph properties expressible in some particular logic can be decided efficiently in graph classes having some specific structural properties, are now standard in sequential graph algorithms. One of…

Data Structures and Algorithms · Computer Science 2025-07-16 Benjamin Jauregui , Jason Li , Pedro Montealegre , Ioan Todinca

We show that every proper minor-closed class of graphs admits a $(1+o(1))\log_2 n$-bit adjacency labelling scheme. Equivalently, for every proper minor-closed class $\mathcal{G}$ and every positive integer $n$ there exists an…

Discrete Mathematics · Computer Science 2026-05-11 Vida Dujmović , Cyril Gavoille , Gwenaël Joret , Piotr Micek , Pat Morin , David R. Wood

We obtain the scaling limits of random graphs drawn uniformly in three families of intersection graphs: permutation graphs, circle graphs, and unit interval graphs. The two first families typically generate dense graphs, in these cases we…

Probability · Mathematics 2024-02-12 Frédérique Bassino , Mathilde Bouvel , Valentin Féray , Lucas Gerin , Adeline Pierrot