Structural Complexity of Multiobjective NP Search Problems
An NP search problem is a multivalued function that maps instances to polynomially length-bounded solutions such that the validity of solutions is testable in polynomial time. NPMV g denotes the class of these functions.
There are at least two computational tasks associated with an NP search problem:
(i) Find out whether a solution exists.
(ii) Compute an arbitrary solution.
Further computational tasks arise in settings with multiple objectives, for example:
(iii) Compute a solution that is minimal w.r.t. the first objective,
while the second objective does not exceed some budget. Each such computational task defines a class of multivalued functions. We systematically investigate these classes and their relation to traditional complexity classes and classes of multivalued functions, like NP or max·P.
For multiobjective problems, some classes of computational tasks turn out to be equivalent to the function class NPMV g , some to the class of decision problems NP, and some to a seemingly new class that includes both NPMV g and NP. Under the assumption that certain exponential time classes are different, we show that there are computational tasks of multiobjective problems (more precisely functions in NPMV g ) that are Turing-inequivalent to any set.
Unable to display preview. Download preview PDF.
- 4.Beigel, R., Bellare, M., Feigenbaum, J., Goldwasser, S.: Languages that are easier than their proofs. In: IEEE Symposium on Foundations of Computer Science, pp. 19–28 (1991)Google Scholar
- 6.Borodin, A.B., Demers, A.J.: Some comments on functional self-reducibility and the NP hierarchy. Technical Report TR76-284, Cornell University, Department of Computer Science (1976)Google Scholar
- 7.Fenner, S., Green, F., Homer, S., Selman, A.L., Thierauf, T., Vollmer, H.: Complements of multivalued functions. Chicago Journal of Theor. Comp. Sc., Article 3 (1999)Google Scholar
- 16.Selman, A.L.: Much ado about functions. In: Proceedings 11th Conference on Computational Complexity, pp. 198–212. IEEE Computer Society Press (1996)Google Scholar