Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Was ist ein Algorithmus, um eine minimale Scheitelpunktabdeckung in einem zweigeteilten Graphen mit gewichteten Scheitelpunkten zu finden?
Ich weiß, dass ich für einen ungewichteten zweigliedrigen Graphen die minimale Scheitelpunktabdeckung finden kann, indem ich zuerst die maximale Übereinstimmung finde und sie unter Verwendung des Königschen Theorems in eine Scheitelpunktabdeckung verwandle. Gibt es eine Modifikation, die verwendet werden könnte, wenn die Knoten gewichtet werden?
4
Können Suffixbäume verwendet werden, um alle gängigen Teilzeichenfolgen zu finden?
Ich versuche, Suffixbäume zu verwenden, um Zeichenfolgenfolgen zu vergleichen. Ich habe Implementierungen / Theorie für das längste häufige Problem mit Unterzeichenfolgen unter Verwendung von Suffixbäumen gefunden. Was ich jedoch suche, ist eine Diskussion des damit verbundenen Problems - "alle gängigen Teilzeichenfolgen". Insbesondere habe ich ein Problem, bei dem ich zuerst …
1
Was ist der Beweis dafür, dass Quantencomputer beliebige quantenmechanische Systeme effizient simulieren können?
JBV schlug vor, einige Kommentare in eine Frage umzuwandeln. Eine weitere Frage [1] betrifft Anwendungen des QM-Computing. Eine Antwort [2] war "die Quantenmechanik effizient simulieren". Anscheinend geht diese Idee auf Feynmans frühes Schreiben zu diesem Thema zurück; obwohl ich keine Referenz habe. Damit: Frage. Was ist der Beweis dafür, dass …
1
Bestimmen Sie die Mindestanzahl der Münzwägungen
In der Arbeit Zu zwei Problemen der Informationstheorie geben Erdõs und Rényi Untergrenzen für die Mindestanzahl von Wägungen an, die zur Bestimmung der Anzahl falscher Münzen in einem Satz von Münzen erforderlich sind .nnn Formeller: Die falschen Münzen haben ein geringeres Gewicht als die richtigen Münzen; Die Gewichte und b …
2
Kompromissgrenzen für die Halbraumbereichszählung
Was ist die derzeit beste Grenze für die Durchführung von Abfragen zur Zählung des Halbraumbereichs an einer Reihe von dimensionalen Punkten, ausgedrückt in Form eines Zeit / Raum-Kompromisses. Gemäß Matouseks wegweisender Arbeit von 1993 (Satz 6.2, Bereichssuche mit effizienten hierarchischen Schnitten) können wir die Bereichszählung für Abfragen, die den Schnittpunkt …
2
Optimierungsproblem einstellen - ist es np-vollständig?
Set ist gegeben. Für jedes Element haben wir das Gewicht und kosten . Das Ziel besteht darin, die Teilmenge der Größe , die die folgende Zielfunktion maximiert: .S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\}eieie_iwi>0wi>0w_i>0ci>0ci>0c_i>0MMMkkk∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin M} c_i} Ist das Problem NP-schwer? Da die Zielfunktion seltsam erscheint, ist es hilfreich, eine …
2
Sind Schaltungen mit Quasi-Polynomgröße für 3-SAT trivial?
Angenommen, wir betrachten 3-SAT mit Variablen und Klauseln. Ich erforsche eine Methode, die anscheinend Zeit / Raum benötigt, um ein SAT-Problem zu lösen, das dieser Beschreibung entspricht, und zwar innerhalb eines Fehlers, der auf einen beliebigen Betrag eingestellt werden kann. Es gibt jedoch einen Haken.vvvcccO(v2+logc)O(v2+log⁡c)O(v^{2+\log c}) Dieses Verfahren erfordert einen …
2
Determinante einer verallgemeinerten Vandermonde-Matrix
Die Moore-Matrix ähnelt der Vandermonde-Matrix, hat jedoch eine leicht modifizierte Definition. http://en.wikipedia.org/wiki/Moore_matrix Was ist die Komplexität der Berechnung der Determinante einer gegebenen vollen Rang-Moore-Matrix modulo einer ganzen Zahl?n×nn×nn \times n Kann die Moore-Determinante mit FFT-Techniken von auf für einige reduziert werden? ?O ( n log a n ) a ∈ …
2
Einwegfunktionen im Vergleich zu perfekt verbindlichen Verpflichtungen
Wenn OWFs existieren, ist eine statistisch bindende Bitbindung möglich. [1] Ist bekannt, dass bei Vorhandensein von OWFs eine perfekt bindende Bitbindung möglich ist? Wenn nein, gibt es eine bekannte Black-Box-Trennung zwischen ihnen? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem und http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator
2
Amplitude zufälliger kubischer Graphen
Betrachten Sie einen zusammenhängenden zufälligen kubischen Graphen G=(V,E)G=(V,E)G=(V,E) von n=|V|n=|V|n =|V|Eckpunkte, gezeichnet aus G(n,3G(n,3G(n, 3 reg ))) (wie hier definiert , dh 3n3n3n ist gerade und zwei beliebige Graphen haben die gleiche Wahrscheinlichkeit). Natürlich gibt es möglich Breadth sucht zuerst, eine für jeden Startknoten s ∈ V . A Breitensuche …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.