你的定义有问题:如果一个问题可以在多项式时间内被确定机解决,则它属于P类问题；如果它可以在多项式时间内被非确定机解决，则它属于NP类问题。显然P是NP的子集。但是是否存在在NP中却不在P中的问题的问题是计算理论目前最著名的难题之一，还未得到证明，不过有无数迹象表明P很可能不等于NP。
