leitende je Klausel

(1)

(2)

Blatts _Aufgabe ² _Max

. Zwei

leitende _je Klausel

-

i ) ^gesucht

^:

^kleines ^mzo ^mit ^Rcs

^,

^IHK ^Res ^# ^H ⁾

•

bis Regen ⁽ ^H ⁾

^-

^Res

^#

⁽ ^H ⁾ ^koennt

^immer

min .

eine Klausel dazu

°

Eine Klausel

_,

die dazukommt hat

^max^.

z Litern le

Das

^max^.

^M ergibt ^sich _,

^wenn ⁱⁿ

jeden

Desolation ^dritt _genau ^ein ^Re ^solvent ^dazu ^Kennt

Anzahl ^der Klauseln ^mit

^nur

² Literaten zählen

(3)

# Kz

^-

^2h ^Illiterat )

+ ( Y ) ⁽ ² ^ohne zurücklegen

^aus

^2h06 ;)

1- ¹ ⁽ ^leere Klausel )

# KEIN ^t ₊₁₌₄ "Y ⁺¹

=

2h +2hL

^-

_htt

⁼

^2N

^? ^-

₊₁

D. ^h

.

:

Res

_#

⁽ _Hm ₎

^-

Res

_-₊_an

⁽ _Hat

Ben

^:

das ^Kann

^man

^nach ^kleiner ^machen ⁽ ^jedes

Litoral

muss

Vorhanden

_sein

,

leitende positiv

und

negativ

^usw ^.

)

(4)

Ü ) ^Wir ^haben ^gesehen

^:

^Anzahl

^de^-

Schleifendurchläufe

E

Zu

^'

_tritt

Frage

^: ^wie

groß ^ist

^ein

Schleifendurchlauf ?

Antwort

:

Jede Klausel

_muss

mit _jeder

^anderen

verglichen

^werden

^und ^je ^Klausel muss

i. des Literat mit Literat

in

anderer Klausel Verglichen ^werden

0C ^, ^µ

^,

²⁾ ji

^"^"^" ^"

^haben ^fit

^,

^Länge

-

Ve^-

gleich de

^-

^Klauseln

Artmann OUHT ₎

^-

_Kettner ₎ EIOLHIIZIHPHIH ₎

=

0 ( THY ) ₌₎ Polynom

^:^elle

^Laufzeit

ZSAT EP

3SAT ÖP

(5)

Blattsaft

^}

H Horn _ist Ros !

^H

⁾

^auch

^Horn ^?

Ja ,

denn ^für

^zwei

^Horn ^Klauseln ^K

, und

Kz

gilt

:

Sei #

+

( K )

:#

Anzahl ^der positiven ^Literat

^,

^ich

# ( K )

=D,

- II ^-

negativen

^-^' ^' ^-

D. h

^.

falls ^K ^Reservat

^von

^K

^,

^und Kz

_,

^das ^gilt tttlk ⁾

⁼

^# ⁺¹⁴ ⁾

^t

^# ⁺¹⁴ ) ^-1 ^EI ^und

ET IIII

^.tn

(

o^.

b. _d. _A

.

K

,

enthält positives Literat )

#IN ^⇐ HECK

_,

₎ THEM )

^-

¹

=) ^K ^Horn _Klausel

Res

_#

^LH ₎ ist Harford _#

(6)

0aHSAafgabe4-Hlyy.ee/--llKlnxnryIez)vhxmzHvlynz ⁾ ⁾

✓ X

Deo

:

H Tautologie gdw ^7A unerfüllbar

^.

^Idee

^:

Berechne niet Res

_*

GH )

^senden

zeig

,

l ) ^ist

ⁱⁿ

^Re _# ^KH )

→

H

= I

Its _my

^sz

)

vlnxnztvlynzlvxl-kvyynzlnlyvztnkynzlmxx.tt

4

=

)

ⁿ

^H ist unerfüllbar

tt ist

^ein,

Tautologie

(7)

Glatt ⁶ Aufgabe 1

-

LEE

^:

CIA ) ^Jede Aussagen ^variable ^ist ^Formel

ⁱⁿ

La

(

_Is

) ^Wenn Hn

,

Hz

^C-

La

^,

^dann ^auch ⁽ ^H

,

MH )

^C-

Lp

Semantik

wenn

H

, ,

H

,

Ela

^,

^dass ^ICH ^MH ⁾

^-a.

nord HTH )

,

ICH ) )

ü )

„

"

für alle HELM ^existiert ^ein ^HIE

^-µ

mit HEHI

Gew

^:

Induktion über ^Formel aufbau

( IA )

^x; E

Lp ^ist ^Aussage

^,

^variable ^Ki Elw

Hs ₎ ICH

_,

alte )

⁼

^hand ^III Hielte ⁾ )

⁼

\ _/

=

nand ( ICH

,

'

)

_,

^ICH ;) ) ^↳

