在任何一组可行解中求出的最优解被称为是满意解、P类问题、NP类问题、NPC类问题是计算机科学领域关于可求解性可计算性很重要的概念