Computerwissenschaften

2

Probleme, die nachweislich quadratische Zeit erfordern

Ich bin auf der Suche nach Beispielen für Probleme, die eine Untergrenze von ) für die Eingabe von . xΩ ( | x |2Ω(|x|2\Omega(|x|^2xxx Das Problem muss die folgenden Eigenschaften haben: Ω ( n2)Ω(n2)\Omega(n^2) Laufzeitbeweis für jeden Algorithmus - erste Priorität ist es, ein möglichst einfaches Argument an der unteren …

19 complexity-theory turing-machines time-complexity lower-bounds

6

Wie kann ich akademisch sagen, dass ein Computer langsamer ist als der andere?

Ich schreibe eine Forschungsarbeit und muss grundsätzlich sagen, dass ein Mikrocontroller langsamer ist als ein anderer Mikroprozessor. Ich mache mir jedoch Sorgen, dass es in einem Forschungsbericht nicht angemessen wäre, einfach zu sagen, dass es langsamer ist. Habe ich recht? Kann ich nur sagen, dass ein Prozessor langsamer ist, oder …

19 terminology computer-architecture

1

Gibt es einen O (n log n) -Algorithmus zur Vereinfachung von 4D-Linien?

Der Ramer-Douglas-Peucker-Algorithmus zur Leitungsvereinfachung hat die Worst-Case- Laufzeit O ( n2)O(n2)O(n^2) . Für geeignet verteilte zufällige Eingaben wurde eine Laufzeitkomplexität von erwartet . In 2D gibt es andere Algorithmen mit der Laufzeitkomplexität ungünstigsten Fall , die genau dasselbe Ergebnis wie der Ramer-Douglas-Peucker-Algorithmus berechnen. Da diese Algorithmen auf einer "Pfad (konvex) …

19 reference-request computational-geometry randomized-algorithms

3

Deterministischer linearer Zeitalgorithmus zur Überprüfung, ob ein Array eine sortierte Version des anderen ist

Betrachten Sie das folgende Problem: Eingabe: zwei Arrays AAA und BBB der Länge nnn , wobei BBB in sortierter Reihenfolge ist. Frage: Sie AAA und BBB enthalten die gleichen Elemente (mit ihrer Vielfalt)? Was ist der schnellste deterministische Algorithmus für dieses Problem? Kann es schneller gelöst werden als sie zu …

19 algorithms reference-request sorting

1

Gibt es Implementierungen von Hardwaresperren ohne Test & Set oder Swap?

Sperren werden normalerweise durch Test-and-Set- und Swap-Anweisungen auf Maschinenebene implementiert. Gibt es andere Implementierungen, die diese nicht verwenden? Können wir auch sagen, dass alle Lösungen auf Hardwareebene für das Problem des kritischen Abschnitts in nur drei Kategorien eingeteilt werden können, nämlich Interrupt-Deaktivierung, Test-and-Set und Swap?

19 concurrency synchronization mutual-exclusion

1

Welche Klassen von Datenstrukturen können persistent gemacht werden?

Persistente Datenstrukturen sind unveränderliche Datenstrukturen. Operationen auf ihnen geben eine neue "Kopie" der Datenstruktur zurück, die jedoch durch die Operation geändert wurde. Die alte Datenstruktur bleibt jedoch unverändert. Effizienz wird im Allgemeinen dadurch erreicht, dass einige der zugrunde liegenden Daten gemeinsam genutzt werden und ein vollständiges Kopieren der Datenstruktur vermieden …

19 reference-request data-structures functional-programming persistent-data-structure

4

Warum ist es wichtig, dass Funktionen in der Lambda-Rechnung anonym sind?

Ich habe mir den Vortrag von Jim Weirich mit dem Titel " Adventures in Functional Programming " angesehen. In dieser Vorlesung stellt er das Konzept der Y-Kombinatoren vor, die im Wesentlichen den Fixpunkt für Funktionen höherer Ordnung finden. Eine der Beweggründe, wie er es erwähnt, ist, rekursive Funktionen mit Lambda-Kalkül …

19 lambda-calculus functional-programming

4

Kann eine Laufzeitumgebung eine Endlosschleife erkennen?

Wäre es einer Laufzeitumgebung möglich, Endlosschleifen zu erkennen und anschließend den zugehörigen Prozess zu stoppen, oder wäre die Implementierung einer solchen Logik gleichbedeutend mit der Lösung des Halteproblems? Für den Zweck dieser Frage definiere ich eine "Endlosschleife" als eine Reihe von Anweisungen und zugehörigen Start-Stack- / Heap-Daten, die den Prozess …

19 halting-problem

3

Wie viele Cookies sind in der Cookie-Box? - Sterne kacheln

Mit der bevorstehenden Ferienzeit beschloss ich, einige Zimtsterne zu machen . Das hat Spaß gemacht (und das Ergebnis war lecker), aber mein innerer Nerd schauderte, als ich das erste Tablett mit Sternen in die Schachtel legte und sie nicht in eine Schicht passten: Fast! Gibt es eine Möglichkeit, wie sie …

19 algorithms optimization computational-geometry tiling

3

Wie man künstliche Intelligenz im Computerschach benutzt

Diese Frage wurde von Artificial Intelligence Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 5 Jahren migriert . In einigen (historischen) Veröffentlichungen wurde Schach als Drosophila der künstlichen Intelligenz bezeichnet. Während ich denke, dass in der gegenwärtigen Forschung die bloße Anwendung eines Suchalgorithmus bestenfalls …

19 artificial-intelligence board-games

2

Sortierarray von 5 ganzen Zahlen mit maximal 7 Vergleichen

Wie kann ich eine Liste mit 5 ganzen Zahlen sortieren, sodass im schlimmsten Fall 7 Vergleiche erforderlich sind? Es ist mir egal, wie viele andere Operationen durchgeführt werden. Ich weiß nichts Besonderes über die ganzen Zahlen. Ich habe ein paar verschiedene Divide-and-Conquer-Ansätze ausprobiert, mit denen ich auf 8 Vergleiche zurückgreifen …

19 algorithms sorting

2

Konstruiere zwei Funktionen und die erfüllen

Konstruiere zwei Funktionen erfüllen:f, g: R+→ R+f,g:R+→R+ f,g: R^+ → R^+ f, gf,gf, g sind stetig; f, gf,gf, g nehmen monoton zu; g ≠ O ( f )f≠ O ( g)f≠O(g)f \ne O(g) und .G≠ O ( f)g≠O(f)g \ne O(f)

19 asymptotics landau-notation

2

Kann man durch Turing-Reduktionen NP-Härte zeigen?

In der Arbeit Complexity of the Frobenius Problem von Ramírez-Alfonsín wurde mithilfe von Turing-Reduktionen nachgewiesen, dass ein Problem NP-vollständig ist. Ist das möglich? Wie genau? Ich dachte, dass dies nur durch eine polynomielle Zeitvielfachreduktion möglich wäre. Gibt es Referenzen dazu? Gibt es zwei verschiedene Vorstellungen von NP-Härte, sogar NP-Vollständigkeit? Aber …

19 complexity-theory time-complexity np-complete reductions

1

Wie hängt die Laufzeit des Ukkonen-Algorithmus von der Alphabetgröße ab?

Ich beschäftige mich mit der Frage nach der asymptotischen Laufzeit des Ukkonen-Algorithmus , dem vielleicht beliebtesten Algorithmus zur Konstruktion von Suffix-Bäumen in linearer (?) Zeit. Hier ist ein Zitat aus dem Buch "Algorithmen für Strings, Bäume und Sequenzen" von Dan Gusfield (Abschnitt 6.5.1): "... die Algorithmen Aho-Corasick, Weiner, Ukkonen und …

19 algorithms data-structures algorithm-analysis strings

1

Wie kann ich die Turing-Maschine der erkannten Sprache in eine uneingeschränkte Grammatik umwandeln ?

Laut diesem Wikipedia-Artikel entsprechen uneingeschränkte Grammatiken Turing-Maschinen. Der Artikel stellt fest, dass ich jede Turing-Maschine in eine uneingeschränkte Grammatik umwandeln kann, es wird jedoch nur gezeigt, wie man eine Grammatik in eine Turing-Maschine umwandelt. Wie mache ich das und wandle die Turingmaschine die erkannte Sprache in eine uneingeschränkte Grammatik um? …

19 formal-grammars turing-machines simulation