稀疏語言

在計算複雜性理論裏面, 稀疏語言是一種形式語言 ， 並且這語言內長度爲n的字串個數 ， 被一個n的多項式所限制住 。 這種語言主要被用來研究NP這類語言與其他種類語言的關係 。 包含所有稀疏語言的複雜度類被稱作SPARSE 。 稀疏語言會被叫做稀疏的原因是因爲 ， 對任何語言 ， 長度爲n的字串可能性個數總共有2n個 ， 而如果某特定語言只有包含這一些字串裏面的多項式個數個 ， 那這語言所包含字串的比例會隨著n的成長很快的減少 。 所有一元語言都是稀疏語言 。 一個稀疏語言比較不單純的例子是 ， 某個語言包含所有恰有k個1 ( k是某個常數 ) 的二進位字串 ，; 對任何長度n, 這個語言僅包含個字串, 而這個數字則被 nk給限制住 。