𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Structural properties of bounded relations with an application to NP optimization problems

✍ Scribed by Wolfgang Merkle


Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
179 KB
Volume
250
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis


We introduce the notion bounded relation which comprises most resource bounded reducibilities which can be found in the literature, including non-uniform bounded reducibilities such as 6 P=poly T . We state conditions on bounded relations which are again satisΓΏed for most bounded reducibilities and which imply that every countable partial ordering can be embedded into every proper interval of the recursive degrees. As corollaries, we obtain that every countable partial ordering can be embedded into every proper interval of (REC; 6 P=poly T ), as well as into every proper interval between either two maximization or two minimization problems in the structures (NPO; 6E) and (NPO; 6L). For the two latter structures, we show further that the result about embeddings of partial orderings extends to embeddings of arbitrary countable distributive lattices where in addition the least or the greatest element of the lattice can be preserved. Among other corollaries, we obtain that for both structures every non-trivial NP optimization problem bounds a minimal pair. In connection with embeddings into NPO we introduce a representation of maximization or minimization problems by polynomial time computable functions. We consider decidability issues w.r.t. this representation and show for example that there is no e ective procedure which decides for a (subrecursive) index of a polynomial time computable function whether the corresponding maximization problem is approximable within a constant factor.


πŸ“œ SIMILAR VOLUMES