杂度类L和P是否恆等（L = P）及复杂度类L和NL是否恆等（L = NL）。目前已知有以下重要性质：
相关复杂度类.
FL.和功能性问题相关的类别是FL，在计算复杂度理论，FL是一个复杂度类，是能被确定型图灵机在对数空间下解决的函数问题的集合。 依照同样的原理，可以定义相应的FP，FNP，TFNP。FL常用来定义对数空间归约（Log-space reduction，Log-空间规约）。对数空间归约指仅使用对数空间的确定型图灵机进行的规约。区别于常见