Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

4
Wie überprüfen Sie, ob zwei Algorithmen für Eingaben dasselbe Ergebnis liefern?
Wie können Sie überprüfen, ob zwei Algorithmen (z. B. Merge Sort und Naive Sort) für jede Eingabe dasselbe Ergebnis liefern, wenn die Menge aller Eingaben unendlich ist? Update: Vielen Dank, Ben, für die Beschreibung, wie dies im allgemeinen Fall nicht algorithmisch möglich ist. Daves Antwort ist eine großartige Zusammenfassung sowohl …
5
Ist Interaktion leistungsfähiger als Algorithmen?
Ich habe gehört, das Motto Interaktion ist mächtiger als Algorithmen von Peter Wegner . Die Grundlage der Idee ist, dass eine (klassische) Turing-Maschine keine Interaktion, dh keine Kommunikation (Eingabe / Ausgabe) mit der Außenwelt / Umgebung, bewältigen kann. Wie kann das so sein? Wie kann etwas leistungsfähiger sein als eine …
3
Anzahl der Wörter in der regulären Sprache
Laut Wikipedia existieren für jede reguläre Sprache LLL Konstanten λ1, … , Λkλ1,…,λk\lambda_1,\ldots,\lambda_k und Polynome p1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x) so dass für jedes nnn die Anzahl sL(n)sL(n)s_L(n) von Wörtern der Länge gilt nnn in LLL erfüllt die Gleichung sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . Die Sprache L={02n∣n∈N}L={02n∣n∈N}L =\{ 0^{2n} \mid n \in\mathbb{N} \} ist regulär …
4
Ist dieses Problem mit endlichen Graphen entscheidbar? Welche Faktoren machen ein Problem entscheidbar?
Ich möchte wissen, ob das folgende Problem entscheidbar ist und wie man es herausfindet. Jedes Problem, das ich sehe, kann ich mit "Ja" oder "Nein" beantworten. Sind die meisten Probleme und Algorithmen mit Ausnahme einiger weniger entscheidbar (was hier angegeben ist )? Eingabe: Ein gerichteter und endlicher Graph mit und …
3
Warum sind Schleifen schneller als Rekursion?
In der Praxis verstehe ich, dass jede Rekursion als Schleife geschrieben werden kann (und umgekehrt (?)), Und wenn wir mit tatsächlichen Computern messen, stellen wir fest, dass Schleifen für dasselbe Problem schneller sind als Rekursion. Aber gibt es eine Theorie, die diesen Unterschied ausmacht, oder ist sie hauptsächlich emprisch?
4
Warum verwenden wir die schnelle Sortierung nicht für eine verknüpfte Liste?
Der schnelle Sortieralgorithmus kann in die folgenden Schritte unterteilt werden Pivot identifizieren. Partitionieren Sie die verknüpfte Liste basierend auf Pivot. Teilen Sie die verknüpfte Liste rekursiv in zwei Teile. Wenn ich immer das letzte Element als Pivot wähle, dauert die Identifizierung des Pivot-Elements (1. Schritt) Mal.O ( n )O(n)\mathcal O(n) …
3
Größte durch n teilbare Summe
Ich habe diese Frage auf StackOverflow gestellt , aber ich denke, hier ist ein geeigneterer Ort. Dies ist ein Problem aus dem Kurs Einführung in Algorithmen : Sie haben ein Array aaa mit nnn positiven ganzen Zahlen (das Array muss nicht sortiert oder die Elemente eindeutig sein). Schlagen Sie einen …
1
Entspricht die Unlösbarkeit des N-Körper-Problems dem Halteproblem?
Es gibt keine allgemeine analytische Lösung für das n-Körper-Problem, die eine analytische Funktion erzeugen kann, mit der der Zustand eines n-Körpersystems zum beliebigen Zeitpunkt t mit exakter Genauigkeit angegeben werden kann. Es gibt jedoch einige Sonderfälle von n-Körpersystemen, für die eine analytische Funktion bekannt ist. Ebenso gibt es keinen allgemeinen …
1
Ist es entscheidend, ob ein Pushdown-Automat eine bestimmte reguläre Sprache erkennt?
Das Problem, ob zwei Pushdown-Automaten dieselbe Sprache erkennen, ist nicht zu entscheiden. Das Problem, ob ein Pushdown-Automat die leere Sprache erkennt, ist entscheidbar, daher ist es auch entscheidbar, ob er eine bestimmte endliche Sprache erkennt. Es ist nicht zu entscheiden, ob die von einem Pushdown-Automaten akzeptierte Sprache regulär ist. Aber …
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.