In this paper, we study the complexity of computing better solutions to optimization problems given other solutions. This is done in the context of the counterexample computation model introduced in [KPS90]. Assuming PH ≠ ΣP3, we prove that PTIME transducers cannot compute optimal solutions for many problems, even given O(n1-ϵ) non-trivial solutions. These results are used to establish sharp lower bounds for several problems in the counterexample model. We extend the model by defining probabilistic counterexample computations and show that our results hold even in the presence of randomness.
CITATION STYLE
Ranjan, D., Chari, S., & Rohatgi, P. (1991). Improving known solutions is hard. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 510 LNCS, pp. 381–392). Springer Verlag. https://doi.org/10.1007/3-540-54233-7_149
Mendeley helps you to discover research relevant for your work.