Computerwissenschaften

1

Definition. Bei einem gegebenen Graphen und zwei Scheitelpunkte s und t , die k -shortest-Pfade Problem ist das Finden der k kürzesten einfache Wege zwischen s und t in G .G = ( V., E.)G=(V,E)G=(V,E)ssstttkkkkkkssstttGGG Es ist zu beachten, dass die Länge dieser Pfade nicht notwendigerweise gleich ist und die …

8 algorithms graphs optimization shortest-path enumeration

1

Datenflussanalyse mit Ausnahmen

Die Datenflussanalyse erfolgt über ein Kontrollflussdiagramm. Wenn eine betrachtete Sprache Ausnahmen unterstützt, kann das Kontrollflussdiagramm explodieren. Was sind die Standardtechniken für den Umgang mit dieser Explosion? Können wir ausnahmsweise hervorgerufene Kanten ignorieren? Datenflussanalysen berechnen ohnehin Übernäherungen, sodass wir eine weniger genaue, aber solide Lösung erhalten würden. Ist das wahr? Update …

8 programming-languages program-optimization software-verification

2

Warum wird BNF als unbefriedigende Technik zur Beschreibung einer Sprache angesehen?

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 Methode zur Beschreibung einer bestimmten Klasse …

8 formal-grammars programming-languages syntax

1

Kann es ein kontextsensitives Pump-Lemma geben?

Es ist bekannt, dass eine "Pump" -Eigenschaft (Wörter einer bestimmten Länge implizieren das Vorhandensein von Schleifen im sprachdefinierenden Mechanismus) für reguläre und kontextfreie Sprachen und einige weitere (normalerweise verwendet, um die Zugehörigkeit einer Sprache zu einer bestimmten Klasse zu widerlegen) existiert ). In der Diskussion um diese Frage deutet Daisys …

8 formal-languages pumping-lemma context-sensitive

1

Warum verwendet ein MP3-Encoder eine schnelle Fourier-Transformation, bevor er das psychoakustische Modell anwendet?

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) nicht auf die sogenannten Linien angewendet werden, ohne eine …

8 algorithms data-compression fourier-transform

3

Maximale Teilmenge paarweise nicht durch teilbar

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 die …

8 algorithms efficiency

1

Church-Turing und physische PDEs

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 physikalischen Simulationen arbeitet, daher bin ich mir natürlich …

8 computability simulation church-turing-thesis hypercomputation

1

Ist es möglich, DFA für Wörter mit ungerader Länge mit 1 in der Mitte zu erstellen?

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 …

8 formal-languages finite-automata formal-grammars

1

Ursprung des Konzeptes der Typen

Ü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 …

8 type-theory history

4

Erstellen wir eine Programmiersprache, indem wir einen Compiler schreiben?

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 Text hat das richtige Format, damit …

8 programming-languages compilers

1

Was ist die Komplexität einer Suche in Klammern mit Medianten?

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 umgewandelt Multiplikation und eine Verschiebung: ( x * …

8 algorithm-analysis runtime-analysis numerical-algorithms

3

Welche Beziehung besteht zwischen der Logik erster Ordnung und der Theorie erster Ordnung?

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? Auch die Aussage "Es gibt …

8 logic first-order-logic

1

Beweise n! ist voll zeitkonstruierbar

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 wir jetzt beweisen könnten, dass n ! …

8 complexity-theory turing-machines time-complexity

1

Warum ist "map insertionsort" nicht gleich "map mergesort"?

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, dh map insertionsortnicht gleich sein …

8 type-theory functional-programming equality homotopy-type-theory

1

Datenstruktur für eine effiziente Suche, wenn Einfügungen und Entfernungen nur einseitig sind

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 kann ich Folgendes sicherstellen: Eingefügten Elemente sind …

8 data-structures search-trees algorithm-design