Zum Beispiel in vielen Instanzen von Problemen, bei denen eine Teilmenge S von einer Menge M gewählt werden soll, haben Elemente x von M gewisse Eigenschaften, durch die man effizient entscheiden kann, dass x in S sein muss oder nicht in S sein kann.