Die theoretische Informatik hat einige Beispiele für "den Preis der Abstraktion" geliefert. Die beiden bekanntesten sind für die Gaußsche Eliminierung und Sortierung. Nämlich: Es ist bekannt, dass die Gaußsche Elimination beispielsweise für die Berechnung der Determinante optimal ist, wenn Sie Operationen auf Zeilen und Spalten als Ganzes beschränken [1]. Offensichtlich …
Wenn ich einen Algorithmus für ein neues Problem entwerfe und nach einiger Zeit keinen Polynom-Zeit-Algorithmus mehr finde, kann ich versuchen, zu beweisen, dass er NP-schwer ist. Wenn es mir gelingt, habe ich erklärt, warum ich den Polynom-Zeit-Algorithmus nicht gefunden habe. Es ist nicht so, dass ich mit Sicherheit weiß, dass …
In den 1980er Jahren hat Razborov gezeigt, dass es explizite monotone Boolesche Funktionen gibt (wie die CLIQUE-Funktion), für deren Berechnung exponentiell viele UND- und ODER-Gatter erforderlich sind. Die Basis {AND, OR} über der Booleschen Domäne {0,1} ist jedoch nur ein Beispiel für eine interessante Gate-Menge, die nicht universell ist. Dies …
Lass PRIMES (aka Primality Testing ) das Problem sein: Gegeben eine natürliche Zahl , ist eine Primzahl?nnnnnn Lass FACTORING das Problem sein: In Anbetracht natürliche Zahlen , mit , ist einen Faktor mit ?nnnmmm1≤m≤n1≤m≤n1 \leq m \leq nnnnddd1<d<m1<d<m1 < d < m Ist bekannt, ob PRIMES P-hart ist? Wie wäre …
Gier ist, mangels eines besseren Wortes, gut. Eines der ersten algorithmischen Paradigmen, die im Einführungskurs zu Algorithmen vermittelt werden, ist der gierige Ansatz . Gieriger Ansatz führt zu einfachen und intuitiven Algorithmen für viele Probleme in P. Interessanterweise führt der offensichtliche und natürliche gierige / lokale Algorithmus bei einigen NP-harten …
Vor einigen Jahren gab es eine Arbeit von Joel Friedman, die sich mit den unteren Schaltkreisgrenzen der Grothendieck-Kohomologie befasste (siehe Artikel: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024) ). Hat diese Denkrichtung neue Einsichten in die boolesche Komplexität gebracht oder bleibt sie eher eine mathematische Neugierde?
Sei eine Boolesche Funktion und betrachte f als eine Funktion von bis . In dieser Sprache ist die Fourier-Expansion von f einfach die Expansion von f in Form von quadratfreien Monomen. (Diese Monome bilden eine Basis für den Raum der reellen Funktionen auf . Die Summe der Quadrate der Koeffizienten …
Das kürzliche bahnbrechende Ergebnis von Ryan Williams zur Prüfung der Schaltungskomplexität in Bezug auf die Untergrenze bietet eine Beweismethode, bei der das Ergebnis der Obergrenze zum Nachweis der Komplexität in Bezug auf die Untergrenze verwendet wird. Suresh Venkat in seiner Antwort auf diese Frage: Gibt es kontraintuitive Ergebnisse in der …
Ich muss den laufenden Median berechnen: Eingabe: nnn , kkk , Vektor (x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) . Ausgabe: Vektor (y1,y2,…,yn−k+1)(y1,y2,…,yn−k+1)(y_1, y_2, \dotsc, y_{n-k+1}) , wobei yiyiy_i der Median von (xi,xi+1,…,xi+k−1)(xi,xi+1,…,xi+k−1)(x_i, x_{i+1}, \dotsc, x_{i+k-1}) . (Kein Schummeln mit Näherungen; ich hätte gerne genaue Lösungen. Elemente sind große ganze Zahlen.)xixix_i Es gibt …
Frage: Was ist die bekannteste untere Grenze der Formelgröße für eine explizite Funktion in AC 0 ? Gibt es eine explizite Funktion mit einem Ω ( n2)Ω(n2)\Omega(n^2) unteren Grenze von ? Hintergrund: Wie die meisten Untergrenzen sind auch Untergrenzen für die Formelgröße schwer zu bekommen. Ich interessiere mich für untere …
Es ist klar, dass jedes Problem, das im deterministischen Lograum ( ) entscheidbar ist, höchstens zur Polynomzeit ( P ) auftritt . Zwischen L und P gibt es eine Fülle von Komplexitätsklassen . Beispiele umfassen N L , L o g C F L , N C i , S …
Ein Polynom f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) ist eine monotone Projektion eines Polynoms g(y1,…,ym)g(y1,…,ym)g(y_1,\ldots,y_m) wenn mmm = poly (n)(n)(n) , und es gibt eine Zuordnung π:{y1,…,ym}→{x1,…,xn,0,1}π:{y1,…,ym}→{x1,…,xn,0,1}\pi:\{y_1,\ldots,y_m\}\to\{x_1,\ldots,x_n, 0,1\} so dass . Das heißt, es ist möglichjede Variable zu ersetzen , y j von g durch eine Variable x i oder eine Konstante 0 oder 1 …
Ich weiß, dass trivialerweise die OR-Funktion für Variablen genau durch das Polynom als solches dargestellt werden kann: , das vom Grad .nnn p ( x 1 , ... , x n ) p ( x 1 , ... , x n ) = 1 - ≤ n i = 1 …
Im Anschluss an eine vorherige Frage , was sind die besten aktuellen Raum untere Schranken für SAT? Mit einer Leerzeichenuntergrenze meine ich hier die Anzahl der von einer Turing-Maschine verwendeten Arbeitsbandzellen, die ein binäres Arbeitsbandalphabet verwendet. Ein konstanter additiver Term ist unvermeidlich, da ein TM interne Zustände verwenden kann, um …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.