Hallo,
liegt F nur in NP-schwer oder auch in semi-entscheidbar? Hätte ich also F auch irgendwo in NP-schwer einzeichnen können?
Ich sehe keinen Grund, warum F semi-entscheidbar sein muss. Für meine Begriffe kannst du es irgendwo in NP-Schwer einzeichnen.
Tobias (Tutor)