eulenfreunde science slam 2013
DESCRIPTION
Eulenfreunde Science Slam 2013TRANSCRIPT
Komplexität und berechenbarkeitvon (kleider)mode
Eulenfreunde Science SlamJena, 24.01.2013
Dipl.-Inf. Johannes Kretzschmar
http://[email protected]
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
(╯°□°)╯( ┻━┻
Fuck this shit.
Konklusion I
FashionbuddyFistbump!
Konklusion II
berechnungsmächtigkeit
Titan (ORNL, USA) 17.590 TeraFLOPSNadine
>>
Vielen Dank fürdie aufmerksamkeit.