H1

a)
(a)
Hanoi(n, i, j) n>0
IF n == 1 THEN
b)
return [(i, j)];
Mo, 0
=

ELSE
k = 3 - (i+j);
step1 = Hanoi(n-1, i, k); M 1
=

step2 = Hanoi(1, i, j);

step3 = Hanoi(n-1, k, j); un =2.
Mai, l
+

return step1 | step2 | step3;

-
-

C IA:21 -
1 1
=

Mr
=

IV C" -1 Un
=

2" - 2.2
+

IS 1 = - 1

2.(2 +1 -
1) -
1

2.(2" -
1) +
2 - 1

=2. Mate
=
Un + 1
-
-

(d)
IA: Wir beginnen mit dem Fall n = 1. Hierführ ist unser Algorithmus
optimalt, da man diesen Fall nicht in weniger als einem Schritt
lösen kann.

IV: Wir nehmen an, dass unser Algorithmus für n die Optimale
Lösung findet.

IS: Bei n+1 Scheiben, müssen wir zu erst n scheiben vom Star-
zum Zwischen-Stab bewegen. Nach der IV tut unser Algorithmus
das optimal. Im nächsten Schritt bewegen wir eine Scheibe, die ist
nach unserem IA optimal. Als letztes bewegene wir n Scheiben von
der Mitte zum Zielstab. Nach der IV ist das ebenfalls optimal.
Somit ist unser Algorithmus optimal.

(e)
Nein, definitiv nicht. 2^64-1 Sekunden sind ungefähr
1,85*10^19 Sekunden ~ 2,1 * 10^14 Tage ~ 600.000.000.000
Jahre. Das entspricht 600 Miliarden Jahren. Die Sonne hat noch
eine geschätze Lebnensdauer von 7,5 Miliarden Jahre. Diese
Prophezeihung sollte uns vermutlich in sicherheut wiegen.
H2
a) Reflexiv:(x2x)1(Yy) (
(x,y)-(x,y)

Antisymmetrie: (X, Ye) (xe,Te) 1

(Xa,te) - (Xn,Yr)
>(X,[Xe)1(Xz =
x)1(yr =y)1(yz =
y)

=> (X,y) (Xe, Ye) =

Transitiv: (X, Ye)(X2,yz) 1(Xz,ye)1(Xz,yz)

((x (x)(ynzyz)n(xz(Xa)v(yY)
(( x (X)1(y124,)
=

[
(X1,Y1)1(X3,Yz)

b) (2,3)1(2,3)((3,2)()((3 2) (223)]1[(223)1 (3-2)]

(3,2) = - -

Relation
Die nicht
ist auf alle Element aus R anwendbar. Relation
Somit ist die
nicht total.

a) Sei kleinst Element

mel das aus M.

pi {=

p:p
steht in Relation zu
m

=>
YpP:mp 1.mm

=> m ist
minimal

d)
Zeige (0,0) ist minimal, aber nicht das kleinste Element in Mo

=> (0,0) stell nur zu 10,0) in Relation

1. (0,0) stell mit keinem anderen Punkt in Relation:

Seien x, yERso gilt:

-x 0)1( =
-

0)
y = 3
=

-
((x,y) -(0,0]

=>
(0,0) steht zu keinem Element aus
Mo/910,03 in Relation

2. (0,0) -
(0,0) )(010(1(0 [0)

10,0) ist minimal

Mo
=> in