Contents

-

Computing the Folkman Number Fv(2,2,3;4)

Jonathan Coles1, Stanislaw P. Radziszowski1
1Department of Computer Science Rochester Institute of Technology Rochester, NY 14623

Abstract

We discuss a branch of Ramsey theory concerning vertex Folkman numbers and how computer algorithms have been used to compute a new Folkman number. We write G(a1,,ak)v if for every vertex k-coloring of an undirected simple graph G, a monochromatic Kai is forced in color i{1,,k}. The vertex Folkman number is defined as

Fv(a1,,ak;p)=min{|V(G)|:G(a1,,ak)vKpG}.

Folkman showed in 1970 that this number exists for p>max{a1,,ak}. Let m=1+i=1k(ai1) and a=max{a1,,ak}, then

Fv(a1,,ak;p)=m for p>m,

and

Fv(a1,,ak;p)=a+m for p=m.

For p<m the situation is more difficult and much less is known. We show here that, for a case of p=m1, Fv(2,2,3;4)=14.