Als «dynamic-programming» getaggte Fragen

1
Ist Dynamic Programming niemals schwächer als Greedy?
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 . Meine folgenden Fragen zielen darauf ab, dieses letztere Problem für zwei Paradigmen zu berühren: Gierige und …

1
Monoton arithmetische Schaltungskomplexität von elementaren symmetrischen Polynomen?
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 auch in Abb. 1 unten) ergibt eine Schaltung mit Gattern. k(+,×)(+,×)O(kn)(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) Frage: Ist eine Untergrenze von bekannt? Ω(kn)Ω(kn)\Omega(kn) Eine …

4
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?
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: …


2
Gibt es eine mathematisch geschlossene Form (oder eine etwas enge asymptotische Form) für "Google Eggs Puzzle"?
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 zerbrochenen Eier)? Das sogenannte "höchste …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.