ramsey theory practice problems