In einer früheren Frage habe ich nach dem parametrisierten Algorithmus zum Auffinden von Bicliques gefragt, ob es schnelle parametrisierte Algorithmen zum Auffinden eines Biclique in einem Vertex-Graphen gibt, und festgestellt, dass er offen ist, wenn es sich um FPT wrt . Gilt das auch für das...
Meine Frage bezieht sich auf die endliche Modelltheorie / deskriptive Komplexität, daher bedeutet "erste Ordnung über endlichen binären Wörtern unter Verwendung der Prädikate Rs und eines unären Prädikats P, das an der Position der 1 im Wort wahr ist".FO(R)FO(R)FO(R) Ich würde gerne wissen, gibt es...
Sei ein Graph. Sei k ≤ | V | sei eine ganze Zahl. Sei O k die Anzahl der kanteninduzierten Teilgraphen von G mit k Eckpunkten und einer ungeraden Anzahl von Kanten. Sei E k die Anzahl der kanteninduzierten Teilgraphen von G mit k Eckpunkten und einer geraden Anzahl von Kanten. Lassen Δ k = O k - E...
Ich versuche, das Papier über p-Optimal Proof-Systeme und Logik für PTIME zu verstehen . In der Zeitung gibt es einen Begriff namens Beweissysteme, und ich verstehe die Intuition nicht: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Wir identifizieren Probleme mit Teilmengen von in .Σ *Q.QQΣ∗Σ∗\Sigma^*...
Um ein Papier besser zu verstehen, versuche ich, ein kurzes Verständnis der Logik der am wenigsten festen Punkte zu erlangen. Es gibt einige Punkte, an denen ich festsitze. Wenn ist ein Graph undG=(V,E)G=(V,E)G = (V,E)
In der Arbeit von Adi Shamir [1] aus dem Jahr 1979 zeigt er, dass Factoring in einer polynomiellen Anzahl von arithmetischen Schritten durchgeführt werden kann . Diese Tatsache wurde in der jüngsten Veröffentlichung von Borwein und Hobart [2] im Zusammenhang mit linearen Programmen (SLP) wiederholt...
Sei die Klasse von Sprachen, die durch abwechselnde Turing-Maschinen bestimmt werden, die in der Zeit f ( n ) unter Verwendung des Raums g ( n ) anhalten . Sei A A L T S P ( f ( n ) , g ( n ) ) die Klasse von Sprachen, die durch abwechselnde Turing-Maschinen bestimmt werden, die mit f ( aufhören )A...
Ich bin verwirrt. Ich möchte beweisen, dass das Problem der Sortierung einer nach Matrix, dh der Zeilen und Spalten in aufsteigender Reihenfolge, . Ich gehe davon aus, dass dies schneller als und versuche, die Untergrenze von Für Vergleiche zu verletzen, die zum Sortieren von m Elementen...
Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Theoretische Informatik Stapel Austausch. Geschlossen vor 7 Jahren . Wie können wir " " als Formel erster Ordnung...
Angenommen, wir arbeiten in einem endlichen Feld. Über diesem Feld erhalten wir ein großes festes Polynom p (x) (von beispielsweise Grad 1000). Dieses Polynom ist im Voraus bekannt und wir dürfen in der "Anfangsphase" mit vielen Ressourcen rechnen. Diese Ergebnisse können in relativ kleinen...
Betrachten Sie eine monotone 3CNF-Formel mit den folgenden zusätzlichen Einschränkungen: Jede Variable erscheint in genau Klauseln.222 Bei beliebigen Klauseln teilen sie höchstens 1 Variable.222111 Ich würde gerne wissen, wie schwer es ist, die zufriedenstellenden Aufgaben einer solchen Formel zu...
Sei eine Familie von Element-Teilmengen eines endlichen Universums von Objekten. Eine Familie von Element-Teilmengen von mit ist eine - Schlagmenge von wenn für jedes mindestens eine Menge wie z daß .FF.FdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW...
Der Berkowitz-Algorithmus liefert eine Polynomgrößenschaltung mit logarithmischer Tiefe zur Determinante einer quadratischen Matrix unter Verwendung von Matrixleistungen. Der Algorithmus verwendet implizit die Löschung. Ist eine Aufhebung wesentlich, um eine Schaltung mit Polynomgröße mit...
Folgendes wird nicht als wahr angesehen: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Können Sie mir helfen zu sehen, wo das Argument zusammenbricht? Das Problem der gerichteten Erreichbarkeit ist für . Ich behaupte, dass es in -uniform...
Sei xi∈{−1,0,+1}xich∈{- -1,0,+1}}x_i \in \{-1,0,+1\} für i∈{1,…,n}ich∈{1,…,n}}i \in \{1,\ldots,n\} mit dem Versprechen, dass x = ∑ni = 1xich∈ { 0 , 1 }x=∑ich=1nxich∈{0,1}}x = \sum_{i=1}^n{x_i} \in \{0,1\} (wobei die Summe über Z.Z.\mathbb{Z} ). Wie komplex ist es dann zu bestimmen, ob x = 1x=1x = 1...
Was sind einige der besten Quellen (Bücher und Papiere), um Kommunikationskomplexität allein und in Verbindung mit ihrer Beziehung zur rechnerischen Komplexitätstheorie zu motivieren und zu
Betrachten Sie das klassische # P-vollständige Problem # 3SAT, dh die Anzahl der Bewertungen zu zählen, um einen 3CNF mit Variablen erfüllbar zu machen. Ich interessiere mich für die additive Approximierbarkeit. Natürlich gibt es einen trivialen Algorithmus, um einen -Fehler zu erzielen , aber wenn...
Ein Homomorphismus aus einem Graphen an einen Graph G ' = ( V ' , E ' ) ist eine Abbildung f von V auf V ' , so daß , wenn x und y benachbart sind , in E dann f ( x ) und f ( y ) sind in E ' benachbart . Ein Endomorphismus eines Graphen G.G = ( V., E.)G=(V,E)G = (V, E)G′=(V′,E′)G′=(V′,E′)G' = (V',...
Was ist das beste Ergebnis für die Anzahl der Gatter in einer Schaltung, die zwei n-Bit-Ganzzahlen multipliziert? Das offensichtliche Verfahren erzeugt -Gatter. Es gibt bessere Ansätze mit θ ( n log n log log n ) und θ ( n log n 2 log ∗ ( n ) )
Angenommen, wir haben eine Boolesche Funktion und wenden die zufällige Einschränkung auf . Angenommen, der Entscheidungsbaum , der berechnet, schrumpft aufgrund der zufälligen Einschränkung auf die Größe . Bedeutet dies, dass einen sehr geringen Gesamteinfluss hat?δ f T f O ( 1 )...