Come Study Computer Science With Me! Karp Reduction from Vertex Cover to Half Vertex Cover Problem