In the mathematical field of graph theory, the Folkman graph is a 4-regular graph with 20 vertices and 40 edges. Wikipedia