Problème d'interprétation simple concernant la hiérarchie polynomiale?


8

Donc représente les problèmes où nous avons de petits témoins vérifiables pour les instances et pour les petits témoins vérifiables pour les instances . Comment ça marche pourNPYEScoNPNO

  1. PNP

  2. NPNP

  3. coNPNP

  4. etc?

Réponses:


8

Il existe une interprétation logique des différents niveaux de la hiérarchie polynomiale, qui étend la caractérisation témoin de et .NPcoNP

Un langage est dans s'il y a un prédicat de polytime et un polynôme tels que Ici:LΣkPf

xL|y1|(|x|)|y2|(|x|)Q|yk|(|x|)f(x,y1,,yk).

  • |y|(|x|) signifie qu'il existe un nombre dont la longueur est au maximum telle que ...y(|x|)
  • |y|(|x|) mean that for all y whose length is at most (|x|), the following holds ...
  • Q is if k is odd and if k is even.

Similarly, L is in ΠkP if it can be written in a similar way, only starting with .

As an example, NPNP is Σ2P, and consists of all languages such that

xL|y1|(|x|)|y2|(|x|)f(x,y1,,yk).
As another example, coNPNP is Π2P.

Your third example is PNP, which is Δ2P. I'm not sure what is the logical characterization.


This old MO post has a few characterisations of Δ2P, although none seem purely logical. It may be possible to write one of them in a purely logical form.
Discrete lizard

@YuvalFilmus Could you be more verbose on this at least for NPNP?
T....

1

To say NP contains problems with "small verifiable witnesses" is conceptually inaccurate at best. The witnesses are only polynomially bounded because we want the verifier to be efficient (i.e., run in polynomial time). In such a setting, only a polynomially long prefix of any witness can be relevant, hence why we insist on polynomially long witnesses. Also, "small" potentially means constant or logarithmic; those are not used, of course, because they can be brute-forced by polynomial-time algorithms (and only give us problems in P).

The way the proof system notion of NP generalizes to yield the polynomial hierarchy is much like the logical point of view that Yuval Filmus describes in his answer. Let me introduce the less technical view behind it.

