Computerwissenschaften

Brzozowkis Algorithmus wird häufig zitiert. Einige Fragen geben hier Beispiele oder diskutieren ihre Komplexität. Aber ich konnte keinen Beweis für die Richtigkeit des Algorithmus finden. Wie beweisen wir es richtig? Jeder Beweis, der CS-Studenten zugänglich ist, wäre sehr willkommen.

7 formal-languages  automata  finite-automata 

Gegeben: N.NNSegmente (Arrays) von geordneten ganzen Zahlen, ganze Zahlen könnten von bis .- K.- -K.-KK.K.K Beispiel: Segment 1: [-2,-1,0,1,2,3] Segment 2: [1,2,3,4,5] Segment 3: [-3,-2,-1,0,1] Sie können sie als [min, max] darstellen --- es ist äquivalent: Segment 1: [-2,3] Segment 2: [1,5] Segment 3: [-3,1] Wie finde ich eine Ganzzahl, …

7 algorithms  time-complexity  arrays 

Ich betrachte die Wiederholung die die Laufzeit eines nicht spezifizierten Algorithmus beschreibt (Basisfälle werden nicht geliefert).T(n)=T(n/2)+T(n/3)+n,T(n)=T(n/2)+T(n/3)+n,T(n) = T(n/2) + T(n/3) + n, Unter Verwendung der Induktion fand ich, dass , aber es wurde mir gesagt, dass dies nicht eng ist. Nehmen wir in der Tat induktiv an, dass für alle …

7 asymptotics  recurrence-relation 

Wie viele Gleitkommaoperationen sind erforderlich, um eine Exponentiation durchzuführen (Potenz von)? Angenommen, die Multiplikation von zwei Floats verwendet eine FLOP, die Anzahl der Operationen für xnxnx^n wird sein n−1n−1n-1. Gibt es jedoch einen schnelleren Weg, dies zu tun? Wie funktioniert es wennnnn ist keine ganze Zahl?

7 algorithms  arithmetic  floating-point 

Ich versuche, die zeitliche Komplexität einer Warteschlange zu verstehen, die mit einer verknüpften Listendatenstruktur implementiert ist. Mein Buch sagt, dass wir eine Warteschlange in O (1) -Zeit implementieren können durch: Warteschlange auf der Rückseite an der Spitze aus der Warteschlange und es heißt auch Beachten Sie, dass das Hinzufügen eines …

7 algorithms  time-complexity  linked-lists  queues 

In der Windows XP-Ära musste ich beim Einrichten der in Windows OS integrierten Sprache / des Diktats eine Reihe programmierter Textbeispiele an die Sprach-Text-Engine senden, um mein Sprachprofil zu personalisieren. Heute kann ich mit vernetzten Sprach-Text-Engines wie Siri oder Cortana einfach anfangen zu diktieren. Die Qualität der Text-zu-Sprache-Konvertierung scheint gleichwertig …

7 algorithms  machine-learning  speech-recognition 

Angenommen, wir haben ein Orakel, das Probleme der Form löst maximize subject to cTxAx=b,x≥0maximize cTxsubject to Ax=b,x≥0\begin{align*} \text{maximize} ~~ & c^T x \\ \text{subject to} ~~ & A x = b, x\geq 0 \end{align*} wenn c≥0c≥0c\geq 0 (alle Koeffizienten im Maximierungsziel sind nicht negativ). Kann es verwendet werden, um allgemeine …

7 linear-programming 

Die administrative Normalform ist eine Programmzwischenrepräsentation, in der jede unmittelbare Anweisung einen Namen hat. Es wird in GHC und OCaml verwendet . Die K-normalisierte Form ist eine Zwischendarstellung, in der jeder Befehl aus einer Zuordnung und Operation besteht. Es wird in MLKit, Min-Caml und GoCaml verwendet. Sowohl bei der A-Normalisierung …

7 programming-languages  compilers 

Wir haben eine Funktion, die ein Array als Eingabe verwendet. Es zerlegt ein Array in Teile mit gleichen Größen, wobei die Größe des Subarrays ist. Es unterbricht jedes der Subarrays so lange, bis nur noch zwei Elemente darin sind. Was ist die Tiefe dieser Rekursion?log2(n)log2⁡(n)\log_2(n)nnn Beispiel des Prozesses: Zuerst haben …

