A GIF kapcsán emlegette valaki, és elgondolkoztatott a dolog: létezik-e lehető legrosszabb veszteségmentes tömörítés? Ez matematikáért kiált :D
A veszteségmentes tömörítés elvileg olyan függvény/algoritmus, ami megadott számsorozatot egy másikká transzformál, hogy visszaalakítható legyen. Nyilván az a jó tömörítés, ahol az eredmény mérete minél kisebb az általánosan használt bemenettípusoknál. A "legszarabb" tömörítés tehát az, ami végtelen hosszú számsorozatot generál, amelynek minden elemének ismeretével visszaállítható az eredeti adat, de semmilyen véges nagyságú részhalmazának ismeretéből nem. Az viszont nem triviális, hogy létezik-e ilyen függvény.