Abstract
In this chapter we expand more broadly on the idea of using a subroutine for one problem in order to efficiently solve another problem. By doing so, we make precise the notion that the complexity of a problem B is related to the complexity of A – that there is an algorithm to efficiently accept Brelative to an algorithm to efficiently decide A. As in Sect. 3.9, this should mean that an acceptor for B can be written as a program that contains subroutine calls of the form “x ∈ A,” which returns True if the Boolean test is true and returns False otherwise. Recall that the algorithm for accepting B is called a reduction procedure and the set A is called an oracle. The reduction procedure is polynomial time-bounded if the algorithm runs in polynomial time when we stipulate that only one unit of time is to be charged for the execution of each subroutine call. Placing faith in our modified Church’s thesis and in Cobham’s thesis, these ideas, once again, are made precise via the oracle Turing machine.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
In the UNIT RESOLUTION problem, we represent a clause c = x 1 ∨ ⋯ ∨ x k as the set c = { x 1, …, x k }.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Homer, S., Selman, A.L. (2011). Relative Computability. In: Computability and Complexity Theory. Texts in Computer Science. Springer, Boston, MA. https://doi.org/10.1007/978-1-4614-0682-2_7
Download citation
DOI: https://doi.org/10.1007/978-1-4614-0682-2_7
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4614-0681-5
Online ISBN: 978-1-4614-0682-2
eBook Packages: Computer ScienceComputer Science (R0)