Frage: Wie kann man bei einer natürlichen Bit-Zahl nur mit (Bit) und berechnen ?N ⌈ √nnnN.NNO(n)⌈ N.- -- -√⌉⌈N⌉\lceil \sqrt{N} \rceilO ( n )O(n)O(n) Der Tipp ist die binäre Suche. Ich konnte jedoch die erforderliche Komplexität nicht erreichen (ich habe ).O ( n2)O(n2)O(n^2) Was bedeutet es mit...
Nach diesem Diagramm werden DCFLs unter Umkehrung geschlossen. Ich bin jedoch nicht davon überzeugt, dass der intuitive Beweis (Umkehren der Pfeile der steuernden Finite-State-Maschine und Umschalten der Pushs und Pops) davon abhängt, dass bei der Auswahl des Nullübergangs aus dem Ausgangszustand...
Eine * Suche findet eine optimale Lösung für Probleme, solange die Heuristik zulässig ist. Dies bedeutet, dass die Kosten des Pfads von einem bestimmten Knoten zu einem nie überschätzt werden (und konsistent sind, aber konzentrieren wir uns darauf, im Moment zulässig zu sein). Aber warum findet es...
Ich habe ein Diagramm und muss einen minimalen Spannbaum für ein bestimmtes Diagramm finden. Was ist zu tun, damit die erhaltene Ausgabe ein Binärbaum
Wir wollen einen Algorithmus, der bei einem Array mit der Länge von ganzen Zahlen die minimale Differenz zwischen zwei ganzen Zahlen im Array findet.nnn Ein solcher Algorithmus besteht darin, das Array zu sortieren und benachbarte Zahlenpaare zu überprüfen. Dies dauert einige Zeit...
Es wurde viel über Algorithmen zum gegenseitigen Ausschluss geforscht - z. B. wird ein Großteil davon in klassischen Lehrbüchern wie The Art of Multiprocessor Programming vorgestellt , in denen ihnen ein ganzes Kapitel gewidmet ist. Ich frage mich, in welchen praktischen Situationen diese...
\def\R{\mathbb{R}}\def\Z{\mathbb{Z}}\def\n#1{\|#1\|_\infty} Das Problem kommt direkt aus der Computermathematik und kann sein wie folgt angegeben: Wenn eine reguläre Matrix , finden Sie effektiv alle Vektoren v \ in \ Z ^ d, so dass \ n {Mv} \ leq1 , wobei \ n {Mv} die maximale Komponente von ist...
Ich möchte beweisen, dass die zeitliche Komplexität eines Algorithmus in der Eingabeskala polylogarithmisch ist. Die Wiederholungsrelation dieses Algorithmus ist , wobei a ∈ ( 0 , 1 ) ist .T.( 2 n ) ≤ T.( n ) + T.( nein)T.(2n)≤T.(n)+T.(nein)T(2n) \leq T(n) + T(n^a)a ∈ ( 0 , 1 )ein∈(0,1)a\in(0,1) Es...
Dies ist ein Übungsproblem (Bsp. 3) aus der ausgezeichneten Vorlesungsnotiz von Jeff Erickson, Vorlesung 20: Minimum Spanning Trees [Fa'13] . Beweisen Sie, dass ein kantengewichteter Graph genau dann einen eindeutigen minimalen Spannbaum hat, wenn die folgenden Bedingungen geltenGGG Für jede...
Angenommen, ist ein entscheidbares Entscheidungsproblem.ΠΠ\Pi Does implizieren ist -Hard?Π∉NPΠ∉N.P.\Pi\not \in NPΠΠ\PiNPN.P.NP Bearbeiten: Wenn wir annehmen, dass , sind wir fertig. Können wir die Behauptung ohne unbekannte Annahmen widerlegen?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus...
Die Inkomprimierbarkeitsmethode soll die Analyse von Algorithmen für den Durchschnittsfall vereinfachen. Soweit ich weiß, müssen nicht alle möglichen Eingabekombinationen für diesen Algorithmus berechnet und dann eine durchschnittliche Komplexität abgeleitet werden. Stattdessen wird eine einzelne...
Ist es möglich, Pushdown-Automaten zu minimieren? Wenn nein, warum? Liegt es daran, dass die Äquivalenzklassen zur Minimierung einen endlichen Index haben müssen und wir dies für CFG nicht garantieren
Ich versuche, kombinatorische Logikschaltungen (Computer, die nur auf logischen Gattern basieren) mit allem zu verknüpfen, was ich kürzlich in Theory of Computation gelernt habe. Ich habe mich gefragt, ob kombinatorische Logikschaltungen Berechnungen auf die gleiche Weise wie Finite-State-Maschinen...
Es wird gesagt, dass ein Programm Algorithmen enthält. Wenn wir uns jedoch auf deren Definition beziehen, ist ein Algorithmus eine Folge von Anweisungen, die geschrieben wurden, um eine bestimmte Aufgabe auszuführen, und ein Computerprogramm ist auch eine Folge von Anweisungen, um eine (einige)...
Ich habe viele Artikel und Bücher über Ontologien gelesen und versuche herauszufinden, wie sie in einem echten Projekt verwendet werden. Wie kann beispielsweise die Ontologie eines Fußballspieler-Roboters definiert und mit einer kognitiven Architektur verwendet werden, um ihn intelligent zu machen?...
Ich arbeite an meiner eigenen kleinen Programmiersprache für Bildungszwecke und bin auf ein kleines Problem gestoßen. Es gibt ein paar verschiedene Lösungen dafür, aber alle scheinen unelegant - und nach meinem Verständnis unnötig. Aber wenn ich die Bücher, die ich habe, und die Google-Suche...
In einem Graphen wir den folgenden Prozess aus:G(V,E)G(V,E)G(V,E) Anfangs sind alle Knoten in ungefärbt.VVV Während es in ungefärbte Knoten gibt, führt jeder ungefärbte Knoten Folgendes aus: VVV Wählt eine zufällige reelle Zahl aus und sendet sie an alle Nachbarn. Vergleicht seine Nummer mit der...
Jedes Mal, wenn ich denke, ich verstehe, was der Satz von Rice bedeutet, finde ich ein Gegenbeispiel, um mich selbst zu verwirren. Vielleicht kann mir jemand sagen, wo ich falsch denke. Nehmen wir eine nicht triviale Eigenschaft der Menge berechenbarer Funktionen, zum BeispielL={f:N→N|f is a...
Es scheint, dass der Unterschied zwischen Fasern und Fäden darin besteht, dass Fasern kooperativ geplant werden, während Fäden präventiv geplant werden. Der Punkt des Schedulers scheint eine Möglichkeit zu sein, eine ansonsten serielle Prozessorressource parallel zu betreiben, indem die CPU...
Ich weiß, dass die symbolische Modellprüfung eine Zustandsraumdurchquerung ist, die auf Darstellungen von Zustandssätzen und Übergangsbeziehungen als Formeln wie in CTL unter Verwendung von Modellen wie dem Kripke-Modell basiert. Ich kenne die Theorie. Aber ich finde es schwierig, die tatsächliche...