0 0 m -1 0.333 l -1 -0.333 l h 0 0 m -1 0.333 l -1 -0.333 l h 0.6 0 0 0.6 0 0 e 0.4 0 0 0.4 0 0 e 0.6 0 0 0.6 0 0 e 0.5 0 0 0.5 0 0 e 0.6 0 0 0.6 0 0 e 0.4 0 0 0.4 0 0 e -0.6 -0.6 m 0.6 -0.6 l 0.6 0.6 l -0.6 0.6 l h -0.4 -0.4 m 0.4 -0.4 l 0.4 0.4 l -0.4 0.4 l h -0.6 -0.6 m 0.6 -0.6 l 0.6 0.6 l -0.6 0.6 l h -0.5 -0.5 m 0.5 -0.5 l 0.5 0.5 l -0.5 0.5 l h -0.6 -0.6 m 0.6 -0.6 l 0.6 0.6 l -0.6 0.6 l h -0.4 -0.4 m 0.4 -0.4 l 0.4 0.4 l -0.4 0.4 l h -0.43 -0.57 m 0.57 0.43 l 0.43 0.57 l -0.57 -0.43 l h -0.43 0.57 m 0.57 -0.43 l 0.43 -0.57 l -0.57 0.43 l h 0 0 m -1 0.333 l -1 -0.333 l h 0 0 m -1 0.333 l -0.8 0 l -1 -0.333 l h 0 0 m -1 0.333 l -0.8 0 l -1 -0.333 l h -1 0.333 m 0 0 l -1 -0.333 l 0 0 m -1 0.333 l -1 -0.333 l h -1 0 m -2 0.333 l -2 -0.333 l h 0 0 m -1 0.333 l -1 -0.333 l h -1 0 m -2 0.333 l -2 -0.333 l h 64 784 m 64 688 l 128 688 l 128 784 l h 64 784 m 64 752 l 128 752 l 128 784 l h 64 720 m 64 688 l 128 688 l 128 720 l h 112 768 m 144 784 l 144 784 l NP-vollst$\ddot a$ndig SAT $NP \subseteq EXP$ P $SAT \equiv^P HAM \equiv^P Vertex Cover \equiv^P ...$