On the complexity of computing the logarithm and square root functions on a complex domain

  • Authors:
  • Ker-I Ko;Fuxiang Yu

  • Affiliations:
  • Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY;Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY

  • Venue:
  • COCOON'05 Proceedings of the 11th annual international conference on Computing and Combinatorics
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

The problems of computing single-valued, analytic branches of the logarithm and square root functions on a bounded, simply connected domain S are studied. If the boundary $\partial S$ of S is a polynomial-time computable Jordan curve, the complexity of these problems can be characterized by counting classes # P, MP (or MidBitP), and ⊕ P: The logarithm problem is polynomial-time solvable if and only if FP=# P. For the square root problem, it has been shown to have the upper bound PMP and lower bound P⊕P. That is, if P=MP then the square root problem is polynomial-time solvable, and if $P\not= \oplus P$ then the square root problem is not polynomial-time solvable.