theoretical cs lecture 11 pt 1 6023869