Issuu on Google+

Komplexit채t und berechenbarkeit von (kleider)mode Eulenfreunde Science Slam Jena, 24.01.2013 Dipl.-Inf. Johannes Kretzschmar http://www.beetlebum.de jojo@beetlebum.de


Computer science in a nutshell formalization/ classification problem solving/ explanation

configuration/ simulation


MODE

WTF? I can‘t even...


1) Wie funktioniert Mode? 2) W채re ein Computer in der Lage, sich prinzipiell besser zu kleiden als ich?


Kleiderschrank K =

[

Ki

i=1,. . . ,n

Kleidung k = (k1 , . . . , kn ) : ki 2 Ki [ ;


funktionale adäquatheit F :T⇥

7! (P(K1 ), . . . , P(Kn ))

Eine Bekleidung k heisst ad¨aquat bzgl.

_

^

n F (T, )=(i )n (k ) i i=1 i=1

k i 2 i

und T gdw.


-10

DEFAULT Convention (StarTrek) Muttis Geburtstag Festival

0

15

30

TTemperatur 45


Komplexit채t BEGIN K = Closet.GET(Weather,Domain); FOREACH k in K DO IF !(k == NULL) THEN Clothing[i] = k.POP; END IF i++; ENDFOR END;

Ffunctional 2 P


kleidungszyklus


(card KN ) X card Ki

Ki 2KN

(card KJ ) X card Kj

Kj 2KJ


Ästhetik-heuristik ⇠ : Ki ⇥ Kj 7! R

|Ki,j 2 K

⌅k2F (T,

⇠(kx , ky )

)

:=

n X n X

x=1 y=x

N K (T,

)=

(

1: 0:

9m 2 F (T, sonst

Faesthetic 2 NP-COMPLETE

) : ⌅m = mink2F (T,

) (⌅k )

<"


“Nichts mehr anzuziehen” - unvollständige Funktion ohne DEFAULTs - schwierige Mode-Heuristik - “NoGo”-Kriterium Epsilon - Zyklus-wahrscheinlichkeit


hipsterness

Separation vs Alignment


(╯°□°)╯︵ ┻━┻

Fuck this shit.


Konklusion I Fashionbuddy Fistbump!


Konklusion II


berechnungsm채chtigkeit

>> Nadine

Titan (ORNL, USA) 17.590 TeraFLOPS


Vielen Dank f端r die aufmerksamkeit.


Eulenfreunde Science Slam 2013