Betrachten Sie das folgende Modell: Eine n-Bit-Zeichenfolge r = r 1 ... r n wird gleichmäßig zufällig ausgewählt. Als nächstes wird jeder Index i∈ {1, ..., n} mit einer unabhängigen Wahrscheinlichkeit 1/2 in eine Menge A gesetzt. Schließlich darf ein Gegner für jedes i∈A einzeln r i umdrehen, wenn...
Gibt es ein Beispiel für eine Klasse von Graphen, für die das Vertex-Farbproblem in P liegt, die unabhängige Menge jedoch lautet, dass das Problem NP vollständig
Eine Matrix heißt total regular, wenn alle ihre quadratischen Submatrizen den vollen Rang haben. Solche Matrizen wurden verwendet, um Superkonzentratoren zu konstruieren. Wie komplex ist es, zu entscheiden, ob eine gegebene Matrix über die Rationen hinweg völlig regelmäßig ist? Über endliche...
Eine grundlegende Eigenschaft von Vektorräumen ist, dass ein Vektorraum der Dimension durch linear unabhängige lineare Nebenbedingungen charakterisiert werden kann - das heißt, es gibt linear unabhängige Vektoren , die zu orthogonal sind .V⊆Fn2V⊆F2nV \subseteq
Das Feedback Vertex Set ist NP-vollständig für allgemeine Diagramme. Es ist bekannt, dass es für Graphen mit Grad-8-Begrenzung aufgrund einer Verringerung der Scheitelpunktabdeckung NP-vollständig ist. Der Wikipedia-Artikel besagt, dass es für Graphen mit Grad-3-Begrenzung polyzeitlösbar und für...
Können wir ein Bit-Schwellwertgatter durch polynomgroße (unbegrenzte Fan-In-) Schaltungen der Tiefe lg n berechnen ?nnn ? Können wir alternativ die Anzahl der Einsen in den Eingangsbits unter Verwendung dieser Schaltungen zählen?lgnlglgnlgnlglgn\frac{\lg n}{\lg \lg n} Ist...
Was sind die Einschränkungen der gesamten funktionalen Programmierung? Es ist nicht vollständig für Turing, unterstützt jedoch eine große Teilmenge der möglichen Programme. Gibt es wichtige Konstrukte, die Sie in einer Turing-vollständigen Sprache schreiben könnten, aber nicht in einer...
Im Bereich des verteilten Rechnens scheint das Konsensproblem eines der zentralen Themen zu sein, das intensiv erforscht wurde. Insbesondere die Arbeit "Impossibility of Distributed Consensus with One Faulty Process" wurde 2001 mit dem PODC Influential Paper Award ausgezeichnet . Warum ist das...
Ich bin auf der Suche nach einem Übersichtsartikel oder einem Buch, das Ergebnisse über die Raumkomplexität gängiger linearer Algebraoperationen wie Matrixrang, Eigenwertberechnung usw. enthält ist einfacher, Zeitergebnisse zu verfolgen. Ich schätze jeden Hinweis in der Sache. Vielen...
Es ist bekannt, dass die S- und K-Kombinatoren Turing Complete sind. Gibt es Kombinatoren, die ausreichen, um (nur) die primitiven rekursiven Funktionen zu
Was wäre ein guter informeller / intuitiver Beweis, um die LP-Dualität auf den Punkt zu bringen? Wie lässt sich am besten zeigen, dass die minimierte Zielfunktion tatsächlich das Minimum ist, wenn man die Schranke auf intuitive Weise versteht? Die Art und Weise, wie mir Dualität beigebracht wurde,...
Ich habe eine vernünftige Grundausbildung in Mathematik, war aber noch nie zu 100% mit abstrakter Algebra (der Mathematik von Gruppen, Ringen, Feldern usw.) vertraut. Ich denke, dies war zum Teil so, wie ich es brauchte, um Anwendungen zu sehen, und alle, die ich finden konnte, befanden sich in der...
Was ist die Zeitkomplexität (nicht die Abfragekomplexität) von Grovers Algorithmus? Es scheint mir klar , dass es , da es Iterationen und jede Iteration erfordert die Verwendung des Reflexionsbetrieb wiederum die Zeit in Anspruch nimmt Verwendung eines beliebigen Standardsatzes von...
Kann mir jemand bei folgendem Problem weiterhelfen? Ich möchte einige Werte a i , b jai,bja_i,b_j (mod NNN ) finden, wobei i = 1 , 2 , ... , K , j = 1 , 2 , ... , Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (zum Beispiel K = 6K=6K=6 ), wenn eine Liste von K 2K2K^2 Werten gegeben ist, die entsprechen...
Sei t(G)t(G)t(G) die Anzahl der aufspannenden Bäume in einem Graphen GGG mit nnn Eckpunkten. Es gibt einen Algorithmus, der in arithmetischen Operationen berechnet . Dieser Algorithmus ist zu berechnen , wobei Q die Laplace von der ist , G und J ist die Matrix nur aus aus 1 ist. Weitere...
Ich interessiere mich für folgendes Problem: Bei gegebenen ganzzahligen Matrizen A1,A2,…,AkA_1,A_2, \ldots, A_k entscheidet sich, ob jedes unendliche Produkt dieser Matrizen letztendlich gleich der Nullmatrix ist. Dieses Mittel genau das, was Sie denken , es tut: Wir haben die Menge von Matrizen...
Diese Frage wurde von Physics Stack Exchange migriert, da sie über Theoretical Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Bei der adiabatischen Quantenberechnung (AQC) wird die Lösung eines Optimierungsproblems im Grundzustand eines [problem] Hamiltonian . Um...
Diese Frage wurde von Computer Science Stack Exchange migriert, da sie über Theoretical Computer Science Stack Exchange beantwortet werden kann. Vor 5 Jahren migriert . Ich interessiere mich für das Konzept der "r-Turing-Vollständigkeit", wie es von Axelsen und Glück (2011) definiert wurde . Ein...
Ich möchte folgende Vermutung beweisen (oder widerlegen): Vermutung : Ein Zwei-Zähler-Automat (2CA) kann die folgende Sprache nicht bestimmen: n }L = { n ∣L={n∣L = \{ n \mid der ternären und der binären Darstellung von hat sowohl gerade als auch ungerade Längennn}}\} Ein 2CA kann leicht überprüfen,...
Hintergrund: Betrachten Sie das übliche Zwei-Parteien-Modell der Kommunikationskomplexität, bei dem Alice und Bob Bit-Strings x und y zugewiesen bekommen und eine Boolesche Funktion f ( x , y ) berechnen müssen , wobei f : { 0 , 1 } n × { 0 , 1 } n → { 0 , 1 } .nnnxxxyyyf( x , y)f(x,y)f(x,y)f: { 0...