Skip to content

Commit

Permalink
fix typo, closes knowsys#57
Browse files Browse the repository at this point in the history
  • Loading branch information
anbereza committed Aug 4, 2021
1 parent 166132f commit 39d6f68
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Vorlesungen/lecture-11.tex
Original file line number Diff line number Diff line change
Expand Up @@ -339,7 +339,7 @@
\begin{frame}\frametitle{PSpace-Schwere}

\defbox{Ein Problem \Slang{Q} ist \redalert{PSpace-schwer} wenn
für jedes Problem \Slang{P} in PSpace ein polynomielle Reduktion $\Slang{P}\leq_p \Slang{Q}$ existiert. \Slang{Q} ist \redalert{PSpace-vollständig} wenn es PSpace-schwer ist und in PSpace liegt.}\bigskip\pause
für jedes Problem \Slang{P} in PSpace eine polynomielle Reduktion $\Slang{P}\leq_p \Slang{Q}$ existiert. \Slang{Q} ist \redalert{PSpace-vollständig} wenn es PSpace-schwer ist und in PSpace liegt.}\bigskip\pause

\theobox{\emph{Satz:} \Slang{TrueQBF} ist PSpace-schwer.}\pause

Expand Down

0 comments on commit 39d6f68

Please sign in to comment.