Hallo zusammen, ich versuche gerade, ein solides Thema für eine Masterarbeit zu finden, das sich auf einen Zweig der Automatentheorie bezieht oder sich auf formale Sprachen bezieht. Ich versuche, einige gute Ideen für ein akzeptables Thema zu generieren, etwas Ehrgeiziges, aber gleichzeitig...
Zeigen Sie eine Funktion die räumlich, aber nicht zeitlich konstruierbar ist.f( n )f(n)f(n) Hängt dieses Problem mit einer möglichen Trennung zwischen den Komplexitätsklassen DTIME (f (n)) und SPACE (f (n))
Ein Sternsystem ist eine Familie von n Teilmengen von n-Elementen eingestellt . Ein Sternensystem ist grafisch, wenn es einen Graphen so dass die Familie der Scheitelpunktnachbarschaften in . Es ist vollständig zu entscheiden, ob ein bestimmtes Sternensystem grafisch
Beispiele für begrenzte -vollständige Varianten unentscheidbarer Mengen:NPNPNP Problem mit begrenztem Anhalten = { | NTM-Maschine M hält an und akzeptiert x innerhalb von t Schritten}(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Begrenzte Kacheln = { | Es gibt eine Kachelung eines Quadrats der Fläche t 2...
Viele hier kennen wahrscheinlich Alons jüngste superlineare Untergrenzen für Netze in einer natürlichen geometrischen Umgebung [PDF] . Ich würde gerne wissen, was, wenn überhaupt, eine solche Untergrenze für die Annäherung der damit verbundenen Set-Cover- / Hitting-Set-Probleme bedeutet. ϵϵ\epsilon...
Stratego ist eine Programmiertransformationssprache / Rewriting DSL. Anthony Sloane hat einige Arbeiten an einer Implementierung durchgeführt, die auf Scala ausgeführt wird . Was sind die theoretischen Grenzen von Stratego als funktionale Sprache? (unabhängig von der Implementierung). Könnte man in...
Ich interessiere mich für "harte" Einzelfälle von NP-vollständigen Problemen. Ryan Williams diskutierte das SAT0-Problem in Richard Liptons Blog . SAT0 fragt, ob eine SAT-Instanz die spezifische Lösung hat, die aus allen Nullen besteht. Dies brachte mich zum Nachdenken über die Erstellung von...
Haben wir Komplexitätsklassen beispielsweise in Bezug auf die durchschnittliche Fallkomplexität? Gibt es zum Beispiel eine (benannte) Komplexitätsklasse für Probleme, deren Entscheidung die erwartete Polynomzeit benötigt? Eine andere Frage berücksichtigt die Best-Case- Komplexität, die im Folgenden...
Angenommen, P.≠ N.P.P≠NPP \neq NP Verwenden Sie die folgende Notation für tetration (dh.icheinia{}^ia ).icha = aein⋅⋅⋅einich malia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | ist die Größe der Instanz x. Sei L eine Sprache,...
Unverwundbare Generatoren sind wie folgt definiert: Sei eine NP-Beziehung und eine Maschine, die akzeptiert . Informell ist ein Programm ein unverwundbarer Generator, wenn es bei Eingabe Instanz-Zeugen-Paare mit , gemäß einer Verteilung, unter der jeder Gegner mit Polynomzeit, dem gegeben wird ,...
Ist eine Komplexitätsklasse bekannt, die Online-Gegenstücke zu Optimierungsproblemen enthält? Wenn nicht, wie kann eine solche Klasse definiert werden? Wir wissen, dass viele Probleme ihre Online-Version haben: zB Online-Version des Papierverpackungsproblems. Die Online-Probleme sind schwieriger,...
Ich frage mich , zu wissen , ob es spärliche Sprache (auch durch verzögerte diagolanization gebaut) in NPI unter der Annahme , dass .P≠NPP≠NPP \neq
Ich suche nach einer Hash-Funktion über Mengen H (.) Und einer Beziehung R (.,.), So dass, wenn A in B enthalten ist, R (H (A), H (B)). Natürlich muss R (.,.) Leicht zu überprüfen sein (konstante Zeit), und H (A) sollte in linearer Zeit berechnet werden. Ein Beispiel für H und R ist: , wobei k eine...
Ich würde gerne den aktuellen Zustand des Phasenübergangs für zufälliges k-sat bei n Variablen und m Klauseln kennen, was das bekannteste c = m / n für obere und untere Grenzen
Welche Dokumente zum Umgang mit Fehlern in verteilten Systemen empfehlen
Ich habe das Forum durchsucht, um zu sehen, ob dies zuvor gefragt wurde, und während die algorithmische Spieltheorie diskutiert wird, konnte ich dieses spezielle Problem nicht finden. Ich versuche herauszufinden, was der bekannteste Algorithmus ist, um ungefähre (gemischte Strategie)...
a´a´\acute{\rm a}H ∈ P T I M E.HHHHHH∈PTIME∈PTIME\in PTIME Definitionen usw. Eine großartige Übersicht über Standard-Baumzersetzungen und Baumbreite finden Sie hier (Vielen Dank im Voraus, JeffE!). Sei ein Hypergraph.HHH Dann für einen Hypergraphen und eine Abbildung
Angenommen, ich habe einen gewichteten Graphen so dass die Gewichtungsfunktion ist - beachten Sie, dass negative Gewichte zulässig sind.G=(V,E,w)G=(V,E,w)G = (V,E,w)w:E→[−1,1]w:E→[−1,1]w:E\rightarrow [-1,1] Sagen , dass eine Eigenschaft von jeder Teilmenge der Vertices definiert...
Der Graphautomorphismus ist eine Permutation von Graphknoten, die eine Bijektion auf der Kantenmenge induziert . Formal ist es eine Permutation von Knoten wie iffEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Definieren Sie eine verletzte Kante für eine Permutation als...
Motivation: Bei Standard-Augmenting-Path-Maxflow-Algorithmen erfordert die innere Schleife das Finden von Pfaden von der Quelle zur Senke in einem gerichteten, gewichteten Diagramm. Theoretisch ist bekannt, dass wir die gefundenen Pfade einschränken müssen, damit der Algorithmus auch bei...