The enumerability and invariance of complexity classes
โ Scribed by F.D. Lewis
- Publisher
- Elsevier Science
- Year
- 1971
- Tongue
- English
- Weight
- 772 KB
- Volume
- 5
- Category
- Article
- ISSN
- 0022-0000
No coin nor oath required. For personal study only.
โฆ Synopsis
Several properties of complexity classes and sets associated with them are studied. An open problem, the enumerability of complexity classes, is settled by exhibition of a measure with some nonenumerable classes. Classes for natural measures are found to occupy the same isomorphism type; and a criterion for measures comes from this finding. General results about measures and unsolvability are presented and constraints are placed on complexity classes so that they possess identical properties.
๐ SIMILAR VOLUMES
A class K of structures is controlled if for all cardinals , the relation of L โ; -equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementa
Let k, n ยฅ N and f: {0, 1} n ร {0, 1} n Q {0, 1}. Assume Alice has x 1 , ..., x k ยฅ {0, 1} n , Bob has y 1 , ..., y k ยฅ {0, 1} n , and they want to compute municating as few bits as possible. The direct sum conjecture (henceforth DSC) n (log log(n))(log(n)) ) bits. This establishes a weak randomize