Eulenfreunde Science Slam 2013

Post on 06-Mar-2016

217 views 0 download

description

Eulenfreunde Science Slam 2013

transcript

Komplexität und berechenbarkeitvon (kleider)mode

Eulenfreunde Science SlamJena, 24.01.2013

Dipl.-Inf. Johannes Kretzschmar

http://www.beetlebum.dejojo@beetlebum.de

problem

formalization/classification

configuration/simulation

solving/explanation

Computer science in a nutshell

MODEWTF? I can‘t even...

2) Wäre ein Computer in der Lage, sich prinzipiell besser zu kleiden als ich?

1) Wie funktioniert Mode?

Kleiderschrank K =[

i=1,. . . ,n

Ki

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

F : T ⇥� 7! (P(K1), . . . ,P(Kn))

funktionale adäquatheit

Eine Bekleidung k heisst adaquat bzgl. � und T gdw._

F (T,�)=(i)ni=1

^

(ki)ni=1

ki 2 i

DEFAULT

Convention (StarTrek)

MuttisGeburtstag

Festival

TTemperatur

-10 0 15 30 45

BEGINK = Closet.GET(Weather,Domain);FOREACH k in K DOIF !(k == NULL) THEN

Clothing[i] = k.POP; END IF i++; ENDFOREND;

Komplexität

Ffunctional

2 P

kleidungs-zyklus

(card KN ) � (card KJ)X

Ki2KN

card Ki �X

Kj2KJ

card Kj

Ästhetik-heuristik⇠ : Ki ⇥Kj 7! R |Ki,j 2 K

⌅k2F (T,�) :=

nX

x=1

nX

y=x

⇠(kx

, ky

)

�NK(T,�) =

(1 : 9m 2 F (T,�) : ⌅m = mink2F (T,�)(⌅k) < "

0 : sonst

Faesthetic 2 NP-COMPLETE

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

“Nichts mehr anzuziehen”

Separation vs Alignmenthipsterness

Konklusion I

FashionbuddyFistbump!

Konklusion II

berechnungsmächtigkeit

Titan (ORNL, USA) 17.590 TeraFLOPSNadine

>>

Vielen Dank fürdie aufmerksamkeit.