English
Related papers

Related papers: Is Ramsey's theorem omega-automatic?

200 papers

In this paper, we study the maximum clique problem on hyperbolic random graphs. A hyperbolic random graph is a mathematical model for analyzing scale-free networks since it effectively explains the power-law degree distribution of…

Data Structures and Algorithms · Computer Science 2023-06-30 Eunjin Oh , Seunghyeok Oh

Clique-width is a well-studied graph parameter owing to its use in understanding algorithmic tractability: if the clique-width of a graph class ${\cal G}$ is bounded by a constant, a wide range of problems that are NP-complete in general…

Combinatorics · Mathematics 2021-12-23 Konrad K. Dabrowski , Matthew Johnson , Daniël Paulusma

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

The problem of determining the maximum number of copies of $T$ in an $H$-free graph, for any graphs $T$ and $H$, was considered by Alon and Shikhelman. This is a variant of Tur\'{a}n's classical extremal problem. We show lower and upper…

Combinatorics · Mathematics 2025-03-11 Zhipeng Gao , Ping Li , Changhong Lu , Rui Sun , Long-Tu Yuan

If we 2-color the vertices of a large hypercube what monochromatic substructures are we guaranteed to find? Call a set S of vertices from Q_d, the d-dimensional hypercube, Ramsey if any 2-coloring of the vertices of Q_n, for n sufficiently…

Combinatorics · Mathematics 2012-11-02 John Goldwasser , John Talbot

The chromatic number $\chi$ of a graph is bounded from below by its clique number $\omega,$ but it can be arbitrary large. Perfect graphs are defined by $\chi=\omega$ for all induced subgraphs. An interesting relaxation are $\chi$-bounded…

Combinatorics · Mathematics 2026-05-12 Alexander Engström

A graph is inductive $k$-independent if there exists and ordering of its vertices $v_{1},...,v_{n}$ such that $\alpha(G[N(v_{i})\cap V_{i}])\leq k $ where $N(v_{i})$ is the neighborhood of $v_{i}$, $V_{i}=\{v_{i},...,v_{n}\}$ and $\alpha$…

Discrete Mathematics · Computer Science 2017-09-21 George Manoussakis

Truemper configurations (thetas, pyramids, prisms, and wheels) have played an important role in the study of complex hereditary graph classes (e.g. the class of perfect graphs and the class of even-hole-free graphs), appearing both as…

Combinatorics · Mathematics 2017-07-12 Valerio Boncompagni , Irena Penev , Kristina Vuskovic

Let $G$ be a group. The \emph{power graph} of $G$ is a graph with the vertex set $G$, having an edge between two elements whenever one is a power of the other. We characterize nilpotent groups whose power graphs have finite independence…

Combinatorics · Mathematics 2019-05-31 Ghodratollah Aalipour , Saieed Akbari , Peter J. Cameron , Reza Nikandish , Farzad Shaveisi

Every graphon defines a random graph on any given number $n$ of vertices. It was known that the graphon is random-free if and only if the entropy of this random graph is subquadratic. We prove that for random-free graphons, this entropy can…

Combinatorics · Mathematics 2012-05-17 Hamed Hatami , Serguei Norine

In 1930, Ramsey proved that every large graph contains either a large clique or a large edgeless graph as an induced subgraph. It is well known that every large connected graph contains a long path, a large clique, or a large star as an…

Combinatorics · Mathematics 2026-04-22 Sarah Allred , M. N. Ellingham

In a directed graph, a kernel is a subset of vertices that is both stable and absorbing. Not all digraphs have a kernel, but a theorem due to Boros and Gurvich guarantees the existence of a kernel in every clique-acyclic orientation of a…

Discrete Mathematics · Computer Science 2018-01-09 Adèle Pass-Lanneau , Ayumi Igarashi , Frédéric Meunier

It is consistent that for every monotonically increasing function f:omega->omega there is a graph with size and chromatic number aleph_1 in which every n-chromatic subgraph has at least f(n) elements (n >= 3). This solves a $250 problem of…

Logic · Mathematics 2007-05-23 Péter Komjáth , Saharon Shelah

We introduce the list colouring extension of classical Ramsey numbers. We investigate when the two Ramsey numbers are equal, and in general, how far apart they can be from each other. We find graph sequences where the two are equal and…

Combinatorics · Mathematics 2020-08-13 N. Alon , M. Bucić , T. Kalvari , E. Kuperwasser , T. Szabó

A \emph{clique} is a set of pairwise adjacent vertices in a graph. We determine the maximum number of cliques in a graph for the following graph classes: (1) graphs with $n$ vertices and $m$ edges; (2) graphs with $n$ vertices, $m$ edges,…

Combinatorics · Mathematics 2010-06-17 David R. Wood

One of the central questions in Ramsey theory asks how small can be the size of the largest clique and independent set in a graph on $N$ vertices. By the celebrated result of Erd\H{o}s from 1947, the random graph on $N$ vertices with edge…

Combinatorics · Mathematics 2021-03-18 Benny Sudakov , István Tomon

We construct classes of graphs that are variants of the so-called layered wheel. One of their key properties is that while the treewidth is bounded by a function of the clique number, the construction can be adjusted to make the dependance…

Combinatorics · Mathematics 2025-11-04 Maria Chudnovsky , Nicolas Trotignon

We have observations concerning the set theoretic strength of the following combinatorial statements without the axiom of choice. 1. If in a partially ordered set, all chains are finite and all antichains are countable, then the set is…

Logic · Mathematics 2022-06-28 Amitayu Banerjee , Zalán Gyenis

We show that the edge-clique graphs of cocktail party graphs have unbounded rankwidth. This, and other observations lead us to conjecture that the edge-clique cover problem is NP-complete for cographs. We show that the independent set…

Combinatorics · Mathematics 2012-06-12 Maw-Shang Chang , Ton Kloks , Ching-Hao Liu

A \emph{wheel} is a graph formed by a chordless cycle $C$ and a vertex $u$ not in $C$ that has at least three neighbors in $C$. We prove that every 3-connected planar graph that does not contain a wheel as an induced subgraph is either a…

Combinatorics · Mathematics 2015-04-09 Pierre Aboulker , Maria Chudnovsky , Paul Seymour , Nicolas Trotignon