Übung 7
7.6.17
Steffen Reith
PSPACE 1
:
Hi
- i
Zttp =
NPNPzjhzP_B.sn#zP=coNpNP=cowpc0NP=yzpOzP=pNPNPzZspwwat0i:PEjiogn
,
ZP = ITNP =. co - NP = ttP
1
19 \
SAT p TAUT
Aufgaben
Der .
folgende Überprüfbarkeit Algorithms zeigt
diepolyuomielle
Eingabe
:KG.li
,f)
, wobei G = C v.E)
i,
teste
, obf
die Formf
: Uns 21,. i. KG hatii,
für
alle Kanten ( hv ) EE doiii ,
iflfui
=fcv
))
then lehne abiv
akzeptiere
Laufzeit
:Polynomial
⇒ COLORABILITY
ENPqg.j.gg
Der folgende Polynomial
zeitalgorithms
berechnet eine Zweifärbung
:Eingabe
: SG ) mit Gz ( vi E) , V = hin ,- . . .vn } und E = 2h ,. . , ein'sfarbe
[ 13=1 ;repeat
für
alleKanten
ei =lnj
,uji )
doif
(nj gefärbt
undnji
nichtgefärbt )
thenfärbe uj
, mit der anderen Farbe ;/
*farbe
[j
' Iz 3-farbig 3*1 überprüfe alle
direkten Nachbarn von nj ;if (
Kollision beimFärben
aufgetreten) then
returnfalse
;eudifi
if
l aktuelleZusammenhangs komponente vollständig )
thenSuche weitere
Zhangs
komponente ;fävbe
einen Knoten dieserKomponente
mit 1;endif
until
(
alle Komponenten bearbeitet)
.=D 2-COLOR ABILITY EP