Minimal Pairs and Complete Problems

Two sets are said to form a minimal pair for polynomial many-one reductions if neither set is in P and the only sets which are polynomially reducible (via polynomial many-one reductions) to both sets are in P. We consider the question of which complete sets can be the top (that is the supremum) of a minimal pair. Our main result is that any elementary recursive set which is hard for deterministic exponential time cannot be the top of a minimal pair. Hence in particular any complete set for an elementary recursive class containing exponential time cannot be such a supremum. For NP-complete sets the problem remains open. We show here that it is oracle dependent. This is the first example of an oracle dependent property which is completely degree theoretic.