|"s"|−"c" 比特，则可以说这个字符串可以被压缩掉 "c" 。这相当于说 "K"("s") ≤ |"s"|-"c"。否则的话，我们就说 "s" 不能被压缩掉 "c" 。如果一个字符串不能被压缩掉1，那么我们就说这个字符串是 "不可压缩的" 。根据鸽巢原理，每一个压缩后的字符串对应唯一的压缩前的字符串，所以一定存在。因为长度为 "n" 的字符串有 2 个，但是只存在 2 - 1 个长度小于 "n" 的字符串， (i.e. 长度可能为 0,1...,"n − 1)。 由于同样的理由，大部分的字符串都是