Ein DFA oder NFA liest eine Eingabezeichenfolge mit einem einzelnen Kopf von links nach rechts durch. Es scheint natürlich, sich über Maschinen mit endlichen Zuständen zu wundern, die mehrere Köpfe haben , von denen sich jeder von links nach rechts durch die Eingabe bewegt, aber nicht unbedingt an...
Wir kennen und lieben eine Reihe verschachtelter Klassen von Lösungskonzepten: PN: Reines Nash-Gleichgewicht MN: Gemischtes Nash-Gleichgewicht CE: Korreliertes Gleichgewicht CCE: Kurskorreliertes Gleichgewicht. PN⊂MN⊂CE⊂CCEPN⊂MN⊂CE⊂CCEPN \subset MN \subset CE \subset
Ich habe also ein Problem mit dem Clustering mit Live-Daten, die kontinuierlich gestreamt werden. Da ich einen ständig wachsenden Datensatz habe, bin ich mir nicht sicher, wie ich effizientes und effektives Clustering am besten ausführen kann. Ich habe einige mögliche Lösungen gefunden, darunter:...
Ich schreibe (langsam) eine Rezension des Handbuchs der Chemoinformatik-Algorithmen für SIGACT News. In einem Kapitel werden aktuelle Software-Implementierungen erläutert, und die Datenbanksuchen (und andere Anwendungen) scheinen nicht so viele Informationen über die Diagramme zu nutzen, wie sie...
Gibt es bekannte Ergebnisse, die zeigen, dass das Vorhandensein (oder Nichtvorhandensein) endlicher Graphen mit bestimmten berechenbaren Eigenschaften bestimmte Komplexitätsergebnisse impliziert (wie P = NP)? Hier ist ein völlig hypothetisches Ergebnis: Wenn ein endlicher Graph mit distingushed...
IP (2pfa) und AM (2pfa) sind die Klassen von Sprachen, die von privaten und öffentlichen Münzversionen mit begrenztem Fehler erkannt werden, von interaktiven Proofsystemen mit Verifizierern, die probabilistische endliche Automaten mit einem Zweiwege-Eingabekopf sind. Sind Verschlusseigenschaften...
Es ist einfach zu erkennen, dass die Potenzen von 2 über dem Alphabet {0,1} regulär sind, da ein regulärer Ausdruck dafür ist.10∗10∗10^* Aber die Potenzen von 2, die im Ternär dargestellt werden, scheinen nicht regulär zu sein. Das Pumpen von Deckspelzen- oder Rückstandsklassen ist schwierig...
Ich meine speziell Sprachfamilien, die beliebig lange Zeichenfolgen zulassen - keine Konjunktionen über n Bits oder Entscheidungslisten oder eine andere "einfache" Sprache, die in {0,1} ^ n enthalten ist. Ich frage nach "automatentheoretischen" regulären Sprachen im Gegensatz zu...
Angenommen, wir haben eine Zufallsvariable, die nicht numerische Werte a, b, c annimmt und quantifizieren möchte, wie die empirische Verteilung von Stichproben dieser Variablen von der tatsächlichen Verteilung abweicht. In diesem Fall gilt die folgende Ungleichung (von Cover & Thomas ).nnn Satz...
Die Matrixmultiplikation unter Verwendung der regulären Technik (Zeilen-Spalten-Innenprodukt) erfordert -Multiplikationen und O ( n 3 ) -Additionen . Unter der Annahme gleich großer Einträge (Anzahl der Bits in jedem Eintrag beider Matrizen, die multipliziert werden) mit einer Größe von m Bits...
Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Theoretische Informatik Stapel Austausch. Geschlossen vor 3 Jahren . Gibt es eine kurze explizite Konstruktion einer...
Es ist bekannt, dass das NP-vollständige Problem namens Subset Sum ein FPTAS hat. Ich habe mich gefragt, ob es ein PSPACE Complete-Problem gibt, das auch ein FPTAS hat. Danke im
Sei ein Alphabet, dh eine nicht leere endliche Menge. Eine Zeichenfolge ist eine endliche Folge von Elementen (Zeichen) aus . Als Beispiel ist das binäre Alphabet und ist eine Zeichenfolge für dieses Alphabet.Σ { 0 , 1 } 0110ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Solange mehr als 1...
Ich habe kürzlich darüber nachgedacht, eine physikalische Frage in Quanten-CS zu "importieren": Der Begriff des Gebietsgesetzphänomens in Hamiltonschen Systemen steht normalerweise für einen lokalen Hamiltonianer auf einem Gitter, dessen Grundzustand eine Eigenschaft aufweist, bei der die...
Angenommen, wir erhalten einen Graphen und die Parameter . Gibt es Bereiche von Werten für (oder ist es für alle machbar ) , für die es möglich ist , ob ist -Far von einer unabhängigen Satz von Größe mindestens mit in der Zeit ?k , ε k k G ε k O ( n + Poly ( 1 / ε ) )
Die rechnergestützte Komplexitätstheorie klassifiziert Probleme nach ihrer inhärenten Schwierigkeit. Die Theorie komplexer Systeme befasst sich mit Systemen, die Verhaltensweisen aufweisen, die sich nicht offensichtlich aus den Eigenschaften der einzelnen Systemteile ergeben. Beispiele sind...
Dies ist eine spezielle Version einer früheren Frage: Komplexität beim Finden der Eigendekomposition einer Matrix . Für NxN-Symmetriematrizen ist bekannt, dass die O (N ^ 3) -Zeit ausreicht, um die Eigenzerlegung zu berechnen. Die Frage ist: Können wir eine subkubische Komplexität erreichen? Vielen...
Wir nennen einen Algorithmus im Allgemeinen "guten Algorithmus", wenn seine Laufzeit im schlimmsten Fall polynomisch ist. In einigen Fällen (z. B. Simplex-Algorithmus) kann der Worst-Case des Algorithmus zwar exponentiell sein, in der Praxis jedoch sehr gut funktionieren. Gibt es andere...
Alice und Bob teilen den Nachlass ihres verstorbenen Onkels Charlie (eine endliche Sammlung diskreter Gegenstände) nach seinen Wünschen auf. Zuerst wählt A einen Gegenstand aus, dann B, dann A und so weiter.X.X.X Alice und Bob haben jeweils additive Dienstprogrammfunktionen . Wenn Alice am Ende die...
Mit dem Zeithierarchiesatz kann man zeigen, dass es beispielsweise Probleme in P gibt, die von einer Turing-Maschine nicht in einer Zeit gelöst werden können, die kleiner als const * n ^ 2 ist. Aber geben Sie der Turing-Maschine einige Ratschläge und alle Wetten sind geschlossen. Man kann noch...