Ich frage mich, ob es Papiere oder Forschungsergebnisse gibt, die sich mit sichtbaren Pushdown-Automaten befassen, aber es erlaubt, dass Wörter anstatt einzelner Buchstaben auf den Stapel geschoben werden. Alternativ könnte eine Konstruktion, mit der Symbole auf symbols- verschoben werden können,...
Jede planare bzw. outerplanar Graph erfüllt , jeweils , für jeden Untergraphen von . Auch (äußere) planare Graphen können in Polynomzeit erkannt werden.| E ' | ≤ 3 | V ' | - 6 | E ' | ≤ 2 | V ' | - 3 G ' = ( V ' , E ' ) GG = ( V, E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le...
In der Arbeit Ein effizienter Algorithmus für den Graphisomorphismus von Corneil und Gotlieb, 1970, wurde eine Vermutung aufgestellt, auf der der angegebene Algorithmus zur Lösung des GI in der Polynomzeit beruhte. Nämlich: dass die repräsentativen Graphen die Automorphismus-Partitionierung des...
Diese Frage befindet sich wahrscheinlich an der Grenze zwischen "on-topic" und "off-topic". Allerdings habe ich hier ähnliche Fragen gesehen, daher werde ich sie stellen. Ich implementiere einen eindeutigen kkk SAT-Löser, dessen Eingabe eine kkk CNF-Formel mit höchstens 111 befriedigender Zuordnung...
Mir wurde angeboten, ein neuartiges TCS-Highschool-Programm zu unterrichten, für das ein Lehrplan erstellt werden muss. Ich würde sehr gerne Meinungen und Vorschläge dazu hören. Erstens, kennt jemand Hochschulen, an denen ein TCS-Programm erfolgreich (oder erfolglos) unterrichtet wurde? Die Idee...
Es gibt nur sehr wenige Informationen über das NP-vollständige Problem der Lösung der linearen Diophantingleichung in nicht-negativen ganzen Zahlen. Das heißt, gibt es eine Lösung in nicht-negativen zu der Gleichung a 1 x 1 + a 2 x 2 + . . . + a n x n = b , wo alle Konstanten positiv sind? Die...
Gowers hat kürzlich ein Problem umrissen , das er "diskretisierte Borel-Determiniertheit" nennt und dessen Lösung mit dem Nachweis von Schaltkreisuntergrenzen zusammenhängt. Können Sie einen Überblick über den Ansatz geben, der auf ein Publikum von Komplexitätstheoretikern zugeschnitten ist? Was...
Einige der Arbeiten zur Empfindlichkeit im Vergleich zur Blockempfindlichkeit zielten darauf ab, Funktionen mit einer möglichst großen Lücke zwischen s ( f)s(f)s(f) und b s ( f)bs(f)bs(f) zu untersuchen, um die Vermutung aufzulösen, dass b s ( f)bs(f)bs(f) nur polynomiell größer ist als s (...
Eindeutige endliche Automaten (UFA) sind spezielle Arten nicht deterministischer endlicher Automaten (NFA). Eine NFA wird als eindeutig bezeichnet, wenn jedes Wort höchstens einen akzeptierenden Pfad hat.w ∈ & Sigma;∗w∈Σ∗w\in \Sigma^* Dies bedeutet .D FA ⊂ UFA ⊂ NFEINDFEIN⊂UFEIN⊂NFEINDFA\subset...
Ich suche nach Problemen, die bekanntermaßen NPC für gerichtete Graphen sind, aber einen Polynomalgorithmus für ungerichtete Graphen haben. Ich habe die Frage in Bezug auf die Umkehrung hier gesehen, dass "gerichtete" Probleme einfacher sind als ihre "ungerichtete" Variante , aber ich suche nach...
Wenn wir uns das Buch Homotopy Type Theory ansehen , sehen wir die folgenden Themen: Homotopy type theory 2.1 Types are higher groupoids 2.2 Functions are functors 2.3 Type families are fibrations 2.4 Homotopies and equivalences 2.5 The higher groupoid structure of type formers 2.6 Cartesian product...
Hierarchietheoreme sind grundlegende Werkzeuge. Eine gute Anzahl von ihnen wurde in einer früheren Frage gesammelt (siehe Welche Hierarchien und / oder Hierarchiesätze kennen Sie? ). Einige Komplexitätsklassentrennungen ergeben sich direkt aus Hierarchiesätzen. Beispiele für solche gut bekannte...
Eine Kantenabdeckung ist eine Teilmenge von Kanten eines Diagramms, sodass jeder Scheitelpunkt des Diagramms an mindestens eine Kante der Abdeckung angrenzt. Die folgenden beiden Papiere sagen , dass Zählflanke Abdeckungen ist #P -komplette: Eine einfache FPTAS für Zählflanke Covers und Generieren...
Ist NP in DTIME(npolylogn)DTIME(npolylogn)DTIME(n^{poly\log n})
Ich bin daran interessiert, ob es gute Expository-Artikel oder Umfragen gibt, auf die ich mich beziehen kann, wenn ich über Komplexitätsklassenoperatoren schreibe : Operatoren, die Komplexitätsklassen transformieren, indem sie ihnen beispielsweise Quantifizierer hinzufügen. Beispiele für Operatoren...
Ich versuche die Komplexität von Funktionen zu verstehen, die über Schwellenwert-Gatter und dies führte mich zu . Insbesondere interessiert mich, was derzeit über das Lernen in , da ich kein Experte auf diesem Gebiet bin.T C 0T C0TC0\mathsf{TC}^0T C0TC0\mathsf{TC}^0 Was ich bisher entdeckt habe,...
Entschuldigung, wenn dies eine zu breite Frage für dieses Forum ist, aber ich bin an bestimmten Taktiken und Tipps interessiert, die Forscher (in TCS) verwenden, um die Einführung einer Forschungsarbeit zu schreiben.
Ich unterrichte einen Kurs über Datenstrukturen und werde Anfang nächster Woche Spreizbäume behandeln. Ich habe das Papier über Spreizbäume oft gelesen und bin mit der Analyse und der Intuition hinter der Datenstruktur vertraut. Ich kann jedoch keine solide Intuition für die potenzielle Funktion...
Wir sagen , dass NFA ist ständig mehrdeutige Existieren k ∈ N , so dass jedes Wort w ∈ & Sigma; * durch entweder akzeptiert wird 0 oder (exakt) k Pfaden.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Wenn Automat für ständig mehrdeutig ist k = 1 , dann M heißt Eindeutiges FA...
Jede Sprache, die nicht vollständig ist, kann keinen Dolmetscher für sich selbst schreiben. Ich habe keine Ahnung, wo ich das gelesen habe, aber ich habe es einige Male benutzt. Es scheint, als ob dies zu einer Art "ultimativer" nicht-Turing-vollständiger Sprache führt; die, die nur könnenvon einer...