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 :
بازگشت