DocumentCode
3540384
Title
Juris Hartmanis: fundamental contributions to isomorphism problems
Author
Young, Paul
Author_Institution
Dept. of Comput. Sci., Washington Univ., Seattle, WA, USA
fYear
1988
fDate
14-17 Jun 1988
Firstpage
138
Lastpage
154
Abstract
The author surveys Hartmanis´ contributions to isomorphism problems. These problems are primarily of two forms: first, isomorphism problems for restricted programming systems, including the Hartmanis-Baker conjecture that all polynomial time programming systems are polynomially isomorphic; and second, the research on isomorphisms, and particularly polynomial time isomorphisms, for complete problems for various natural complexity classes, including the Berman-Hartmanis conjecture that all sets complete for NP under Karp reductions are polynomially isomorphic. In addition to the work of Hartmanis and his students, the author discusses some of the impact that this research has had on other topics and other researchers in structural complexity theory
Keywords
computational complexity; programming theory; Berman-Hartmanis conjecture; Hartmanis-Baker conjecture; Juris Hartmanis contributions; Karp reductions; isomorphism problems; natural complexity classes; polynomial time programming systems; restricted programming; structural complexity theory; Complexity theory; Computer science; Functional programming; Indexing; Polynomials; Size measurement; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Structure in Complexity Theory Conference, 1988. Proceedings., Third Annual
Conference_Location
Washington, DC
Print_ISBN
0-8186-0866-8
Type
conf
DOI
10.1109/SCT.1988.5274
Filename
5274
Link To Document