Ich habe eine (hoffentlich einfach, vielleicht stumm) Frage auf Babai Wahrzeichen Papier zeigt , dass ist Quasipolynom.GIGI\mathsf{GI} Babai zeigte, wie man ein Zertifikat erzeugt, dass zwei Graphen für i ∈ { 1 , 2 } isomorph sind, in der Zeit quasipolynomial in v = | V i |
Omer Reingolds Beweis , dass einen Algorithmus für USTCON gibt (In einem U ndirected Graph mit speziellen Ecken s und t sind sie Con GESCHLOSSENE?) Nur logspace verwenden. Die Grundidee besteht darin, ein Expander-Diagramm aus dem ursprünglichen Diagramm zu erstellen und anschließend das...
Es gibt einen alten Trick, um einen Algorithmus aufzuschreiben, der, wenn P = NP, SAT in Polynomialzeit löst. Im Wesentlichen listet man alle Polynom-Zeitmaschinen und Multi-Tasks darüber auf. Gibt es einen analogen Trick für Einwegfunktionen (oder auch Einweg-Falltürfunktionen)? Das heißt, können...
In Angluins Automaten-Lern-Framework möchte ein Schüler eine reguläre Sprache lernen, indem er seinem Lehrer zwei Arten von Fragen stellt:L ⊆ & Sgr;∗L⊆Σ∗L\subseteq \Sigma^* Wortabfragen: , ist ?w ∈ & Sigma;∗w∈Σ∗w\in \Sigma^*w ∈ Lw∈Lw\in L Equivalence Anfragen: Da eine Sprache , ist ? Wenn...
Nach der letzten Frage zu lesen : „Ist das Komplement {www∣...}{www∣...}\{ www \mid ...\} Kontextfrei?“ ; Ich erinnerte mich an ein ähnliches Problem, das ich nicht widerlegen konnte: Ist L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid...
Im rein funktionalen Worst-Case-Fall haben Brodal et al. rein funktionale ausgeglichene Bäume mit O (1) verketten und O (lg n) einfügen, löschen und finden. Die Datenstruktur ist etwas kompliziert. Gibt es einen einfacheren ausgeglichenen Suchbaum mit O (1) verkettet, funktional oder...
Es ist bekannt, dass es für das PAC-Lernen natürliche Konzeptklassen gibt (z. B. Untergruppen von Entscheidungslisten), für die es polynomielle Lücken zwischen der Komplexität der Stichprobe, die für das informationstheoretische Lernen durch einen rechnerisch unbegrenzten Lernenden benötigt wird,...
Lassen Sie verschiedene Punkte in . Wir sagen, dass die Punkte und Nachbarn sind, wenn | ij | <3 \ pmod {n-2} , was bedeutet, dass jeder Punkt Nachbarn mit Punkten mit Indexen innerhalb von 2 ist , die sich umschließen.1 . . . n1...n1 ... nR2R2\mathbb{R}^2ichichijjj| i-j | <3( modn - 2...
Welche anderen Problemsprachen als der Graphisomorphismus gibt es in ? Können Sie einige Referenzen nennen?NP∩coAMNP∩coAMNP\cap coAM Update: Ich habe vergessen zu erwähnen, dass ich an Sprachen interessiert bin, von denen nicht bekannt ist, dass sie in
Stream-Algorithmen erfordern größtenteils eine Randomisierung, um nicht-triviale Aufgaben zu erledigen. Aufgrund der Platzbeschränkung sind PRGs erforderlich, die nur wenig Platz beanspruchen. Ich kenne zwei Methoden, die bisher für die Verwendung in Stream-Algorithmen angeführt wurden: kkk weise...
Das Konzept eines geheimen Freigabeschemas wird häufig Shamir (A. Shamir, How to share a secret , Comm. ACM, 22 (1979), S. 612-613) und Blakey (GR Blakey, Safeguarding cryptographic keys , in Proc. NCC, Bd. 48, 1979, S. 313-317.). Die Gesamtidee ist, dass den Teilnehmern, die stattdessen jeweils...
Probleme beim Färben von Diagrammen sind für die meisten Menschen bereits schwer genug . Trotzdem muss ich mich schwer tun und ein Problem mit dem Färben von Hypergraphen stellen. Frage. Welche effizienten Algorithmen gibt es, um eine annähernd optimale Kantenfärbung für k-einheitliche Hypergraphen...
Welche nützlichen Algorithmen gibt es, die mit großen Datenströmen arbeiten und deren Ergebnisse relativ klein sind, und man kann das Ergebnis für eine Mischung aus zwei Datenströmen berechnen, indem man deren Ergebnisse irgendwie zusammenführt? Ich kann einige nennen: Die offensichtlichen Dinge...
Dies ist eine Fortsetzung von David Eppsteins jüngster Frage und wird durch dieselben Probleme motiviert. Angenommen, ich habe einen Tag mit reellen Zahlengewichten auf seinen Scheitelpunkten. Anfangs sind alle Scheitelpunkte nicht markiert. Ich kann die Menge der markierten Scheitelpunkte ändern,...
Sei { 0 , . . . , N - 1 } und ∘ : S × S → S . Ich möchte die Kommunikationskomplexität berechnen, um zu entscheiden, ob ∘ assoziativ ist.S=S=S=0 , . . . , N - 10,...,n-10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ Das Modell ist das folgende. ist als Matrix M gegeben . Alice...
Das Papier Lauri Hella und José María Turull-Torres, Berechnen von Abfragen mit Logik höherer Ordnung , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 schlägt Logik VO vor, Logik variabler Ordnung. Dies ermöglicht eine Quantifizierung über Ordnungen über die Variablen. VO ist ziemlich...
Die Baumbreite misst, wie nah ein Diagramm an einem Baum ist. Auf Graphen mit begrenzter Baumbreite lassen sich mehrere NP-harte Probleme nachvollziehen. Wenn ein Problem bei Bäumen NP-hart bleibt, kann uns die Baumbreite nicht retten. Dies war die Motivation für eine meiner vorherigen Fragen zu...
Was sind die praktisch effizientesten Algorithmen zum Multiplizieren von zwei sehr spärlichen booleschen Matrizen (z. B. N = 200 und es gibt nur einige 100-200 Nicht-Null-Elemente)? Eigentlich habe ich den Vorteil, dass beim Multiplizieren von A mit B die Bs vordefiniert sind und ich willkürlich...
Computergeometrie ist ein Bereich, den ich sehr interessant finde, und ich würde gerne ein oder zwei Monate für ein Projekt verwenden, das mich in dieses Thema einführt und mir hilft, wichtige Konzepte zu erlernen. Was ist ein guter Weg, um dies zu erreichen, und was sind die Schlüsselkonzepte, bei...
Eine äquivalente Formulierung des PCP-Theorems lautet: Für Max 3-SAT ist es -schwer, zwischen erfüllbaren Formeln und Formeln zu unterscheiden, bei denen höchstens r- Bruch der Klauseln erfüllbar sind (für einige r < 1 ).NPNPNPrrrr < 1r<1r\lt 1 Gibt es ein bekanntes Dichotomie-Theorem, das...