prob017: Ramsey numbers

proposed by Toby Walsh
tw@cs.york.ac.uk

Overview

The problem description consists of: