From: Martin Mares <mj@ucw.cz>
Date: Fri, 13 Jan 2012 21:54:33 +0000 (+0100)
Subject: Prevody: Opravy drobnych preklepu
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=d3385fe71f0582d26d36555d28ef66faae701eb5;p=ads2.git

Prevody: Opravy drobnych preklepu

S diky Oskarovi Maxovi
---

diff --git a/8-prevody/8-prevody.tex b/8-prevody/8-prevody.tex
index 9d82c7e..8c15db4 100644
--- a/8-prevody/8-prevody.tex
+++ b/8-prevody/8-prevody.tex
@@ -143,7 +143,7 @@ n
 0 a~1 tak, aby formule dala výsledek~1 (byla {\I splnìna}).
 
 Zamìøíme se na formule ve~speciálním tvaru, v~takzvané {\I konjunktivní normální
-formu (CNF):}
+formì (CNF):}
 
 \itemize\ibull
 \:{\I formule} je slo¾ena z~jednotlivých {\I klauzulí} oddìlených spojkou~$\land$,
@@ -324,7 +324,7 @@ podgraf dan
 \figure{klika.eps}{Pøíklad kliky}{2in}
 
 Tento problém je ekvivalentní s~hledáním nezávislé mno¾iny. Pokud v~grafu prohodíme
-hrany a nehrany, stane se z~ka¾dé kliky a nezávislá mno¾ina a naopak. Pøevodní funkce
+hrany a nehrany, stane se z~ka¾dé kliky nezávislá mno¾ina a naopak. Pøevodní funkce
 tedy zneguje hrany a ponechá èíslo~$k$.
 
 \figure{doplnek_nm.eps}{Prohození hran a nehran}{2in}
@@ -461,7 +461,7 @@ probl
 \s{Definice:} $\NP$ je tøída rozhodovacích problémù, v~ní¾ problém~$L$ le¾í právì
 tehdy, pokud existuje nìjaký problém~$K\in\P$ a polynom~$g$, pøièem¾ pro ka¾dý
 vstup~$x$ je $L(x)=1$ právì tehdy, pokud pro nìjaký øetìzec~$y$ délky nejvý¹e
-$g(\vert y\vert)$ platí $K(x,y)=1$.%
+$g(\vert x\vert)$ platí $K(x,y)=1$.%
 \foot{Rozhodovací problémy mají na vstupu øetìzec bitù. Tak jaképak $x,y$?
 Máme samozøejmì na~mysli nìjaké binární kódování této dvojice.}