Added vertex cover.