K Set Cover Solving Algorithm