ロスレス圧縮できない文字列が1つ以上あるのではないかと思っていました。より正式には:
String
文字列、f(var)
の圧縮バージョンを返す圧縮関数、var
次g(var)
のような解凍関数、g(f(var)) = var
およびstrlen(var)
の長さを返す関数とするとvar
、または
の有効な値はありString
ますstrlen(String) < strlen(f(String))
かstrlen(String) = strlen(f(String))
?
理論的な答えだけでなく、さまざまな言語やさまざまな圧縮アルゴリズムを使用した例も歓迎します。