theoretical cs lecture 21 pt 1 377048