Theoretische Informatik

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

4
Handbuch fortgeschrittener Datenstrukturen
Ich suche ein Buch über fortgeschrittene Datenstrukturen, das über das hinausgeht, was in Standardlehrbüchern wie Cormen, Leiserson, Rivest und Steins "Introduction to Algorithms" behandelt wird. Ein Buch , das für den Unterricht einen Diplom - Level - Kurs auf erweiterte Datenstrukturen wie Erik Demaine und André Schulz verwendet werden können …
13
Komplexe Analyse in der theoretischen Informatik
Es gibt viele Anwendungen der realen Analyse in der theoretischen Informatik, die Eigenschaftsprüfung, Kommunikationskomplexität, PAC-Lernen und viele andere Forschungsbereiche abdecken. Ich kann mir jedoch kein Ergebnis in TCS vorstellen, das auf einer komplexen Analyse beruht (außerhalb des Quantencomputers, wo komplexe Zahlen im Modell eine Rolle spielen). Hat jemand ein Beispiel …
1
Ungefährer Grad von
BEARBEITEN (v2): Am Ende wurde ein Abschnitt hinzugefügt, der beschreibt, was ich über das Problem weiß. EDIT (v3): Diskussion zum Schwellenwert am Ende hinzugefügt. Frage Diese Frage ist hauptsächlich eine Referenzanfrage. Ich weiß nicht viel über das Problem. Ich möchte wissen, ob bereits an diesem Problem gearbeitet wurde, und wenn …
1
Was ist
Dies hängt mit der Frage zusammen, ob die Mitgliederzahl der Zeugen für jede NP-Sprache bereits bekannt ist. Einige natürliche (-vollständige) Probleme haben Zeugen linearer Länge: eine befriedigende Zuordnung für S A T , eine Folge von Eckpunkten für H A M P A T H usw.NPNP\mathsf{NP}SATSATSATHAMPATHHAMPATHHAMPATH Betrachten Sie die Komplexitätsklasse …
1
Wie komplex ist dieses Abdeckungsproblem?
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 Problem reduzieren, die Frage nach der Komplexität konnten wir jedoch …
2
Rechenkomplexität der Quantenoptik
In "Anforderung für die Quantenberechnung" fassen Bartlett und Sanders einige der bekannten Ergebnisse für die kontinuierliche variable Quantenberechnung in der folgenden Tabelle zusammen: Meine Frage ist dreifach: Kann die letzte Zelle neun Jahre später ausgefüllt werden? Wenn eine Spalte mit dem Titel "Universal for BQP" hinzugefügt wird, wie würde der …
4
Starten von SAT-Solver-Papieren
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 kompetenten Rat, wie ich anfangen …
2
Was ist die beste Untergrenze für die Fehlertoleranzschwelle beim Quantencomputing?
Es ist bekannt, dass es eine Rauschschwelle für die Quantenberechnung gibt, so dass unterhalb dieser Schwelle die Berechnung so codiert werden kann, dass sie mit begrenzter Wahrscheinlichkeit (mit höchstens polynomialem Rechenaufwand) das richtige Ergebnis liefert. Diese Schwelle hängt von der verwendeten Codierung und der genauen Art des Rauschens ab, und …
1
Rekonstruktionsprojektion und partielle 2-Bäume
Rekonstruktionsvermutung besagt, dass Graphen (mit mindestens drei Scheitelpunkten) eindeutig durch ihre gelöschten Scheitelpunkt-Untergraphen bestimmt werden. Diese Vermutung ist fünf Jahrzehnte alt. In der einschlägigen Literatur habe ich festgestellt, dass die folgenden Klassen von Diagrammen bekanntermaßen rekonstruierbar sind: Bäume getrennte Graphen, Graphen, deren Komplement getrennt ist regelmäßige Grafiken Maximum Outerplanar Graphs …
5
Was ist die maximale Anzahl von stabilen Ehen für eine Instanz des Problems der stabilen Ehe?
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 folgende Frage: Können wir eine Präferenzliste erstellen, die die maximale Anzahl stabiler Ehen angibt? …
2
Gibt es eine direkte / natürliche Reduktion, um nicht zweiteilige perfekte Übereinstimmungen mit der bleibenden Karte zu zählen?
Das Zählen der Anzahl perfekter Übereinstimmungen in einem zweigeteilten Graphen ist sofort auf die Berechnung der bleibenden Karte reduzierbar. Da sich das Finden einer perfekten Übereinstimmung in einem nicht bipartiten Graphen in NP befindet, gibt es eine gewisse Reduktion von nicht bipartiten Graphen auf die bleibende Zahl, aber es kann …
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.