NL完全

在計算複雜性理論中 ， NL完全是由全體對NL類完備的語言構成的複雜性類 。 也就是說 ， NL完全的語言是NL類中最 “ 難解 ” 和最 “ 有力 ” 的語言 。 如果有某個確定性的方法可以在對數空間內解決一個NL完全問題 ， 那麼就會有NL = L 。