English
Related papers

Related papers: Hereditary Zero-One Laws for Graphs

200 papers

Let G_<(n,p) denote the usual random graph G(n,p) on a totally ordered set of n vertices. We will fix p=1/2 for definiteness. Let L^< denote the first order language with predicates equality (x=y), adjacency (x~y) and less than (x<y). For…

Logic · Mathematics 2016-09-06 Saharon Shelah

Denote by $\mathcal{H}_k (n,p)$ the random $k$-graph in which each $k$-subset of $\{1... n\}$ is present with probability $p$, independent of other choices. More or less answering a question of Balogh, Bohman and Mubayi, we show: there is a…

Combinatorics · Mathematics 2016-08-17 Arran Hamm , Jeff Kahn

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

We study zero-one laws for random graphs. We focus on the following question that was asked by many: Given a graph property P, is there a language of graphs able to express P while obeying the zero-one law? Our results show that on the one…

Logic · Mathematics 2015-10-23 Simi Haber , Saharon Shelah

A hereditary property of graphs is a collection of graphs which is closed under taking induced subgraphs. The speed of \P is the function n \mapsto |\P_n|, where \P_n denotes the graphs of order n in \P. It was shown by Alekseev, and by…

Combinatorics · Mathematics 2009-05-13 Noga Alon , Jozsef Balogh , Bela Bollobas , Robert Morris

Let $\mathcal G$ be an addable, minor-closed class of graphs. We prove that the zero-one law holds in monadic second-order logic (MSO) for the random graph drawn uniformly at random from all {\em connected} graphs in $\mathcal G$ on $n$…

Combinatorics · Mathematics 2018-01-10 Peter Heinig , Tobias Muller , Marc Noy , Anusch Taraz

In this paper, we introduce a class of graphs which we call average hereditary graphs. Many graphs that occur in the usual graph theory applications belong to this class of graphs. Many popular types of graphs fall under this class, such as…

Discrete Mathematics · Computer Science 2025-08-11 Syed Mujtaba Hassan , Shahid Hussain

An ordered graph is a graph together with a linear order on its vertices. A hereditary property of ordered graphs is a collection of ordered graphs closed under taking induced ordered subgraphs. If P is a property of ordered graphs, then…

Combinatorics · Mathematics 2007-05-23 József Balogh , Béla Bollobás , Robert Morris

Let $\mathcal{F}$ be a collection of $r$-uniform hypergraphs, and let $0 < p < 1$. It is known that there exists $c = c(p,\mathcal{F})$ such that the probability of a random $r$-graph in $G(n,p)$ not containing an induced subgraph from…

Combinatorics · Mathematics 2011-04-29 David Saxton

We consider the following natural generalization of Binary Search: in a given undirected, positively weighted graph, one vertex is a target. The algorithm's task is to identify the target by adaptively querying vertices. In response to…

Data Structures and Algorithms · Computer Science 2017-08-01 Ehsan Emamjomeh-Zadeh , David Kempe , Vikrant Singhal

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

Given a graph $G$ and a real number $0\le p\le 1$, we define the random set $B_p(G)\subset V(G)$ by including each vertex independently and with probability $p$. We investigate the probability that the random set $B_p(G)$ is a zero forcing…

Combinatorics · Mathematics 2022-08-30 Bryan Curtis , Luyining Gan , Jamie Haddock , Rachel Lawrence , Sam Spiro

We study the relation between the growth rate of a graph property and the entropy of the graph limits that arise from graphs with that property. In particular, for hereditary classes we obtain a new description of the colouring number,…

Combinatorics · Mathematics 2013-12-20 Hamed Hatami , Svante Janson , Balázs Szegedy

For a sequence of random graphs, the limit law we refer to is the existence of a limiting probability of any graph property that can be expressed in terms of predicate logic. A zero-one limit law is shown by Shelah and Spencer for…

Probability · Mathematics 2024-08-15 Alperen Özdemir

Given a hereditary property of graphs $\mathcal{H}$ and a $p\in [0,1]$, the edit distance function ${\rm ed}_{\mathcal{H}}(p)$ is asymptotically the maximum proportion of edge-additions plus edge-deletions applied to a graph of edge density…

Combinatorics · Mathematics 2020-07-17 Ryan R. Martin , Alexander W. N. Riasanovsky

We introduce a natural generalization of the Erd\H{o}s-R\'enyi random graph model in which random instances of a fixed motif are added independently. The binomial random motif graph $G(H,n,p)$ is the random (multi)graph obtained by adding…

Combinatorics · Mathematics 2019-07-30 Michael Anastos , Peleg Michaeli , Samantha Petti

Let $G$ be a finite graph with minimum degree $r$. Form a random subgraph $G_p$ of $G$ by taking each edge of $G$ into $G_p$ independently and with probability $p$. We prove that for any constant $\epsilon>0$, if $p=\frac{1+\epsilon}{r}$,…

Combinatorics · Mathematics 2013-06-25 Alan Frieze , Michael Krivelevich

Since the paper of Kleinberg and Kleinberg, SODA'05, where it was proven that the preferential attachment random graph with degeneracy at least 3 does not obey the first order 0-1 law, no general methods were developed to study logical…

Probability · Mathematics 2023-11-01 Yury Malyshkin , Maksim Zhukovskii

We consider random graphs in which the edges are allowed to be dependent. In our model the edge dependence is quite general, we call it $p$-robust random graph. It means that every edge is present with probability at least $p$, regardless…

Discrete Mathematics · Computer Science 2020-12-04 Zohre Ranjbar-Mojaveri , Andras Farago

The Ramsey number $R_X(p,q)$ for a class of graphs $X$ is the minimum $n$ such that every graph in $X$ with at least $n$ vertices has either a clique of size $p$ or an independent set of size $q$. We say that Ramsey numbers are linear in…

Combinatorics · Mathematics 2020-12-07 Bogdan Alecu , Aistis Atminas , Vadim Lozin , Viktor Zamaraev