Zeige: Falls [mm] P\neq [/mm] NP, so gibt es Sprachen L in [mm] NP\setminus [/mm] P, die nicht NP-vollständig sind.
Das ist ein altes Resultat, man findet solche Dinge ohne Probleme in der Literatur. Hier kann man es aber einfach auch mal selber probieren. Ich werd dazu in einer Mitteilung erste Lösungshinweise geben.
(unbefristet) 