• 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