The course will introduce the underlying computational concepts (polynomial-time computation and NP-completeness); introduce canonical problem models including graph problems and formula ...