-完全):要证明一个给定的问题是P-完全，一个常见的作法是将一个已知是P-完全的问题化约为这个给定的问题。在1999年，Jin-Yi Cai 和 D. Sivakumar，基于Ogihara的理论，推导出若存在一个稀疏语言属于P-完全，则L =P。
未知是否为P-完全的问题.有一些问题尚不清楚是属于NP-难或者是P。这一些问题(例如说，整数分解)被怀疑是比较困难的。 类似的有些问题尚不清楚是属于P-完全或者NC，但是一般被认为是不容易平行化的。这类问题的范例有找出两给定整