Computerwissenschaften

3

Ich war verwirrt, als ich das folgende Problem löste (Fragen 1–3). Frage Ein d -ary-Heap ist wie ein binärer Heap, aber (mit einer möglichen Ausnahme) Nicht-Blattknoten haben d Kinder anstelle von 2 Kindern. Wie würden Sie einen d -ary-Heap in einem Array darstellen? Wie hoch ist ein d -ary Haufen …

10 data-structures time-complexity runtime-analysis

2

Schneller k Mismatch String Matching Algorithmus

Ich suche nach einem schnellen k-Mismatch-String-Matching-Algorithmus. Bei einer gegebenen Musterfolge P der Länge m und einer Textzeichenfolge T der Länge n benötige ich einen schnellen (linearen Zeit-) Algorithmus, um alle Positionen zu finden, an denen P mit einer Teilzeichenfolge von T mit höchstens k Fehlpaarungen übereinstimmt. Dies unterscheidet sich vom …

10 algorithms reference-request strings string-metrics substrings

1

Vereinigung gegen SAT-Löser

Ich habe auf Wikipedia gelesen, dass die Vereinigung ein Prozess zur Lösung des Erfüllbarkeitsproblems ist. Gleichzeitig weiß ich, dass solche Löser "SAT-Löser" oder "SMT-Löser" genannt werden. Sind sie also unterschiedliche Namen für dasselbe? Wenn Sie sagen, dass sie unterschiedlich sind, weisen Sie bitte auf einen Fehler in meiner Behandlung hin.

10 terminology sat-solvers unification

1

Was ist der Unterschied zwischen Anhalten, Akzeptieren und Entscheiden im Kontext von Turing-Maschinen?

Bedeutet Akzeptieren, dass das TM ein Zeichen aus der Zelle liest und erkennt, aus der es gerade liest? Und ist es der Fall, dass ein TM anhält, wenn die Eingabe entscheidbar ist?

10 terminology turing-machines undecidability

1

Mathe für TCS-Hauptfach

Ich suche ein Hauptfach in Theoretischer Informatik; Insbesondere interessiere ich mich für Komplexitätstheorie und probabilistische Automatentheorie. Welche fortgeschrittenen Kurse in Mathematik (wie zum Beispiel Galois-Theorie oder Harmonische Analyse) halten Sie nach meinem Abschluss in einem Jahr für nützlich, um die nächsten zwei Semester zu übernehmen? Warum?

10 complexity-theory automata education

1

Mikrooptimierung für die Berechnung der Bearbeitungsentfernung: Ist sie gültig?

Auf Wikipedia wird eine Implementierung für das dynamische Bottom-Up-Programmierschema für die Bearbeitungsentfernung angegeben. Es folgt nicht vollständig der Definition; innere Zellen werden folgendermaßen berechnet: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum ( d[i-1, j] + 1, // a …

10 algorithms dynamic-programming string-metrics correctness-proof program-optimization

1

Unterschiedliche Variablen für verschiedene Klauseln

Beim Auflösen des Auflösungssatzes wird normalerweise angenommen, dass Variablen in verschiedenen Sätzen unterschiedlich sind. Dies geschieht nicht automatisch. Für die Implementierung sind erheblicher zusätzlicher Code und Berechnungen erforderlich. Vor diesem Hintergrund suche ich einen Testfall dafür. Das Problem ist, dass es in allen Testfällen, die ich bisher ausprobiert habe, keinen …

10 logic automated-theorem-proving

2

Komplexität der Berechnung

Was ist die Komplexität der Berechnung ?nn2,n ∈ N.nn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory integers number-theory

1

Sind reguläre Sprachen unter Sortierung geschlossen (Parikh-Bild)?

Angenommen, ist eine reguläre Sprache über einem geordneten Alphabet. Ist die Sprache aufgebaut, indem jedes Wort in L genommen und immer sortiert wird?L.LLL.LL

10 formal-languages regular-languages

2

Bestimmen der bestimmten Zahl in Zeit und Raum (schlimmster Fall)

\newcommand\ldotd{\mathinner{..}} , A[1..n]A[1..n]A[1\ldotd n] sind ganze Zahlen, so dass 0≤A[k]≤m0≤A[k]≤m0\le A[k]\le m für alle 1≤k≤n1≤k≤n1\le k\le n und das Auftreten von jedem Zahl mit Ausnahme einer bestimmten Zahl in A[1..n]A[1..n]A[1\ldotd n] ist eine ungerade Zahl. Versuchen Sie, die Nummer zu finden, deren Vorkommen eine gerade Zahl ist. Es gibt einen …

10 algorithms search-algorithms

1

Bestimmen, wie ähnlich eine bestimmte Zeichenfolge einer Sammlung von Zeichenfolgen ist

Ich bin mir nicht sicher, ob diese Frage hierher gehört, und ich entschuldige mich, wenn nicht. Ich möchte eine programmatische Methode entwickeln, mit der ich wahrscheinlich feststellen kann, ob eine bestimmte Zeichenfolge in einen Beutel mit Zeichenfolgen "gehört". Wenn ich zum Beispiel eine Tüte mit 10.000 US-Städtenamen und dann die …

10 algorithms reference-request string-metrics

2

Was ist die durchschnittliche Höhe eines Binärbaums?

Gibt es eine formale Definition für die durchschnittliche Höhe eines Binärbaums? Ich habe eine Tutorial-Frage zum Ermitteln der durchschnittlichen Höhe eines Binärbaums mithilfe der folgenden zwei Methoden: Die natürliche Lösung könnte darin bestehen, die durchschnittliche Länge aller möglichen Pfade von der Wurzel zu einem Blatt zu nehmen avh1(T)=1# leaves in …

10 graph-theory terminology combinatorics binary-trees

3

Summen von Landau Bedingungen überarbeitet

Ich fragte eine (Samen) Frage zu Summen von Landau Bedingungen vor , zu versuchen , die Gefahren zu beurteilen , der Asymptotiken Notation in arithmetics, mit gemischtem Erfolg zu missbrauchen. Nun hier unsere Wiederholung Guru JEFFE tut im Wesentlichen diese: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Obwohl das Endergebnis korrekt …

10 terminology asymptotics landau-notation

2

Schwache Hashing-Funktion für einprägsame IPv6-Adressen

IPv6-Adressen in Form von 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0sind viel schwerer zu merken oder sogar zu transkribieren als die 4 Oktette von IPv4. Es hat schon versucht , dies zu mildern, so dass IPv6 - Adressen irgendwie unvergesslich. Gibt es eine absichtlich schwache Hashing-Funktion, die umgekehrt werden könnte, um festzustellen, dass die Phrase "Dies …

10 cryptography computer-networks hash user-interface

1

Beweisen Sie, dass eine in T (n) von einer RAM-Maschine berechenbare Boolesche Funktion in DTIME (T (n) ^ 2) ist.

Die Frage ist Übung 1.9 aus Arora-Baraks Buch Computational Complexity - A Modern Approach : Definieren Sie eine RAM-Turing-Maschine als Turing-Maschine mit Direktzugriffsspeicher. Wir formalisieren dies wie folgt: Die Maschine hat ein unendliches Array A, das für alle Leerzeichen initialisiert wird. Es greift wie folgt auf dieses Array zu. Eines …

10 complexity-theory turing-machines machine-models simulation