English
Related papers

Related papers: First order distinguishability of sparse random gr…

200 papers

We investigate the linear chromatic number $\chi_{\text{lin}}(G(n,p))$ of the binomial random graph $G(n,p)$ on $n$ vertices in which each edge appears independently with probability $p=p(n)$. For dense random graphs ($np \to \infty$ as $n…

Combinatorics · Mathematics 2023-11-16 Austin Eide , Paweł Prałat

We prove that for $k+1\geq 3$ and $c>(k+1)/2$ w.h.p. the random graph on $n$ vertices, $cn$ edges and minimum degree $k+1$ contains a (near) perfect $k$-matching. As an immediate consequence we get that w.h.p. the $(k+1)$-core of $G_{n,p}$,…

Combinatorics · Mathematics 2021-07-09 Michael Anastos

We study problems connected to first-order logic in graphs of bounded twin-width. Inspired by the approach of Bonnet et al. [FOCS 2020], we introduce a robust methodology of local types and describe their behavior in contraction sequences…

Logic in Computer Science · Computer Science 2022-06-17 Jakub Gajarský , Michał Pilipczuk , Wojciech Przybyszewski , Szymon Toruńczyk

Let $G=(V,E)$ be a graph. An ordering of $G$ is a bijection $\alpha: V\dom \{1,2,..., |V|\}.$ For a vertex $v$ in $G$, its closed neighborhood is $N[v]=\{u\in V: uv\in E\}\cup \{v\}.$ The profile of an ordering $\alpha$ of $G$ is…

Data Structures and Algorithms · Computer Science 2007-05-23 Gregory Gutin , Stefan Szeider , Anders Yeo

Let $F$ be a graph on $r$ vertices and let $G$ be a graph on $n$ vertices. Then an $F$-factor in $G$ is a subgraph of $G$ composed of $n/r$ vertex-disjoint copies of $F$, if $r$ divides $n$. In other words, an $F$-factor yields a partition…

Combinatorics · Mathematics 2025-08-13 Fabian Burghart , Annika Heckel , Marc Kaufmann , Noela Müller , Matija Pasch

For integers $l \geq 2$, $d \geq 1$ we study (undirected) graphs with vertices $1, ..., n$ such that the vertices can be partitioned into $l$ parts such that every vertex has at most $d$ neighbours in its own part. The set of all such…

Logic · Mathematics 2013-02-19 Vera Koponen

We call a graph $G$ separable if a balanced separator can be computed for $G$ of size $O(n^c)$ with $c<1$. Many real-world graphs are separable such as graphs of bounded genus, graphs of constant treewidth, and graphs excluding a fixed…

Data Structures and Algorithms · Computer Science 2025-04-29 Michael Elberfeld , Frank Kammer , Johannes Meintrup

Let us draw a graph R on {0,1,...,n-1} by having an edge {i,j} with probability p_(|i-j|), where sum_i p_i is finite and let M_n=(n,<,R). For a first order sentence psi let a^n_psi be the probability of ``M_n satisfies psi''. We prove that…

Logic · Mathematics 2009-09-25 Saharon Shelah

We investigate the emergence of spanning structures in sparse pseudo-random $k$-uniform hypergraphs, using the following comparatively weak notion of pseudo-randomness. A $k$-uniform hypergraph $H$ on $n$ vertices is called…

Combinatorics · Mathematics 2021-08-11 Hiep Hàn , Jie Han , Patrick Morris

Given $k$-uniform hypergraphs $G$ and $H$ on $n$ vertices with densities $p$ and $q$, their relative discrepancy is defined as $\hbox{disc}(G,H)=\max\big||E(G')\cap E(H')|-pq\binom{n}{k}\big|$, where the maximum ranges over all pairs…

Combinatorics · Mathematics 2025-07-01 Diep Luong-Le , Tuan Tran , Dilong Yang

It is known that for subgraph-closed graph classes the first-order model checking problem is fixed-parameter tractable if and only if the class is nowhere dense [Grohe, Kreutzer, Siebertz, STOC 2014]. However, the dependency on the formula…

Logic in Computer Science · Computer Science 2025-05-28 Jakub Gajarský , Michał Pilipczuk , Marek Sokołowski , Giannos Stamoulis , Szymon Toruńczyk

Two graphs $G$ and $H$ are homomorphism indistinguishable over a family of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphism from $F$ to $H$. Many…

Logic in Computer Science · Computer Science 2024-02-15 Tim Seppelt

First-order logic (FO) can express many algorithmic problems on graphs, such as the independent set and dominating set problem, parameterized by solution size. On the other hand, FO cannot express the very simple algorithmic question of…

Logic in Computer Science · Computer Science 2021-11-10 Nicole Schirrmacher , Sebastian Siebertz , Alexandre Vigny

Given a fixed graph $H$, a real number $p\in(0,1)$, and an infinite Erd\H{o}s-R\'enyi graph $G\sim G(\infty,p)$, how many adjacency queries do we have to make to find a copy of $H$ inside $G$ with probability $1/2$? Determining this number…

Combinatorics · Mathematics 2021-01-27 Ryan Alweiss , Chady Ben Hamida , Xiaoyu He , Alexander Moreira

In this paper we investigate the extremal relationship between two well-studied graph parameters: the order of the largest homogeneous set in a graph $G$ and the maximal number of distinct degrees appearing in an induced subgraph of $G$,…

Combinatorics · Mathematics 2022-12-01 Eoin Long , Laurentiu Ploscaru

We give a short proof of a bound on the list chromatic number of graphs $G$ of maximum degree $\Delta$ where each neighbourhood has density at most $d$, namely $\chi_\ell(G) \le (1+o(1)) \frac{\Delta}{\ln \frac{\Delta}{d+1}}$ as…

Combinatorics · Mathematics 2021-11-29 François Pirot , Eoin Hurley

We develop a general procedure that finds recursions for statistics counting isomorphic copies of a graph $G_0$ in the common random graph models ${\cal G}(n,m)$ and ${\cal G}(n,p)$. Our results apply when the average degrees of the random…

Combinatorics · Mathematics 2016-08-19 Dudley Stark , Nick Wormald

The \emph{choice number} of a graph $G$, denoted $\ch(G)$, is the minimum integer $k$ such that for any assignment of lists of size $k$ to the vertices of $G$, there is a proper colouring of $G$ such that every vertex is mapped to a colour…

Combinatorics · Mathematics 2013-09-03 Jonathan A. Noel

A reduction $\varphi$ of an ordered group $(G,P)$ to another ordered group is an order homomorphism which maps each interval $[1,p]$ bijectively onto $[1, \varphi(p)]$. We show that if $(G,P)$ is weakly quasi-lattice ordered and reduces to…

Group Theory · Mathematics 2021-03-17 Robert Huben

Let $\mathbb{G}_{n,\alpha}$ be the set of connected graphs with order $n$ and independence number $\alpha$. Given $k=n-\alpha$, the graph with minimum spectral radius among $\mathbb{G}_{n,\alpha}$ is called the minimizer graph.…

Combinatorics · Mathematics 2022-06-22 Yarong Hu , Qiongxiang Huang , Zhenzhen Lou
‹ Prev 1 4 5 6 7 8 10 Next ›