Ich konnte kein Diagramm finden, das die folgende Frage darstellt oder Text beantwortet: Gibt es einen direkten Zusammenhang zwischen der Komplexität eines Algorithmus (z. B. Best / Worst-Fall der schnellen Sortierung) und der Klasse von Automaten, die den Algorithmus implementieren können? Gibt es...
Hintergrund Ich habe kürzlich das PC-Spiel "Darkest Dungeon" gespielt. Im Spiel müssen Sie Dungeons erkunden, die aus verbundenen Räumen bestehen (siehe Abbildung unten). Hier sind die Regeln: Sie beginnen in einem festen Raum (Eingang). Sie können nicht auswählen, wo Sie beginnen möchten. Ziel ist...
Ich wäre überrascht, wenn dies kein gut untersuchtes Problem wäre, aber ich bin mir nicht sicher, wonach ich an dieser Stelle noch suchen soll: Sie erhalten eine Menge binärer Vektoren . Das Problem besteht darin, eine andere Menge von binären Vektoren mit minimaler Größe, so dass jeder Vektor in...
Ich habe in vielen Artikeln über die Suche nach höherdimensionalen nächsten Nachbarn gelesen, dass KD-Bäume in K exponentiell sind, aber ich kann anscheinend nicht feststellen, warum. Was ich suche, ist eine solide Analyse der Laufzeitkomplexität, die diesen Aspekt des Problems...
Bei abhängigen Typen wird die Miller-Mustervereinigung verwendet, um ein entscheidbares Fragment einer Vereinigung höherer Ordnung zu lösen. Dadurch können abhängig typisierte Sprachen Metavariablen oder implizite Argumente enthalten. Es gibt viele Artikel, die beschreiben, wie man angesichts eines...
Meine Frage besteht im Wesentlichen aus drei Sprachen A, B und L, wobei L A und B miteinander verkettet sind und B nachweislich nicht regulär ist. Ist es möglich, ein A zu finden, das L regulär
In der Typentheorie Podcast ep. 3 , Dan Licata behauptet, dass die Tatsache, dass Insertionsort und Mergesort für jede Eingabe das gleiche Ergebnis liefern, nicht bedeutet, dass das Ergebnis gleich wäre, wenn es als Funktionen höherer Ordnung als Argumente für eine dritte Funktion verwendet würde,...
Ich verstehe, was es ist, aber ich sehe nicht, wie es für Algorithmen oder irgendetwas nützlich ist. Vielleicht fehlt mir etwas. Ich brauche jemanden, der mir ein Beispiel gibt, wie es verwendet werden kann, damit ich es besser verstehen
Ich benötige eine Datenstruktur zum Speichern einer Anzahl nnn von Elementen, von denen jedes einer anderen Zeit tichticht_i . nnn variiert und obwohl es eine theoretische Obergrenze hat, ist diese um viele Größenordnungen größer als das, was typischerweise verwendet wird. Durch meine Bewerbung...
Wir haben gerade letzte Woche unsere Lektion "Zeitkonstruierbarkeit" im Unterricht beendet und zum Beispiel gezeigt, dass vollständig zeitkonstruierbar sind, dh es gibt eine (deterministische Mehrband-Turing-Maschine), die für n gegeben ist, hält nach genau f ( n ) Schritten an und fragt nur, ob...
Ich versuche, die Komplexität eines Algorithmus abzuschätzen, den ich für den Reko-Dekompiler geschrieben habe , wobei ich versuche, die von einem Compiler vorgenommene Umwandlung in eine ganzzahlige Division durch eine Konstante "rückgängig zu machen" . Der Compiler die Aufteilung in eine Ganzzahl...
Ich dachte, dass jeder FOT eine Teilmenge von FOL ist, aber das scheint nicht der Fall zu sein, da FOL vollständig ist (jede Formel ist entweder gültig oder ungültig), während einige FOT (wie lineare Ganzzahlarithmetik) nicht vollständig sind. Ist FOL ausdrucksstärker als FOT? Oder unvergleichlich?...
Über den Stand der Technik, den ich der Typentheorie voraus bin, habe ich diese Fragen, die sich alle auf die Geschichte der Typen beziehen. Woher kam die Idee von Type ? (Es scheint, dass alle beginnen, wenn Russell und Whitehead einen Weg vorschlagen, um den Widerspruch zu vermeiden, den wir...
die Länge vonist ungerade1 ist in der Mitte vonL:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | ∧ w }www∧∧ \wedge w}w}w\} Das Alphabet ist also . Mein Problem ist, dass ich die Gleichheit der Zeichen vor und nach 1 nicht verfolgen kann . Ein begrenzter DFA für eine Länge von weniger als...
Wenn ich über die Church-Turing-These lese, scheint es eine verbreitete Behauptung zu sein, dass "die physische Realität Turing-berechenbar ist". Was ist die Grundlage für diesen Anspruch? Gibt es theoretische Ergebnisse in dieser Richtung? Für den Kontext bin ich ein Forscher, der an...
Angenommen, ich wollte meine eigene Programmiersprache erstellen. Unter der Annahme, dass ich alle Entscheidungen darüber getroffen habe, wie es aussehen und sich verhalten soll, muss ich nur einen Compiler dafür schreiben? Ist der Java-Code auf hoher Ebene etwas anderes als nur Text, und dieser...
Karlheinz Brandenburg zeigt einen MP3-Encoder wie folgt: Quelle: MP3 und AAC erklärt Ich habe die FFT markiert, da ich nicht ganz sicher bin, warum es tatsächlich notwendig ist, eine durchzuführen. Warum kann das psychoakustische Modell nach der modifizierten diskreten Cosinustransformation (MDCT)...
Ich arbeite in erneuerbaren Energien. Mein Unternehmen sammelt viele Daten von Geräten. Dies umfasst typischerweise Prozessdaten (wie Transformatortemperatur, Netzspannungen, Ströme usw.) und diskrete Alarme (z. B. Leistungsschalterauslösung, Wechselrichteralarmwerte,
Ich habe eine Menge von Zahlen und möchte die maximale Teilmenge so berechnen, dass die Summe von zwei beliebigen Elementen nicht durch eine ganze Zahl teilbar ist . Ich habe versucht, dieses Problem zu lösen, aber ich habe die quadratische Lösung gefunden, die keine effiziente Antwort ist. , wobei...
Ich habe neulich die Arbeit Fundamental Concepts in Programming Languages von C. Strachey gelesen, in der ich etwas gelesen habe, das mir ziemlich fremd war. Direkt zitieren (mit dem von mir hervorgehobenen seltsamen Teil): Angesichts der heutigen Situation, in der es eine allgemein bekannte...