是一个P问题。与功能性问题（function problem）相关的类别是FP。
与其他类别的关系.P的扩大集合是NP，此复杂度类别是一个可在多项式时间以非确定型图灵机决定答案的问题的集合。因此我们可知道P是NP的子集，且虽然未证明，但大部分专家相信P是NP的严格子集（即NP一定大于且包含P集合）。P也已知至少大于L一个可在对数量级的记忆体空间上决定的问题的类别。一个判定演算法使用了O(log "n")的空间就不可能使用超过2="n"的时间，因为这是所有可能组合方式的总数，因此