Wie kann bei einer vorgegebenen regulären Sprache (NFA, DFA, Grammatik oder Regex) die Anzahl der akzeptierten Wörter in einer bestimmten Sprache gezählt werden? Sowohl "mit genau n Buchstaben" als auch "mit höchstens n Buchstaben" sind von Interesse. Margareta Ackerman hat zwei Artikel zum Thema...
Kennen Sie ein aktuelles Wiki, das sich mit NP-Optimierungsproblemen befasst und deren bestes Näherungs- und Härteergebnis liefert? Aufgrund des Feedbacks scheint es sicher zu sein, dass es keine solche Ressource gibt (siehe das Ende dieser Frage für zwei nahe Optionen). - hinzugefügt am 8....
Ich bin sicher, dass jeder von Buffons Nadelexperiment im 18. Jahrhundert weiß , das ist einer der ersten probabilistischen Algorithmen, die berechnen .ππ\pi Die Implementierung des Algorithmus in Computern erfordert normalerweise die Verwendung von oder einer trigonometrischen Funktion, die,...
Was wären die Konsequenzen von #P = FP? Ich interessiere mich sowohl für praktische als auch für theoretische Konsequenzen. Aus praktischer Sicht interessieren mich insbesondere die Konsequenzen für die künstliche Intelligenz. Hinweise auf Papiere oder Bücher sind ausdrücklich erwünscht. Bitte...
Ich bin kein Theoretiker der Informatik, aber denke, dass dieses Problem der realen Welt hierher gehört. Das Problem Meine Firma hat mehrere Einheiten im ganzen Land. Wir haben den Mitarbeitern die Möglichkeit geboten, an einer anderen Einheit zu arbeiten. Aber es gibt eine Bedingung: Die...
Ich muss den laufenden Median berechnen: Eingabe: nnn , kkk , Vektor (x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) . Ausgabe: Vektor (y1,y2,…,yn−k+1)(y1,y2,…,yn−k+1)(y_1, y_2, \dotsc, y_{n-k+1}) , wobei yiyiy_i der Median von (xi,xi+1,…,xi+k−1)(xi,xi+1,…,xi+k−1)(x_i, x_{i+1}, \dotsc, x_{i+k-1}) ....
Im Zusammenhang mit dem Slither-Link- Puzzle habe ich mich gefragt: Angenommen, ich habe ein Gitter aus quadratischen Zellen, und ich möchte einen einfachen Zyklus von Gitterkanten finden, der unter allen möglichen einfachen Zyklen gleichmäßig zufällig ist.n×nn×nn\times n Ein Weg, dies zu tun,...
Ich habe heute beim Spielen mit meinem GPS das folgende Problem formuliert. Hier ist es : Sei ein gerichteter Graph, so dass, wenn dann , dh eine Orientierung des zugrunde liegenden ungerichteten Graphen ist. Betrachten Sie die folgenden Operationen:e = ( u , v ) ≤ E ( v , u ) ≤ E GG ( V,...
SAT-Löser sind sehr wichtig bei algebraischen Angriffen , z. B. Walksat und Minisat . Bei der Lösung der hier zur Verfügung stehenden Benchmark-Probleme besteht jedoch ein enormer Leistungsunterschied zwischen den beiden - Walksat ist für diese Probleme viel schneller als Minisat. Warum ist das?...
Band III von Knuth The Art of Computer Programming (Kapitel 5, Vers 3.2) enthält die folgende Tabelle die Auflistung genaue Mindestanzahl der Vergleiche erforderlich , um das wählen th kleinste Element aus einem unsortierten Satz von Größe , für all . Diese Tabelle, zusammen mit der bekannten...
Was ist über die Komplexität des folgenden Problems bekannt: Gegeben: rationale Zahlen .x1<x2<…<xnx1<x2<…<xnx_1 < x_2 < \dotso < x_n Ausgabe: Ganzzahlen .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Ziel: minimiere wobei∑1≤i<j≤ne(i,j),∑1≤i<j≤ne(i,j),\sum_{1 \le i < j...
Normalerweise erstellt man einen Graphen und stellt dann Fragen zur Eigenwertzerlegung der Adjazenzmatrix (oder eines nahen Verwandten wie dem Laplace ) (auch Spektren eines Graphen genannt ). Aber was ist mit dem umgekehrten Problem? Gegeben Eigenwerte kann man (effizient) ein Diagramm finden ,...
Gibt es eine natürliche Parallele zu rot-schwarzen Bäumen mit ähnlichen oder gar nicht so schlimmen Eigenschaften für Aktualisierungen bei angemessener Arbeitseffizienz? Was können wir allgemein am besten für die parallele Suche mit Updates tun?
Ich möchte einen ersten SAT-Löser machen. Ich kenne den SAT-Wettbewerb und die SAT-Konferenz, und es gibt einfach so viele Artikel zu diesem Thema. Ich bin ein Starter, ein überwältigter Starter. Wo soll ich anfangen Schließlich möchte ich den Stand der Technik vorantreiben. Ich möchte einen...
Ein Graph H ist ein Kern, wenn jeder Homomorphismus von H zu sich selbst eine Bijektion ist. Ein Teilgraph von G H ist ein Kern von G , wenn H ein Kern und es gibt einen Homomorphismus von G nach H ist http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Was ist der bekannteste exakte Algorithmus,...
Bei Teilmengen von .S 1 , … , S n { 1 , … , d }nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Überprüfen Sie, ob es Mengen mit . (Wenn ja, finden Sie ein Beispiel, wenn nicht, sagen Sie einfach "nein".)Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j Die triviale Lösung für dieses Problem...
Der Coppersmith-Winograd-Algorithmus ist der asymptotisch schnellste bekannte Algorithmus zum Multiplizieren von zwei Quadratmatrizen. Die Laufzeit ihres Algorithmus ist , die bisher bekannteste. Was ist die Raumkomplexität dieses Algorithmus? Liegt es in ?O ( n 2,376 ) Θ ( n 2 )n × nn×nn \times nO...
Bearbeiten: Ich habe meine Einschränkung (2) zuerst falsch formuliert, sie ist jetzt korrigiert. Ich habe auch weitere Informationen und Beispiele hinzugefügt. Mit einigen Kollegen, die sich mit einer anderen algorithmischen Frage befassten, konnten wir unser Problem auf das folgende interessante...
Stabiles Eheproblem: http://en.wikipedia.org/wiki/Stable_marriage_problem Mir ist bekannt, dass für eine SMP-Instanz neben der vom Gale-Shapley-Algorithmus zurückgegebenen viele andere stabile Ehen möglich sind. Wenn wir jedoch nur , die Anzahl der Männer / Frauen, erhalten, stellen wir die...
Suchen Sie aus einer riesigen Datenbank mit zulässigen Wörtern (alphabetisch sortiert) und einem Wort das Wort aus der Datenbank, das dem angegebenen Wort in Bezug auf die Levenshtein-Entfernung am nächsten liegt. Der naive Ansatz besteht natürlich darin, einfach den Abstand zwischen dem...