$A \notin EXPTIME \backslash PSPACE$: Verständnisproblem

Question

$A \notin EXPTIME \backslash PSPACE$

Soll heißen A ist nicht Element von EXPTIME ohne PSPACE?

Weil so wie ich die Aussage lese, mach sie für mich keinen Sinn. PSPACE is doch eine Teilmenge von EXPTIME und P und NP sind wiederum eine Teilmenge von PSPACE. Wenn ich jetzt PSPACE "entferne" ist damit nicht auch gleichzeitig A "weg", da es in PSPACHE liegt, da A NP-vollständig ist?

Oder Darf man sich das nicht so vorstellen, sondern praktisch im Gedanken nur den PSPACE-Kreis entfernen und die Kreise die darin waren stehen lassen? (also bildlich gesprochen)

Answer 1

Das stimmt schon so, PSPACE ist Teilmenge von EXPTIME. Also ist EXPTIME\PSPACE nur noch die Menge um PSPACE herum (bis zur Grenze von EXPTIME). In dieser Menge ist also auch NP entfernt worden. Also ist A nicht mehr Teil der resultierenden Menge.

Philippe (Tutor)