"

4 ^\ ₍

^/

AL

= non

land IIIHII

,

ICH )

^:

^Itil ^Hin ^Hit ⁾

=3 ^H

_,

Mtz ^E) ^H ,

'

n

Hit

^-

Hit Hilft

_,

(8)

⇐ _Für _alle HELA

,

ex.tt/ELa--mitH=Ht

KAI

^5.0^.

( ^IS )

^wie ^oben _, ^nur

^für

¹_, ¹_, ^V

THE ^H

^'

MH

^'

Heute EHHIAHIIMIHIMHI ) )

H

_,

VHZE

⁷⁾

^H

_,

^um HLEIIIH

_,

leitende je Klausel

Blatts Aufgabe 2 Max

leitende je Klausel

i ) gesucht

kleines mzo mit Rcs

IHK Res # H )

bis Regen ( H )

Res

( H ) koennt

eine Klausel dazu

Eine Klausel

die dazukommt hat

z Litern le

Das

M ergibt sich ,

jeden

Desolation dritt genau ein Re solvent dazu Kennt

Anzahl der Klauseln mit

2 Literaten zählen

# Kz

2h Illiterat )

+ ( Y ) ( 2 ohne zurücklegen

2h06 ;)

1- 1 ( leere Klausel )

# KEIN t +1=4 "Y +1

2h +2hL

htt

2N

+1

D. h

Res

( Hm )

Res

( Hat

Ben

das Kann

nach kleiner machen ( jedes

Litoral

Vorhanden

leitende positiv

negativ

)

Ü ) Wir haben gesehen

Anzahl

Schleifendurchläufe

Zu

tritt

Frage

groß ist

Schleifendurchlauf ?

Antwort

Jede Klausel

mit jeder

verglichen

und je Klausel muss

i. des Literat mit Literat

anderer Klausel Verglichen werden

0C , µ

2) ji

haben fit

Länge

-

gleich de

Klauseln

Artmann OUHT )

Kettner ) EIOLHIIZIHPHIH )

0 ( THY ) =) Polynom

Laufzeit

ZSAT EP

3SAT ÖP

Blattsaft

H Horn ist Ros !

)

Horn ?

denn für

Horn Klauseln K

Kz

gilt

Sei #

( K )

Blatts _Aufgabe ² _Max

leitende _je Klausel

i ) ^gesucht

^kleines ^mzo ^mit ^Rcs

^IHK ^Res ^# ^H ⁾

bis Regen ⁽ ^H ⁾

^Res

⁽ ^H ⁾ ^koennt

^M ergibt ^sich _,

Desolation ^dritt _genau ^ein ^Re ^solvent ^dazu ^Kennt

Anzahl ^der Klauseln ^mit

² Literaten zählen

^2h ^Illiterat )

+ ( Y ) ⁽ ² ^ohne zurücklegen

^2h06 ;)

1- ¹ ⁽ ^leere Klausel )

# KEIN ^t ₊₁₌₄ "Y ⁺¹

_htt

^2N

₊₁

D. ^h

⁽ _Hm ₎

⁽ _Hat

das ^Kann

^nach ^kleiner ^machen ⁽ ^jedes

Ü ) ^Wir ^haben ^gesehen

^Anzahl

_tritt

groß ^ist

mit _jeder

^und ^je ^Klausel muss

anderer Klausel Verglichen ^werden

0C ^, ^µ

²⁾ ji

^haben ^fit

^Länge

^Klauseln

Artmann OUHT ₎

_Kettner ₎ EIOLHIIZIHPHIH ₎

0 ( THY ) ₌₎ Polynom

^Laufzeit

H Horn _ist Ros !

⁾

^Horn ^?

denn ^für

^Horn ^Klauseln ^K

Anzahl ^der positiven ^Literat

^ich

falls ^K ^Reservat

^K

^und Kz

^das ^gilt tttlk ⁾

^# ⁺¹⁴ ⁾

^# ⁺¹⁴ ) ^-1 ^EI ^und

b. _d. _A

#IN ^⇐ HECK

₎ THEM )

¹

=) ^K ^Horn _Klausel

^LH ₎ ist Harford _#

0aHSAafgabe4-Hlyy.ee/--llKlnxnryIez)vhxmzHvlynz ⁾ ⁾

H Tautologie gdw ^7A unerfüllbar

^Idee

l ) ^ist

^Re _# ^KH )

Its _my

^H ist unerfüllbar

Glatt ⁶ Aufgabe 1

CIA ) ^Jede Aussagen ^variable ^ist ^Formel

) ^Wenn Hn

^dann ^auch ⁽ ^H

^dass ^ICH ^MH ⁾

für alle HELM ^existiert ^ein ^HIE

Induktion über ^Formel aufbau

Lp ^ist ^Aussage

^variable ^Ki Elw

Hs ₎ ICH

^hand ^III Hielte ⁾ )