Theory of computation~Semi-supervised learning