Exakte Algorithmen für schwere Graphenprobleme