arXiv++ Combinatorics

For a graph $G$ the expression $G \overset{v}{\rightarrow} (a_1, ..., a_s)$ means that for every coloring of the vertices of $G$ in $s$ colors there exists $i \in \{1, ..., s\}$ such that there is a monochromatic $a_i$-clique of color $i$. The vertex Folkman number $F_v(a_1, ..., a_s; q)$ is defined as $$F_v(a_1, ..., a_s; q) = \min\{\vert V(G) \vert : G \overset{v}{\rightarrow} (a_1, ..., a_s) \mbox{ and } K_q \not\subseteq G\}.$$ In this paper we improve the known bounds on the number $F_v(2, 2, 2, 3; 4)$ by proving with the help of a computer that $20 \leq F_v(2, 2, 2, 3; 4) \leq 22$.