English
Related papers

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

200 papers

We consider the class of (C4, diamond)-free graphs; graphs in this class do not contain a C4 or a diamond as an induced subgraph. We provide an efficient recognition algorithm for this class. We count the number of maximal cliques in a (C4,…

Discrete Mathematics · Computer Science 2009-09-28 Elaine M. Eschen , Chinh T. Hoang , Jeremy P. Spinrad , R. Sritharan

We continue the study of the Erd\H{o}s-Dushnik-Miller theorem (A graph with an uncountable set of vertices has either an infinite independent set or an uncountable clique) in set theory without the axiom of choice. We show that there are…

Logic · Mathematics 2025-04-15 Paul Howard , Eleftherios Tachtsis

Recently, Daligault, Rao and Thomass\'e asked in [3] if every hereditary class which is well-quasi-ordered by the induced subgraph relation is of bounded clique-width. There are two reasons why this questions is interesting. First, it…

Combinatorics · Mathematics 2015-08-26 Aistis Atminas , Vadim V. Lozin , Igor Razgon

We prove a strong dichotomy result for countably-infinite oriented graphs; that is, we prove that for all countably-infinite oriented graphs $G$, either (i) there is a countably-infinite tournament $K$ such that $G\not\subseteq K$, or (ii)…

Combinatorics · Mathematics 2024-05-02 Alistair Benford , Louis DeBiasio , Paul Larson

For every uncountable cardinal $\lambda$, suitable negations of the Generalized Continuum Hypothesis imply: - For all infinite $\alpha$ and $\beta$, there is no universal $K_{\alpha,\beta}$-free graphs in $\lambda$ - For all $\alpha\ge 3$,…

Logic · Mathematics 2016-09-06 Menachem Kojman

An $n$-vertex graph is called $C$-Ramsey if it has no clique or independent set of size $C\log_2 n$ (i.e., if it has near-optimal Ramsey behavior). In this paper, we study edge-statistics in Ramsey graphs, in particular obtaining very…

Combinatorics · Mathematics 2024-05-31 Matthew Kwan , Ashwin Sah , Lisa Sauermann , Mehtaab Sawhney

Given an infinite word over the alphabet $\{0,1,2,3\}$, we define a class of bipartite hereditary graphs $\mathcal{G}^\alpha$, and show that $\mathcal{G}^\alpha$ has unbounded clique-width unless $\alpha$ contains at most finitely many…

Combinatorics · Mathematics 2023-11-08 Robert Brignall , Daniel Cocks

If $\Gamma$ is a graph for which every edge is in exactly one clique of order $\omega$, then one can form a new graph with vertex set equal to these cliques. This is a generalization of the line graph of $\Gamma$. We discover many general…

Combinatorics · Mathematics 2026-05-25 Connor Phillips

A graph K is square-free if it contains no four-cycle as a subgraph. A graph K is multiplicative if GxH -> K implies G -> K or H -> K, for all graphs G,H. Here GxH is the tensor (or categorical) graph product and G -> K denotes the…

Combinatorics · Mathematics 2016-08-24 Marcin Wrochna

We prove several results about three families of graphs. For queen graphs, defined from the usual moves of a chess queen, we find the edge-chromatic number in almost all cases. In the unproved case, we have a conjecture supported by a vast…

Combinatorics · Mathematics 2016-06-28 Witold Jarnicki , Wendy Myrvold , Peter Saltzman , Stan Wagon

We estimate the maximum possible number of cliques of size $r$ in an $n$-vertex graph free of a fixed complete $r$-partite graph $K_{s_1, s_2, \ldots, s_r}$. By viewing every $r$-clique as a hyperedge, the upper bound on the Tur\'an number…

Combinatorics · Mathematics 2025-03-25 József Balogh , Suyun Jiang , Haoran Luo

The Ramsey's theorem says that a graph with sufficiently many vertices contains a clique or stable set with many vertices. Now we attach some parameter to every vertex, such as degree. Consider the case a graph with sufficiently many…

Combinatorics · Mathematics 2023-07-18 Jin Sun

Here we prove that a graph without some three induced subgraphs has chromatic number at the most equal to its maximum clique size plus one. Further we show that the bounds are tight and give examples to show that each of the three forbidden…

Combinatorics · Mathematics 2016-07-29 Medha Dhurandhar

In an attempt to find a polynomial-time algorithm for the edge-clique cover problem on cographs we tried to prove that the edge-clique graphs of cographs have bounded rankwidth. However, this is not the case. In this note we show that the…

Discrete Mathematics · Computer Science 2012-05-14 Maw-Shang Chang , Ton Kloks , Ching-Hao Liu

We investigate the number of maximal cliques, i.e., cliques that are not contained in any larger clique, in three network models: Erd\H{o}s-R\'enyi random graphs, inhomogeneous random graphs (also called Chung-Lu graphs), and geometric…

Combinatorics · Mathematics 2024-11-27 Thomas Bläsius , Maximillian Katzmann , Clara Stegehuis

We determine the Ramsey number of a connected clique matching. That is, we show that if $G$ is a $2$-edge-coloured complete graph on $(r^2 - r - 1)n - r + 1$ vertices, then there is a monochromatic connected subgraph containing $n$ disjoint…

Combinatorics · Mathematics 2016-05-25 Barnaby Roberts

Extending several previous results we obtained nearly tight estimates on the maximum size of a clique-minor in various classes of expanding graphs. These results can be used to show that graphs without short cycles and other H-free graphs…

Combinatorics · Mathematics 2007-07-03 Michael Krivelevich , Benny Sudakov

Beginning with the concepts of orientation for a 3-hypergraph and transitivity for an oriented 3-hypergraph, it is natural to study the class of comparability 3-hypergraphs (those that can be transitively oriented). In this work we show…

Combinatorics · Mathematics 2014-02-25 Natalia Garcia-Colin , Amanda Montejano , Deborah Oliveros

The theory of finite automata concerns itself with words in a free monoid together with concatenation and without further structure. There are, however, important applications which use alphabets which are structured in some sense. We…

Formal Languages and Automata Theory · Computer Science 2026-02-11 Hugo Bazille , Uli Fahrenberg

We associate a graph $\Gamma_G$ to a non locally cyclic group $G$ (called the non-cyclic graph of $G$) as follows: take $G\backslash Cyc(G)$ as vertex set, where $Cyc(G)=\{x\in G | \left<x,y\right> \text{is cyclic for all} y\in G\}$, and…

Group Theory · Mathematics 2007-08-20 Alireza Abdollahi , A. Mohammadi Hassanabadi