Re: No universal lossless compression

Sportman wrote:
> Why do you need it to prove to a court?


Because the Faculty of Computer Science of the german University of
Karlsruhe denies this. In a thesis I made a statement based on the
fact that for every lossy compression scheme there is an input
where compression-decompression results in transmission errors (that's
why it is called lossy), and for every lossless compression, there is an
input where the output of compression is longer than input. Therefore,
any hidden compression algorithm can cause transmission errors.

The Faculty denied this and a professor claimed, that algorithms like
MTF and LZ are such epoch making, that they can compress just anything.

I claimed that MTF is not a compression scheme at all, because output is
always of the same length as input, for LZ well known counterexamples
exist, and simply by counting bit sequences you can easily prove that
it is impossible that an universal lossless compression exists.

However, judges are not allowed to judge in other subjects than law.
Mathematical proofs are nice, but the court does not accept them
directly. Unfortunately, no professor will ever witness against any
other in Germany, so what I need is a book as an evidence.

regards
Hadmut
.

Relevant Pages

  • Re: No universal lossless compression
    ... > fact that for every lossy compression scheme there is an input ... > any hidden compression algorithm can cause transmission errors. ... I *doubt* very much that the faculty ... A *very simple* question to ask the court would be: ...
    (comp.compression)
  • Re: No universal lossless compression
    ... Hadmut Danisch wrote: ... > fact that for every lossy compression scheme there is an input ... > The Faculty denied this and a professor claimed, ... but the court does not accept them ...
    (comp.compression)
  • Re: No universal lossless compression
    ... >Because the Faculty of Computer Science of the german University of ... >fact that for every lossy compression scheme there is an input ... >The Faculty denied this and a professor claimed, ... "Every lossless compression algorithm that compresses at least one ...
    (comp.compression)
  • Re: No universal lossless compression
    ... | fact that for every lossy compression scheme there is an input ... | The Faculty denied this and a professor claimed, ... but the court does not accept them ...
    (comp.compression)
  • Re: No universal lossless compression
    ... > Universal lossless compression schemes exist: ... compression algorithm inputs exists where the output is longer than the ... The faculty claimed that this is wrong, ...
    (comp.compression)