Free Lossless Image Format
I guess this would be considered a Las Vegas algorithm: <a href="https://en.wikipedia.org/wiki/Las_Vegas_algorithm" rel="nofollow">https://en.wikipedia.org/wiki/Las_Vegas_algorithm</a> § “Relation to Monte Carlo algorithms”