We consider two-party games which are based on QBFs. An instance (or the "board" if you care to imagine it as a board game like chess or checkers) of such a game is a formula φ(x1,y1,,xm,ym), and the two players, say A and B, take turns choosing values for xi and yi, respectively. Each such choice constitutes a move. When no more values are left, the formula (i.e., the game's final position) is evaluated; A wins if it is true, and B wins if it is false.

This game models existential and universal quantifiers in the following way: If the formula is a true QBF, then A (which plays the role of existential quantifiers) will always have a winning strategy and be able to choose a series of x1,,xm which cause φ to be true regardless of the values y1,,ym picked by B (which plays the role of universal quantifiers). The "yes" instances are those in which the QBF is true, that is, A always has a winning strategy, regardless of how B plays.

Σi and Πi then correspond to games which last for i moves and in which A and B, respectively, get to go first. Actually, you even get PSPACE and the PHPSPACE inclusion as a bonus since it corresponds to the class of games which go on for an arbitrary (though predetermined) number of moves.

Note also that Σ1=NP and Π1=coNP are rather degenerate cases of these games because B and A, respectively, do not get the chance to move at all! For example, for the "yes" instances of Π1=coNP, A gets to win simply by doing nothing (since a "yes" instance is a tautology and is true regardless of what B chooses).

There is also a more generalized version of the above which is based on generic games (and not QBFs specifically). You can find it, for instance, in section 5.4 "PSPACE and Games" of Goldreich's "Computational Complexity: A Conceptual Perspective" (here is a free link to the draft version; see p. 174 as well as pp. 118–121).


Thank you. How does the game properties reflect PNP, NPNP and coNPNP (like is there a short polynomial length witness for every move A makes or something like that?)
T....

In the generic version from the Goldreich book I mentioned, you can find that we need the following specifics: 1. "each move has a description length that is bounded by a polynomial in the length of the initial position"; 2. updating the current position can be done in polynomial time (resp. to the length of the initial position); 3. determining the winner from the final position takes polynomial time. These are all fulfilled by the QBF game.
dkaeae

"The witnesses [for NP] are only polynomially bounded because we want the verifier to be efficient (i.e., run in polynomial time)" That's not really true. Verification is in polynomial time with respect to the length of the witness so the witness is "efficiently" verifiable regardless of how long it is. We require the witness to be polynomially bounded because that corresponds to the polynomial time bound of the nondeterministic TM the witness is witnessing.
David Richerby

@DavidRicherby Actually, for (offline) nondeterministic TMs it is immaterial whether the nondeterministic input is even bounded or not (i.e., an infinite string). In that setting, NP is the set of problems decidable in a polynomial amount of steps in the length of the input. That this is also a polynomial in the number of nondeterministic bits used is a (desirable) side effect. For online nondeterminism, even more so. The witness length is dictated by the time bound, not the other way around.
dkaeae

1
@ThomasKlimpel Indeed, I meant Σi. Thanks for pointing it out. Also thanks for providing an insightful answer; I was not aware there was a (at least partially) "nice" logical characterization of Δi (and could not find any in literature) +1
dkaeae

1

PNP is the closure of NP under polynomial time Turing reductions (=Cook reductions). Therefore, it is closed under Cook reductions, so that we have PNP=PPNP. In fact, for any oracle A, we define PA as the closure of A under Cook reductions, and we always have PA=PPA and NPA=NPPA. Also coNPA=coNPPA and PNP=PcoNP. But Cook reductions feel slightly unnatural for decision problems.

Note that P is a function class in disguide, and that PNP too is a function class in disguise. Let us write PF for the class of polynomial time computable partial functions, i.e. the function class corresponding to P, and PFNP for the function class corresponding to PNP. Including the partial functions allows to use established notation (used in A taxonomy of complexity classes of functions by A. Selman, 1994) that avoids the name clash with the unrelated class FP.

Cook reduction feel more natural for function classes. You probably encountered a Cook reduction (and implicitly also the class PFNP) at the point where your text book or professor explained why it is OK to only look at decision problems. Typically, something like an algorithm (from PFNP) to compute the lexicographically last satisfying assignment of a given SAT instance is described. One first asks the oracle whether there is any satisfying assignment at all, and then determines the values of the (binary) variables xk by successively asking the oracle whether there is a satisfying assignment where x1,,xk1 are set to the already determined values, and xk is set to 1. If yes, then one sets xk to 1, otherwise one sets xk to 0. (Note that this is a partial function, since the function is undefined in case there is no satisfying assignment.)


Let me try to say some words about Yuval Filmus remark:

Your third example is PNP, which is Δ2P. I'm not sure what is the logical characterization.

There are two difficulties to overcome: (1) the characterization of a function class has a different feel than the logical characterization of a decision class, and (2) at least for PA we have to model the deterministic character of the queries to the oracle A.

If we look at the class UPF of partial functions corresponding to the class UP of decision problems first, then we can ignore (2) for a moment: A partial function pf is in UPFΣkP if there is a polytime partial function p, a polytime predicate f and a polynomial such that pf(x)=p(x,z) where

1|z|(|x|)p(x,z)|y1|(|x|)|y2|(|x|)Q|yk|(|x|)f(x,y1,,yk,z).
Here:

  • |y|(|x|) means that there exists a number y whose length is at most (|x|) such that ...
  • |y|(|x|) mean that for all y whose length is at most (|x|), the following holds ...
  • Q is if k is odd and if k is even.

One could try to overcome (2) by introducing the operators BIT(z,i):=z[i] and TRUNC(z,i):=z|[1,i). But it would still get ugly, and one can argue whether this would really constitute a logical characterization.

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.