Jak udowodnić ze flac jest formatem bezstratnym?

[Michal-S2]

Mam trochę dziwne pytanie... Jak matematycznie udowodnić że flac jest formatem bezstratnym? Nie chodzi mi o to, że ktoś napisze, że dlatego bo tak jest na Wikipedii. Ktoś ma jakiś pomysł? Albo chociaż jakąś wskazówkę jak się do tego zabrać?

Czy takie tłumaczenie wystarczy?

Kompresja FLAC wykorzystuje predykcję liniową - wartość pojedynczej próbki dźwięku jest przewidywana na podstawie wartości kilku wcześniejszych próbek, zapisywana jest tylko różnica między wartością rzeczywistą a obliczoną (różnice mają zwykle niewielkie wartości).

[Cyfrowy Baron]

A jak chcesz to sprawdzić matematycznie nie mając do dyspozycji kodu źródłowego takiego kodeka, by móc go przeanalizować. Z kompresją FLAC jest podobnie jak ExePacker-ami, służącymi do kompresji plików aplikacji, czy też archiwów ZIP, RAR, itp. są to kompresje bezstratne, a bez dostępu do kodu trudno tutaj cokolwiek udowodnić.
Najprościej byłoby coś skompresować za pomocą FLAC, potem z-dekompresować i porównać pliki jakimś programem do porównywania zawartości plików np. Total Commander'em. Jeżeli kompresja była bezstratna to po dekompresji powinniśmy otrzymać pierwotny plik.