In der Schaltungskomplexität gibt es Trennungen zwischen den Leistungen verschiedener Schaltungsmodelle. In der Beweiskomplexität unterscheiden wir Potenzen verschiedener Beweissysteme. In der Algorithmik gibt es jedoch nur wenige Unterschiede zwischen den Potenzen algorithmischer Paradigmen ....
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen:...
Die kkk - te elementare symmetrische Polynom Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) ist die Summe aller Produkte von unterschiedlichen Variablen. Ich interessiere mich für die monotone arithmetische Schaltungskomplexität dieses Polynoms. Ein einfacher dynamischer Programmieralgorithmus (wie...
Bei gegebener Folge ist eine Palindromabdeckung eine Folge p 1 p 2 ≤ p m von Wörtern p i, so dass p 1 p 2 ≤ p m = w ist und dass jedes p i ein Palindrom ist .w = σ1σ2… Σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯ pmp1p2⋯pmp_1p_2\cdots p_mpichpichp_ip1p2⋯ pm= wp1p2⋯pm=wp_1p_2\cdots p_m =...
Die folgende kurze Beschreibung des bekannten "Google Eggs Puzzle" stammt hauptsächlich von der Website Google Eggs : Google Eggs Puzzle: Wie wird bei n Stockwerken und m Eiern der höchste Stock gefunden, aus dem Eier sicher geworfen werden können, während die Würfe minimiert werden (keine...