7 complexity-theory  time-complexity  asymptotics  recursion  mathematical-analysis 

An verschiedenen Stellen ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf und https: //books.google.com/books?id=qYYKBwAAQBAJ&pg=PA21&lpg=PA21&dq=np-hard+completing+hadamard+matrix&source=bl&ots=8sKv9bAtc8&sig=ITZSmtD2p2xr6Q4RDqhbQQk0NDI&hl=en&sa=X&ved=2ahUKEwiotuLdvfzdAhWBKHwKHUF9AO0Q6AEwB3oECAMQAQ#v=onepage&q=np-hard%20completing% 20hadamard% 20matrix & f = false , um zwei zu ergeben) Es wird behauptet, dass die Bestimmung der "Äquivalenz" von zwei Hadamard-Matrizen (im Sinne des Zulassens von Vorzeichenflips und Permutationen in Zeilen und Spalten) NP-hart ist. Keine Quelle, die ich für diese …

7 np-complete  reference-request  graph-isomorphism 

Ich nehme an einem Computertheoriekurs teil und mein Professor sagte uns, dass ein Pushdown-Automat keine anderen Datenstrukturen als einen Stapel (wie eine Warteschlange oder mehrere Stapel) verwenden kann. Warum ist das so?

7 automata  pushdown-automata  computation-models 

Ich lese die Vorlesungen über kubische Typentheorie in diesem Github-Repo . In Vorlesung 1 definiert der Autor die Funktionserweiterung folgendermaßen: funExt (A B : U) (f g : A -> B) (p : (x : A) -> Path B (f x) (g x)) : Path (A -> B) f g …

7 type-theory  homotopy-type-theory 

Ich möchte einen Algorithmus, der wiederholte Teile von Big-Stack-Traces wie folgt identifizieren kann: java.lang.StackOverflowError at transform.Erasure$Eraser.typed1(Erasure.scala:789) at typechecker.Typers$Typer.runTyper$1(Typers.scala:5640) at typechecker.Typers$Typer.typedInternal(Typers.scala:5672) at typechecker.Typers$Typer.body$2(Typers.scala:5613) at typechecker.Typers$Typer.typed(Typers.scala:5618) at typechecker.Typers$Typer.$anonfun$typed1$38(Typers.scala:4752) at typechecker.Typers$Typer.silent(Typers.scala:700) at typechecker.Typers$Typer.normalTypedApply$1(Typers.scala:4754) at typechecker.Typers$Typer.typedApply$1(Typers.scala:4801) at typechecker.Typers$Typer.typedInAnyMode$1(Typers.scala:5586) at typechecker.Typers$Typer.typed1(Typers.scala:5603) at transform.Erasure$Eraser.typed1(Erasure.scala:789) at typechecker.Typers$Typer.runTyper$1(Typers.scala:5640) at typechecker.Typers$Typer.typedInternal(Typers.scala:5672) at typechecker.Typers$Typer.body$2(Typers.scala:5613) at typechecker.Typers$Typer.typed(Typers.scala:5618) at typechecker.Typers$Typer.typedQualifier(Typers.scala:5723) at typechecker.Typers$Typer.typedQualifier(Typers.scala:5731) …

7 algorithms 

Weiß jemand, wie effizient die erste Turing-Maschine war, die Alan Turing hergestellt hat? Ich meine, wie viele Züge hat es pro Sekunde oder so gemacht ... Ich bin nur neugierig. Ich konnte auch keine Informationen darüber im Web finden.

7 turing-machines 

Ich suche nach einer Datenstruktur zum Speichern einer Menge, so dass bei zwei Instanzen der Größe denen bekannt ist, dass sie einen nicht leeren Schnittpunkt haben, das minimale Element des Schnittpunkts in der Zeit kann. Ist dies entweder im schlimmsten Fall oder bei amortisierter Komplexität möglich? Weitere Anforderungen an die …

7 data-structures  heaps