Related papers: Rado Numbers and SAT Computations

The Rado number of an equation is a Ramsey-theoretic quantity associated to the equation. Let $\mathcal{E}$ be a linear equation. Denote by $\operatorname{R}_r(\mathcal{E})$ the minimal integer, if it exists, such that any $r$-coloring of…

Given a linear equation $\cal E$ of the form $ax + by = cz$ where $a$, $b$, $c$ are positive integers, the $k$-colour Rado number $R_k({\cal E})$ is the smallest positive integer $n$, if it exists, such that every $k$-colouring of the…

Let $f_r(k)$ be the smallest positive integer $n$ such that every $r$-coloring of $\{1,2,...,n\}$ has a monochromatic solution to the nonlinear equation \[1/x_1+\cdots+1/x_k=1/y,\] where $x_1,...,x_k$ are not necessarily distinct. Brown and…

A famous result in arithmetic Ramsey theory says that for many linear homogeneous equations $E$ there is a threshold value $R_k(E)$ (the Rado number of $E$) such that for any $k$-coloring of the integers in the interval $[1,n]$, with $n \ge…

If E is a linear homogenous equation and c a natural then the Rado number $R_c(E)$ is the least N so that any c-coloring of the positive integers from 1 to N contains a monochromatic solution. Rado characterized for which E R_c(E) always…

We consider Rado numbers of the regular equations $\mathcal{E}(b)$ of the form \[ c_1x_1+c_2x_2+\dots+ c_{k-1}x_{k-1} = x_k + b, \] where $b \in \mathbb{Z}$ and $c_i \in \mathbb{Z}^{+}$ for all $i$. We give the upper bounds and the…

Let $a_1,\ldots,a_m$ be nonzero integers, $c \in \mathbb Z$ and $r \ge 2$. The Rado number for the equation \[ \sum_{i=1}^m a_ix_i = c \] in $r$ colours is the least positive integer $N$ such that any $r$-colouring of the integers in the…

For a positive integer $m$ and a real number $c$, let $R = R(m,c,2)$ denote the discrete 2-color Rado number for the equation $x_1 + x_2 + \dots + x_m + c = 2x_0$. In other words, $R$ is the smallest integer such that for any coloring of…

For any linear inequality in three variables $\mathcal{L}$, we determine (if it exist) the smallest integer $R(\mathcal{L}, \mathbb{Z}/3\mathbb{Z})$ such that: for every mapping $\chi :[1,n] \to \{0,1,2\}$, with $n\geq R(\mathcal{L},…

We show that for any two linear homogenous equations $\mathcal{E}_0,\mathcal{E}_1$, each with at least three variables and coefficients not all the same sign, any 2-coloring of $\mathbb{Z}^+$ admits monochromatic solutions of color 0 to…

A classical question in combinatorial number theory asks whether an equation has a solution inside a particular subset of its domain. The Rado's Theorem gives a set of necessary and sufficient conditions for a systems of linear equations to…

We created and parallelized two SAT solvers to find new bounds on some Ramsey-type numbers. For $c > 0$, let $R_c(L)$ be the least $n$ such that for all $c$-colorings of the $[n]\times [n]$ lattice grid there will exist a monochromatic…

There exists a minimum integer $N$ such that any 2-coloring of $\{1,2,...,N\}$ admits a monochromatic solution to $x+y+kz =\ell w$ for $k,\ell \in \mathbb{Z}^+$, where $N$ depends on $k$ and $\ell$. We determine $N$ when $\ell-k \in…

For positive integers $a_1,a_2,...,a_m$, we determine the least positive integer $R(a_1,...,a_m)$ such that for every 2-coloring of the set $[1,n]={1,...,n}$ with $n\ge R(a_1,...,a_m)$ there exists a monochromatic solution to the equation…

The $r$-colour Ramsey number $R_r(k)$ is the minimum $n \in \mathbb{N}$ such that every $r$-colouring of the edges of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $K_k$. We prove, for each fixed $r \geqslant 2$,…

Erd\H{o}s and Rado [P. Erd\H{o}s, R. Rado, A combinatorial theorem, Journal of the London Mathematical Society 25 (4) (1950) 249-255] introduced the Canonical Ramsey numbers $\text{er}(t)$ as the minimum number $n$ such that every…

The Ramsey number $R(G_1,\dots,G_k)$ is the smallest $n$ such that every $k$-coloring of the edges of $K_n$ contains a monochromatic copy of $G_i$ in color $i$. Ramsey numbers are challenging to compute, and few are known exactly. We use…

The Ramsey number $r(t;\ell)$ is the smallest $n$ such that every $\ell$-coloring of the edges of $K_n$ gives a monochromatic $K_{t}$. In recent years, there have been several improvements on asymptotic lower bounds for these numbers when…

The study of Ramsey-type problems for linear equations originated with Schur's theorem and was later placed in a systematic framework by Richard Rado. In the off-diagonal setting, one fixes a pair of distinct linear equations…

A standard proof of Schur's Theorem yields that any $r$-coloring of $\{1,2,\dots,R_r-1\}$ yields a monochromatic solution to $x+y=z$, where $R_r$ is the classical $r$-color Ramsey number, the minimum $N$ such that any $r$-coloring of a…