Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,356,646 papers from all fields of science
Search
Sign In
Create Free Account
Compression theorem
In computational complexity theory the compression theorem is an important theorem about the complexity of computable functions. The theorem states…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Complexity class
Computable function
Computational complexity theory
Gödel numbering
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Formalization of Rice ’ s Theorem over a Functional Language Model
Thiago Mendonça Ferreira Ramos
,
Ariane Alves Almeida
,
M. Ayala-Rincón
2019
Corpus ID: 171090334
Classical proofs of Rice’s Theorem assume the existence of a universal (Turing) machine and build a reduction from the problem of…
Expand
2007
2007
Quantum Source Coding and Data Compression
D. Petz
2007
Corpus ID: 115622553
This lecture is intended to be an easily accessible first introduction to quantum information theory. The field is large and it…
Expand
2005
2005
An Implicit Wavelet Sparse Approximate Inverse Preconditioner
S. Hawkins
,
Ke Chen
SIAM Journal on Scientific Computing
2005
Corpus ID: 25872246
Wavelet-based sparse approximate inverse preconditioners are considered for the linear system Ax=b. The preconditioners are good…
Expand
Highly Cited
2003
Highly Cited
2003
A Direct Sum Theorem in Communication Complexity via Message Compression
Rahul Jain
,
J. Radhakrishnan
,
P. Sen
International Colloquium on Automata, Languages…
2003
Corpus ID: 687265
We prove lower bounds for the direct sum problem for two-party bounded error randomised multiple-round communication protocols…
Expand
2003
2003
A KRASNOSELSKII CONE COMPRESSION THEOREM FOR Ukc MAPS By DONAL O’REGAN* Department of Mathematics, National University of Ireland, Galway
D. O’Regan
2003
Corpus ID: 14814967
The main purpose of this paper is to prove a generalisation of the Krasnoselskii cone compression theorem for theUkc maps of Park…
Expand
2002
2002
Statistical mechanics of data compression theorem
T. Murayama
Proceedings IEEE International Symposium on…
2002
Corpus ID: 121895035
We analyze the performance of a linear code used for data compression of a Slepian-Wolf type. In our framework, two correlated…
Expand
1998
1998
A Rate-Distortion Theorem for Arbitrary Discrete Sources
Po-Ning Chen
,
F. Alajaji
IEEE Transactions on Information Theory
1998
Corpus ID: 15581771
A rate-distortion theorem for arbitrary (not necessarily stationary or ergodic) discrete-time finite-alphabet sources is given…
Expand
1997
1997
Compression Theorems and Steiner Ratios on Spheres
J. Rubinstein
,
J. F. Weng
Journal of combinatorial optimization
1997
Corpus ID: 35145869
AbstractSuppose AiBiCi (i = 1, 2) are two triangles of equal side lengths lying on spheres Φi with radii r1, r2 (r1 < r2…
Expand
1994
1994
A Recursive Introduction to the Theory of Computation
Carl H. Smith
Graduate Texts in Computer Science
1994
Corpus ID: 206656265
From the Publisher: The aim of this textbook is to present an account of the theory of computation. After introducing the…
Expand
1976
1976
Nonexistence of Program Optimizers in Several Abstract Settings
D. Alton
Journal of computer and system sciences (Print)
1976
Corpus ID: 8943760
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required