Laut dem Wikipedia-Artikel über Polynom-Zeit-Approximationsschemata : Alle Probleme in FPTAS sind mit festen Parametern nachvollziehbar. Dieses Ergebnis überrascht mich - diese Klassen scheinen sich völlig zu unterscheiden. FPTAS charakterisiert Probleme dadurch, wie einfach sie zu approximieren...
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....
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
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...
Ich möchte Beweise für Teile eines Haskell-Programms liefern, das ich im Rahmen meiner Abschlussarbeit schreibe. Bisher habe ich jedoch kein gutes Nachschlagewerk gefunden. Graham Huttons Einführungsbuch Programming in Haskell ( Google Books ), das ich beim Lernen von Haskell gelesen habe, geht auf...
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
Brzozowskis Algorithmus kann auf Moore-Automaten erweitert werden, aber seine zeitliche Komplexität ist im Allgemeinen exponentiell. Gibt es einen anderen Algorithmus zur Minimierung von Moore-Automaten? Was sind die Laufzeiten dieser Algorithmen, falls
Ich beschreibe einen Ansatz zum Graphisomorphismus, der wahrscheinlich falsch positiv ist, und ich bin gespannt, ob es Literatur gibt, die darauf hinweist, dass er nicht funktioniert. Bei zwei Adjazenzmatrizen besteht eine zugegebenermaßen naive Methode zur Überprüfung auf Isomorphismus darin, zu...
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...
Ich kenne nicht die richtige Terminologie, um diese Frage zu stellen, deshalb werde ich sie stattdessen mit vielen Worten beschreiben. Hintergrund , nur damit wir uns auf derselben Seite befinden: Programme enthalten häufig Caches - ein Kompromiss zwischen Zeit und Speicher. Ein häufiger Fehler...
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...
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
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...
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...
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....
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...
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...
Ich frage mich, gibt es eine Methode zur automatischen Laufzeitanalyse, die zumindest für eine relevante Teilmenge von Algorithmen funktioniert (Algorithmen, die analysiert werden können)? Ich googeln „Automatische Algorithmus Analyse“ , die mir gegeben haben dies aber es ist zu Mathy. Ich möchte...
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...
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....