Ramsey numbers and an approximation algorithm for the vertex cover problem | doi.page