This is an advanced class on algorithmic reduction, focusing on techniques for proving problems are complete with respect to various complexity classes.