Towards Efficient Contrastive PAC Learning