Gibt es eine allgemeine Methode, um die Wiederholung des Formulars zu lösen: T(n)=T(n−nc)+T(nc)+f(n)T(n)=T(n−nc)+T(nc)+f(n)T(n) = T(n-n^c) + T(n^c) + f(n) für oder allgemeinerc<1c<1c < 1 T(n)=T(n−g(n))+T(r(n))+f(n)T(n)=T(n−g(n))+T(r(n))+f(n)T(n) = T(n-g(n)) + T(r(n)) + f(n) wobei einige...
Der Hauptsatz ist ein schönes Werkzeug zum Lösen bestimmter Arten von Wiederholungen . Wir beschönigen jedoch häufig einen integralen Bestandteil, wenn wir ihn auftragen. Beispielsweise gehen wir bei der Analyse von Mergesort gerne ab T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)T(n)=T(⌊n2⌋)+T(⌈n2⌉)+f(n)\qquad T(n) =...
Die existenzielle Theorie der Realitäten ist in PSPACE , aber ich weiß nicht, ob sie PSPACE-vollständig ist . Wenn ich glaube, dass es nicht der Fall ist, wie könnte ich es beweisen? Wie kann ich generell nachweisen, dass es sich bei einem Problem der Komplexitätsklasse X nicht um X-Complete...
Wenn eine reguläre Sprache , ist es leicht zu beweisen, dass es eine Konstante N gibt, die σ ∈ L ist , mit | σ | ≥ N gibt es Zeichenketten α , β und γ, so dass | α β | ≤ N und | β | & Ne; & egr; und für alle k ist & agr; & bgr; k & ggr; ∈ LLLLNNNσ∈ Lσ∈L\sigma \in L| σ| ≥...
Gibt es eine allgemeine Methode, um zu beweisen, dass ein Problem NICHT NP-vollständig ist? Ich habe diese Frage in der Prüfung erhalten, in der ich gefragt wurde, ob ein Problem (siehe unten) NP-Complete ist. Ich konnte mir keine wirkliche Lösung vorstellen und habe nur bewiesen, dass es in P....
Ich versuche zu beweisen, dass ein Binärbaum mit Knoten höchstens Blätter hat. Wie würde ich das mit Induktion machen?nnn⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Für Leute, die der ursprünglichen Frage nach Haufen folgten, wurde sie hierher verschoben
Angenommen, wir haben eine einfache Sprache, die aus folgenden Begriffen besteht: t r u etrue\mathtt{true} f a l s efalse\mathtt{false} Wenn Terme sind, ist dies aucht 1 , t 2 , t 3 t1,t2,t3t_1,t_2,t_3i ft 1t h e nt 2e l s et 3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2...
Das Pump-Lemma für reguläre Sprachen kann verwendet werden, um zu beweisen, dass bestimmte Sprachen nicht regulär sind, und das Pump-Lemma für kontextfreie Sprachen (zusammen mit Ogdens Lemma) kann verwendet werden, um zu beweisen, dass bestimmte Sprachen nicht kontextfrei sind. Gibt es ein...
Eine der Definitionen einer rechnerisch aufzählbaren Menge (ce, äquivalent zu rekursiv aufzählbar, äquivalent zu semidecidable) ist die folgende: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* ist ce, wenn es eine entscheidbare Sprache (genannt Verifizierer) st für alle ,V⊆Σ∗V⊆Σ∗V\subseteq \Sigma^*x∈Σ∗x∈Σ∗x\in...
Gegeben ist die folgende rekursive Gleichung wir wollen den Hauptsatz anwenden und beachten, dassT(n)=2T(n2)+nlognT(n)=2T(n2)+nlogn T(n) = 2T\left(\frac{n}{2}\right)+n\log n nlog2(2)=n.nlog2(2)=n. n^{\log_2(2)} = n. Nun überprüfen wir die ersten beiden Fälle auf , dh obε>0ε>0\varepsilon > 0...
In der Diskussion um diese Frage erwähnt Gilles richtig, dass jeder Korrektheitsnachweis eines Algorithmus, der Arrays verwendet, beweisen muss, dass es keine Array-Zugriffe außerhalb der Grenzen gibt. Abhängig vom Laufzeitmodell würde dies einen Laufzeitfehler oder den Zugriff auf...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Ich lerne, wie man NFAs in DFAs konvertiert, und ich möchte sicherstellen, dass ich es richtig mache. Offensichtlich ist es keine Sache, in die andere Richtung zurückzukehren. Kennt jemand einen Algorithmus, um zu überprüfen, ob ein DFA einem NFA
Ich möchte Beweise für Teile eines Haskell-Programms liefern, das ich im Rahmen meiner Abschlussarbeit schreibe. Bisher habe ich jedoch kein gutes Nachschlagewerk gefunden. Graham Huttons Einführungsbuch Programming in Haskell ( Google Books ), das ich beim Lernen von Haskell gelesen habe, geht auf...
Kann mit einem Programm, das aus Variablen und Anweisungen besteht, die diese Variablen ändern, und einem Synchronisationsprimitiv (Monitor, Mutex, Java synchronisiert oder C # -Sperre) nachgewiesen werden, dass ein solches Programm threadsicher ist? Gibt es überhaupt ein formales Modell zur...
Ich kratzte mich jetzt seit ein paar Tagen am Kopf über dieses Problem. Zeigen Sie bei einer regulären Sprache AAA und , dass die Sprache die aus allen Zeichenfolgen in deren Länge einer Zeichenfolge in B entspricht, eine reguläre Sprache ist.L A B.BBBLLLAAABBB In Gleichungsform:...
Im Unterricht zeigte uns unser Professor drei Methoden zum Nachweis der Nichtregelmäßigkeit: Myhill-Nerode-Theorem Pumping Lemma für reguläre Sprachen Beweis der Nichtregelmäßigkeit, basierend auf der Kolmogorov-Komplexität Jetzt habe ich die ersten beiden, Myhill-Nerode-Theorem und Pumping-Lemma,...
Ich habe mir diese Lesung des MIT über die Komplexität der Berechnungen angesehen und in Minute 15:00 beginnt Erik Demaine eine Demonstration, um zu zeigen, was im Titel dieser Frage steht. Ich kann seiner Argumentation jedoch nicht folgen. In der Praxis sagt er Folgendes: Wir können ein...
Ich wurde gebeten, die gegnerischen Argumente zu finden, die notwendig sind, um die unteren Grenzen für die Auswahl und die Einfügungssortierung zu finden. Ich konnte nirgendwo einen Hinweis darauf finden. Ich habe einige Zweifel. Ich verstehe, dass gegnerische Argumente normalerweise verwendet...
Angenommen, ich habe einen 2-Approximations-Algorithmus für ein bestimmtes Problem gefunden und möchte zeigen, dass die Analyse eng ist. Muss ich jetzt ein Beispiel für die generische Größe oder reicht es aus zu zeigen, dass ich ein Beispiel für die Größe für das der Algorithmus ergibt ?nnn1010102...