理论计算机基础复杂性类关系图，来自UC Davis：