Jump to content

Compression theorem

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by MathMartin (talk | contribs) at 15:52, 2 October 2005 (Initial stub). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In computational complexity theory the compression theorem is an important theorem about the complexity of computable functions.

The theorem states that there exists no largest complexity class, with computable boundary, which contains all computable functions.