Computerwissenschaften reference-request

2

Methode zur Messung der Ähnlichkeit zwischen FSA-Grammatiken?

Ich arbeite mit einem Pattern-Matching-Algorithmus, der einen azyklischen Finite-State-Automaten generiert, der eine bestimmte Textzeichenfolge und alle ihre Teilzeichenfolgen akzeptiert. Der FSA-Algorithmus wird auf einer symbolischen Darstellung eines Musikstroms (z. B. MIDI-Daten) ausgeführt. Der Musikstrom wurde vorverarbeitet, um jedes Lied in unbeschriftete "Segmente" zu unterteilen. Für jedes Segment in jedem Song …

10 formal-languages reference-request finite-automata

2

Können wir eine Karp-Reduktion aus einer Cook-Reduktion zwischen NP-Problemen konstruieren?

Wir hatten mehrere Fragen zum Verhältnis von Cook- und Karp-Reduktionen . Es ist klar, dass Cook-Reduktionen (Poluring-Zeit-Turing-Reduktionen) nicht den gleichen Begriff der NP-Vollständigkeit definieren wie Karp-Reduktionen (Polynom-Zeit-Viel-Eins-Reduktionen), die normalerweise verwendet werden. Insbesondere können Cook-Reduktionen NP nicht von Co-NP trennen, selbst wenn P NP. Daher sollten wir Cook-Reduktionen nicht in typischen …

10 complexity-theory reference-request np-complete reductions

1

Kurzer und geschickter Beweis des starken Dualitätssatzes für die lineare Programmierung

Betrachten Sie die linearen Programme Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} Der schwache Dualitätssatz besagt, dass, wenn und die Bedingungen …

10 algorithms reference-request linear-programming linear-algebra duality

1

Bei einem Akkord-Diagramm , was die Komplexität der Berechnung der reduzierte Clique Graph ?

Ein Graph ist akkordisch, wenn er keine induzierten Zyklen mit einer Länge von oder mehr induziert hat . Ein Cliquenbaum von ist ein Baum, in dem die Eckpunkte des Baumes die maximalen Cliquen von . Eine Kante in entspricht einem minimalen Trennzeichen. Die Anzahl der verschiedenen Cliquenbäume kann in der …

10 algorithms graph-theory reference-request

3

Faire Aufteilung des zweidimensionalen Kuchens

Ich interessiere mich für Verfahren zur gerechten Aufteilung von Land (dh neidfreie Aufteilung oder zumindest proportionale Aufteilung). Im Gegensatz zu dem gut untersuchten Problem der Kuchenteilung ist die Landteilung zweidimensional, dh die Präferenzen der Benutzer können sowohl horizontal als auch vertikal variieren. Daher ist es nicht praktikabel, den Algorithmus auf …

10 reference-request game-theory

3

Erste Schritte mit der Programmanalyse

Ich suche nach Ressourcen für den Einstieg in die Programmanalyse . Das einzige Buch, das ich zu diesem Thema gefunden habe, ist das Nielson & Nielson- Buch. Davon abgesehen scheint es nur "Compiler" -Bücher zu geben, in denen "Programmanalyse" ein Kapitel oder etwas in dieser Richtung wäre. Kennen die Leute …

10 reference-request compilers semantics

1

Eine Programmiersprache, die nur berechenbare bijektive Funktionen implementieren kann?

Gibt es Programmiersprachen (oder Logik), die eine Funktion genau dann implementieren (oder ausdrücken) können, wenn f eine berechenbare bijektive Funktion ist?f: N → N.f:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request programming-languages logic reversible-computing

7

Wo finde ich veröffentlichte Forschungsarbeiten?

Ich komme aus der POV von jemandem, der über eine Promotion in Informatik nachdenkt. Ich habe Probleme zu entscheiden, worauf ich mich bei meiner Promotion konzentrieren möchte. Siehe auch diese Frage zu akademia.SE . Ich denke also, dass das Lesen / Aktualisieren der Forschungsergebnisse und der Veröffentlichung von Forschungsarbeiten eine …

10 reference-request

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

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 der Unterschied zwischen klassischer Krypto und Post-Quanten-Krypto?

Wird es notwendig sein, die Definitionen von Sicherheit zu ändern, wenn wir Quantencomputer haben? Welche kryptografischen Konstruktionen werden brechen? Kennen Sie eine Umfrage oder einen Artikel, in dem erläutert wird, was geändert werden muss?

10 reference-request cryptography quantum-computing

2

Wie klassifiziere ich mein Problem bei der Optimierung der Emulator-Eingabe und mit welchem Algorithmus soll ich es angehen?

Aufgrund der Art der Frage muss ich viele Hintergrundinformationen hinzufügen (da meine Frage lautet: Wie kann ich diese eingrenzen?). Sie kann jedoch (nach bestem Wissen) wie folgt zusammengefasst werden: Welche Methoden gibt es, um lokale Optima in extrem großen kombinatorischen Suchräumen zu finden? Hintergrund In der Tool-unterstützten Superplay-Community möchten wir …

10 reference-request machine-learning combinatorics optimization search-problem

1

Ist die Umkehrung eines minimalen DFA auch minimal?

Die Frage steht so ziemlich im Titel. Gibt es überhaupt eine Zeit , wo einige Sprache kann durch eine minimale DFA mit akzeptiert werden n Staaten, sondern L R , die Umkehrung der L kann von einem DFA mit akzeptiert m Staaten, in denen m < n ?LLLnnnLRLRL^RLLLmmmm<nm<nm<n

10 formal-languages reference-request automata finite-automata

3

Auf der Suche nach einem Wörterbuch der Mathematik / CS-Notation

Es gibt manchmal eine schwindelerregende Reihe von Symbolen, die in Mathematik- und CS-Papieren verwendet werden. Viele gehen jedoch von einer grundlegenden Vertrautheit aus, die an einem Ort selten gelehrt zu werden scheint. Ich suche nach einem Wörterbuch wie dem folgenden, insbesondere aus CS-Sicht. Es würde alle grundlegenden mathematischen Symbole auflisten …

10 terminology reference-request education

1

Gibt es einen effizienten Algorithmus, um festzustellen, ob ein Graph einen nicht trivialen Automorphismus aufweist oder nicht?

Ich arbeite an einem Problem im Zusammenhang mit lateinischen Quadraten und möchte eine Methode für das, was im Wesentlichen auf das Entscheidungsproblem hinausläuft: Eingabe : Ein endlicher, einfacher Graph G. Ausgabe : YESWenn G NOansonsten einen nicht trivialen Automorphismus hat . Daher... Frage : Gibt es einen effizienten Algorithmus, um …

9 algorithms graphs graph-theory reference-request

Als «reference-request» getaggte Fragen