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
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....
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...
Bei einer Triangulation (ohne Steiner-Punkte) eines einfachen Polygons kann man das Dual dieser Triangulation betrachten, das wie folgt definiert ist. Wir erstellen einen Scheitelpunkt für jedes Dreieck in unserer Triangulation und verbinden zwei Scheitelpunkte, wenn sich die entsprechenden...
Welche Algorithmen für maschinelles Lernen (neben SVMs) verwenden das Prinzip der strukturellen Risikominimierung
Es ist eine triviale Übung in endlichen Automaten zu zeigen, dass es keinen Algorithmus gibt, der alle Viren erkennen kann, aber es gibt viele Softwareunternehmen, die Anti-Virus-Software verkaufen. Gibt es einen Teil von CS, der sich mit Viren und Antiviren befasst? PS: Ich frage nicht nach einer...
Gibt es gute diskrete Mathematik-Lernwebressourcen mit
Ich versuche mir verschiedene Ansätze zur Softwareüberprüfung beizubringen. Ich habe einige Artikel gelesen. Soweit ich gelernt habe, verwendet die Aussagenlogik mit Zeit im Allgemeinen die Modellprüfung mit SAT-Lösern (in laufenden - reaktiven Systemen), aber was ist mit der Logik erster Ordnung...
Ist diese Variante des Teilmengen-Summenproblems einfach / bekannt? Bei einer gegebenen ganzen Zahl und einer Menge positiver ganzer Zahlen so dass für jedes höchstens Bits auf ( ); Gibt es eine Teilmenge so dass die Summe ihrer Elemente gleich ?A = { x 1 , x 2 , . . . , x n } x i k = 2 1 x i = 2 b...
Kürzlich habe ich eine Frage zu Math SE gestellt. Noch keine Antwort. Diese Frage bezieht sich auf diese Frage, aber mehr technische Details zur Informatik. Gegeben sind zwei DFAs A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) und B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma,...
Ich habe dies auf MathUnderflow gepostet, aber keine Antworten erhalten. Ich dachte, ich würde es hier versuchen. Ich lese die alte Arbeit von Rabin und Fischer [wird nach Möglichkeit einen Link veröffentlichen], wo unter anderem die doppelt exponentielle Komplexität der Presburger-Arithmetik...
Ich habe mehrere mögliche Erklärungen gehört, daher hätte ich gerne eine vertrauenswürdige Referenz. Update 05.19: Ich bin an der Frage interessiert, weil einer meiner Studenten in seiner Diplomarbeit geschrieben hat, dass der Name aus der folgenden Erklärung stammt (1). Bis jetzt habe ich gedacht...
In Girards Beweisen und Typen können wir lesen: Aus algorithmischer Sicht weist der sequentielle Kalkül keinen Curry-Howard-Isomorphismus auf, da es eine Vielzahl von Möglichkeiten gibt, denselben Beweis zu schreiben. Dies hindert uns daran, es als typisierten Kalkül zu verwenden, obwohl wir eine...
Eine formale Sprache L.LL über ein Alphabet ΣΣ\Sigma ist eine Teilmenge von Σ∗Σ∗\Sigma^* , die eine Reihe von Worten über dieses Alphabet ist. Zwei formale Sprachen L.LL und L.'L′L' sind gleich, wenn die entsprechenden Mengen als Teilmengen von weitgehend gleich sind L ∪ L.'L∪L′L\cup L'. Man kann...
Ich betrachte das folgende Problem: Gegeben -dimensionalen Vektoren des natürlichen Zahlen und einiger Eingangsvektor ist eine lineare Kombination der ‚s mit natürlicher Zahl Koeffizienten?nnnv1,…,vmv1,…,vmv_1, \ldots, v_muuuuuuviviv_i dh gibt es einige wobei ?t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in...
Diese Frage betrifft die Schnittstelle von Wahrscheinlichkeitstheorie und Rechenkomplexität. Eine wichtige Beobachtung ist, dass einige Verteilungen einfacher zu generieren sind als andere. Zum Beispiel das Problem Geben Sie bei einer gegebenen Zahl eine gleichmäßig verteilte Zahl i mit 0 ≤ i <...
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......
Die Antwort von @ Babou auf eine kürzlich gestellte Frage erinnert mich daran, dass ich einmal einen Artikel über die Äquivalenz (sowohl hinsichtlich der Fakten, die abgeleitet oder bewiesen werden können, als auch hinsichtlich der zeitlichen Komplexität der Ausführung des Inferenzalgorithmus) der...
Gibt es Probleme, deren Entscheidbarkeit unbekannt ist, aber es ist sicher bekannt, dass die Probleme weniger schwierig sind als das
Ich suche nach praktischen Anwendungen von Finite-State-Maschinen wie DFA-, NFA-, Moore-, Mealy-Maschinen ... Es wäre hilfreich, wenn jemand auf Beispiele aus dem Linux-Kernel verweist. Ich weiß, dass DFA beim String-Matching wie beim KMP-Algorithmus verwendet wird. Welche Bedeutung haben NFA-,...