Abstract
Joseph and Young [JY-85] hypothesized that the Berman-Hartmanis isomorphism conjecture fails if there exists a k-completely creative set in NP with no p-invertible p-completely productive functions. We verify this hypothesis for DEXT based on new results of p-creative sets in [Wan-89]. In particular, we prove that the isomorphism conjecture for DEXT fails iff there is a p-creative set for P in DEXT with no p-invertible p-productive functions.
This work was supported in part by NSF grant CCR-8814339 and a Boston University Presidential Fellowship.
Preview
Unable to display preview. Download preview PDF.
References
L. Berman, Polynomial reducibilities and complete sets, Ph.D. thesis, Cornell University, 1977.
K. Ganesan, Complete problems, creative sets and isomorphism conjectures, Ph.D. thesis, Boston University, 1989.
J. Grollmann and A. Selman, Complexity measures for public-key cryptosystems, SIAM J. Comput., 17(1988) 309–335.
D. Joseph and P. Young, Some remarks on witness functions for nonpolynomial and noncomplete sets in NP, Theoret. Comput. Sci., 39(1985) 225–237.
K. Ko, T. Long, and D. Du, A note on one-way functions and polynomial-time isomorphisms, Theoretical Computer Science, 47(1986) 263–276.
S. Kurtz, S. Mahaney, and J. Royer, Collapsing Degrees, University of Chicago, TR-86-006, 1986.
S. Mahaney and P. Young, Reductions among polynomial isomorphism types, Theoretical Computer Science, 39(1985) 207–224.
J. Myhill, Creative Sets, ZML 1(1955) 97–103.
H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill Book, 1967.
J. Wang, On p-creative sets and p-completely creative sets, to appear in Theoretical Computer Science. The earlier version of this paper appeared in IEEE Proceedings of the 4th Annual Conference on Structure in Complexity Theory, June 1989, 24–33.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, J. (1991). Some remarks on polynomial time isomorphisms. In: Akl, S.G., Fiala, F., Koczkodaj, W.W. (eds) Advances in Computing and Information — ICCI '90. ICCI 1990. Lecture Notes in Computer Science, vol 468. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53504-7_71
Download citation
DOI: https://doi.org/10.1007/3-540-53504-7_71
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53504-1
Online ISBN: 978-3-540-46677-2
eBook Packages: Springer Book Archive