Barry Jay macht in seinem Buch einige kühne Behauptungen - im Grunde genommen, indem er sagt, dass im Kern eines Programms alles entweder atomar oder komponiert ist. Dann können die Dinge einfach iteriert, gefiltert und aktualisiert werden, indem Sie einfach durch diese Kompositionsbeziehung...
Das Johnson-Lindenstrauss-Lemma sagt ungefähr, dass für jede Sammlung von Punkten in eine Karte wobei so dass für alle : Es ist bekannt, dass ähnliche Aussagen für die Metrik nicht möglich sind , aber es ist bekannt, ob es eine Möglichkeit gibt, eine solche niedrigere zu Grenzen durch schwächere...
Ich frage mich, ob NPC-Klassen, die durch Ein-Eins-Reduktionen und Turing-Reduktionen definiert sind, gleich sind. Bearbeiten: Eine andere Frage, sind Turing-Reduktionen nur kollabierende C- und Co-C-Klassen für einige C oder gibt es eine Klasse wie es ein Problem gibt, das nicht in unter...
In vielen Lehrbüchern ist es einfach, die Beweise für die Reduzierung des Subjekts und die starke Normalisierung für System F zu lesen. Manchmal gibt es auch Definitionen von System F mit Paaren, wobei (t, r) ein Begriff ist, nicht nur eine Codierung. Die Frage ist, was wäre die Referenz für dieses...
In einem Diagramm ist eine unabhängige Menge eine Scheitelpunktuntermenge, die keine Kante als induzierten Untergraphen enthält. Das Problem, die größten unabhängigen Mengen in einem Graphen zu finden, ist eine grundlegende algorithmische Frage, und zwar eine schwierige. Betrachten wir die...
Was ist die genaue zeitliche Komplexität des ungerichteten Log-Space-Algorithmus für st-Konnektivität von Omer
Ich habe gerade angefangen, (unabhängig) etwas über Quantenberechnung im Allgemeinen aus dem Nielsen-Chuang-Buch zu lernen. Ich wollte fragen, ob jemand versuchen könnte, Zeit zu finden, um mir zu helfen, was mit dem Messpostulat der Quantenmechanik los ist. Ich meine, ich versuche nicht, das...
(X,d)(X,d)(X, d)(Y,f)(Y,f)(Y, f)μ:X→Yμ:X→Y\mu : X \rightarrow Yμμ\muρ=maxp,q∈X{d(x,y)f(μ(x),μ(y)),f(μ(x),μ(y))d(x,y)}ρ=maxp,q∈X{d(x,y)f(μ(x),μ(y)),f(μ(x),μ(y))d(x,y)} \rho = \max_{p,q \in X} \{ \frac{d(x,y)}{f(\mu(x), \mu(y))}, \frac{f(\mu(x), \mu(y))}{d(x,y)} \} Es gibt jedoch auch andere...
Die Motivation für diese Frage ist die Tatsache, dass die meisten n-Bit-Strings inkompressibel sind. Intuitiv können wir analog vorschlagen, dass die meisten Beweise für Tautologien für die Polynomgröße inkompressibel sind. Grundsätzlich ist meine Intuition, dass einige Beweise von Natur aus...
Während eines EE-Studiums besuchte ich einige Vorlesungen, die eine schöne Charakterisierung der Booleschen Schaltkreise hinsichtlich der Anzahl der verschachtelten Schleifen darstellten. In der Komplexität werden boolesche Schaltungen oft als Dags angesehen, aber in realen Hardwarezyklen sind sie...
Ich glaube, die Antwort auf diese Frage ist bekannt. aber leider weiß ich es nicht. Beim Quantencomputing wissen wir, dass gemischte Zustände durch Dichtematrizen dargestellt werden. Und die Spurennorm der Differenz zweier Dichtematrizen kennzeichnet die Unterscheidbarkeit der beiden entsprechenden...
Für einen gegebenen Graphen fragt das Separatorproblem, ob ein Scheitelpunkt oder eine Kantenmenge mit kleiner Kardinalität (oder Gewichtung) existiert, deren Entfernungspartitionen G in zwei disjunkte Graphen von ungefähr gleicher Größe unterteilt sind. Dies wird als Vertex Separator Problem...
Ich habe eine neue Derandomisierungstechnik entwickelt, die auf rekursive randomisierte Algorithmen (oder allgemeinere randomisierte Algorithmen, die einen Stapel verwenden) abzielt. Leider konnte ich keine natürlichen randomisierten Algorithmen finden, um meine Techniken anzuwenden. Rekursive...
Stellen Sie sich eine funktionale Programmiersprache vor, deren einzige Datentypen numerische Skalare und beliebige Verschachtelungen von Arrays sind. Der Sprache fehlen alle Mittel zur unbegrenzten Iteration, daher sind die folgenden nicht zulässig: explizite Schleifen (ohne Nebenwirkungen sowieso...
Dies mag eher nach einer sozialwissenschaftlichen Frage als nach einer TCS-Frage klingen, ist es aber nicht. Wenn man " Randomisierte Algorithmen " liest, die das Problem der stabilen Ehe beschreiben, kann man Folgendes lesen (S. 54) "Es kann gezeigt werden, dass es für jede Auswahl von...
In Abschnitt 2.2 von Cache-Oblivious B-Trees werden stark gewichtsausgeglichene Suchbäume wie folgt definiert: Für eine Konstante , jeder Knoten v in der Höhe H hat Θ ( d h ) Nachkommen.dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) Sie behaupten: Suchbäume, die die Eigenschaften 1 und 2 erfüllen, umfassen...
Ich beginne mein Studium der algorithmischen Spieltheorie und es scheint, dass das normalerweise verwendete Gleichgewichtskonzept das eines Fixpunkts in einem Graphen ist. Haben sich die Menschen jedoch mit alternativen Gleichgewichtskonzepten wie Grenzzyklen befasst? Ich kann mir vorstellen, dass...
Ich habe eine Weile einen SAT-Algorithmus entwickelt und einen Punkt erreicht, an dem ich ihn gerne teilen möchte. Ich kenne nicht viele Leute in der Informatik und bin mir nicht sicher, wohin ich mich wenden soll. Ich frage mich, welche Ressourcen für jemanden mit einem Algorithmus verfügbar sind,...
DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in Cerr(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\...
Ist es bei und möglich, das M -te Bit (oder die Ziffer einer beliebigen kleinen Basis) von N zu erhalten! in Zeit / Raum von O (p (ln (N), ln (M))) , wobei p (x, y) eine Polynomfunktion in x und y ist ?M.NNNMMMMMMN!N!N!O(p(ln(N),ln(M)))O(p(ln(N),ln(M)))O( p( ln(N), ln(M) ) )p(x,y)p(x,y)p(x,...