Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

1
Gibt es einen Namen für dieses Konzept in Communication Complexity?
Lassen Sie Alice und Bob die Boolesche Funktion berechnen .f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) Wählen Sie eine zufällige Teilmenge der Mächtigkeit und lassen .n J = { 1 , … , 2 n } ∖ I.I⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\}nnnJ.= { 1 , … , 2 n } ∖ I.J={1,…,2n}∖I\mathcal J=\{1,\dots,2n\}\backslash\mathcal I Lassen Sie Alice die Variablen …
2
Nicht standardmäßige doppelte Parametrisierung von Diagrammproblemen
Ein grundlegendes Ergebnis der parametrisierten Komplexität von Graphproblemen ist, dass der durch die Lösungsgröße parametrisierte VERTEX COVER festparametrisch (FPT) ist. Wenn es andererseits durch den "Doppelparameter" parametrisiert wird, wird es äquivalent zu INDEPENDENT SET, das durch die Lösungsgröße parametrisiert wird (weil jede Scheitelpunktabdeckung das Komplement einer unabhängigen Menge ist), und …
1
Originalreferenz für Huffman-förmige Merge Sort?
Was ist die erste Veröffentlichung des Konzepts zur Optimierung der Zusammenführungssortierung nach Identifizieren von Sequenzen aufeinanderfolgender Positionen in aufsteigender Reihenfolge (auch bekannt als Läufe) in linearer Zeit; dann wiederholtes Zusammenführen der beiden kürzesten derartigen Sequenzen und Hinzufügen des Ergebnisses dieser Zusammenführung zur Liste der sortierten Fragmente. In einigen meiner Veröffentlichungen …
3
Wie entwerfe ich gleichzeitige Datenstrukturen?
Ich habe diese Frage zuvor auf Programmers.SE ohne Erfolg gestellt. Ich suche nach schriftlichen Lernressourcen zum Entwerfen gleichzeitiger Datenstrukturen. Ich interessiere mich mehr für den Entwurfsprozess (z. B. die Identifizierung der richtigen Invarianten) als für das Endprodukt (eine vollständige Codeliste). Ein konkretes Beispiel: Chris Okasakis Buch „Rein funktionale Datenstrukturen“ hat …
2
Kommunikationskomplexitätsprobleme mit linearer Entfernung
Gibt es bekannte (nicht triviale) untere Grenzen der zufälligen Kommunikationskomplexität für natürliche Lückenprobleme, bei denen die 1-Eingänge linear weit von den 0-Eingängen entfernt sind? Das heißt, Teilfunktionen so dass der Hamming-Abstand zwischen jedem und ist linear - und dass zufällige Protokolle erfordert, um (sagen wir) Bits zu kommunizieren ?f:{0,1}2n→{0,1,∗}f:{0,1}2n→{0,1,∗}f:\{0,1\}^{2n} \to …
1
Eine Variante des Berry-Esseen-Theorems mit beschränkter Unabhängigkeit
Ich bin auf eine Präsentation von Ryan O'Donnell über Invarianzprinzipien gestoßen. Nach dem Beweis des Berry-Esseen-Theorems gibt es eine Folie, in der Erweiterungen des Theorems erörtert werden, und eine Folie, die erwähnt wird, ist eine sogenannte "derandomisierte Version": Wenn C -Nizza (das heißt, hat dritten Moment begrenzt), 3-wise unabhängig., Dann …
2
Die Härte beim Generieren einer Instanz eines Problems, die schwieriger ist als die Komplexität des resultierenden Problems
In dem Film Inception Cobb wird Ariadne gebeten, ein Labyrinth zu entwerfen, dessen Gestaltung doppelt so lange dauert. Dies bietet sich für ein allgemeines Problem an, bei dem wir eine Situation haben, in der die Ressourcen um einen gewissen Betrag begrenzt sind und jeder, der überprüft, ob dieses Problem in …
2
Komplexitätsergebnisse für lokal zweigeteilte Graphen
Ein Graph ist lokal zweiteilig, wenn die offene Nachbarschaft jedes Scheitelpunkts einen zweigeteilten Graphen induziert. (Laut Suchanfragen könnte der gleiche Name für etwas anderes verwendet werden, das sich auf Oberflächen bezieht). Welche NP-harten Probleme für allgemeine Graphen werden für lokal zweigeteilte Graphen polynomisch und welche bleiben NP-hart? Besonders interessiert an …
1
Mehrdimensionale arithmetische Progressionsvariante
Für d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^n sei Q(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^n die Menge der Eckpunkte des nnn dimensionalen Würfels, skaliert in Richtung der iii ten Koordinate durch didid_i , dh Q(d⃗ ={⟨±d1,…,±dn⟩}Q(d→={⟨±d1,…,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, \ldots, \pm d_n\rangle\} . Betrachten Sie das folgende Problem: Enthält die Menge bei einer Menge …
1
Enge Beispiele zur Annäherung an das Problem der Rückkopplungsscheitelpunktmenge
Es gibt mehrere 2-Approximationsalgorithmen für das UNWEIGHTED Feedback Vertex Set Problem (FVS), die in [4] zusammengefasst sind. Beachten Sie, dass die Reduzierung von der Scheitelpunktabdeckung auf FVS annäherungserhaltend ist. Unter der Annahme einer einzigartigen Spielvermutung können wir keine besseren Algorithmen erwarten. Die Frage ist: Gibt es einen ungewichteten Graphen, in …
1
Zusammenhänge zwischen dem Erdos-Diskrepanzproblem und (theoretischem) CS?
Kürzlich gab es einige neue Ergebnisse zur computergestützten experimentellen Untersuchung des Erdos-Diskrepanzproblems (EDP) (über SAT-Löser, siehe unten). Dieses Problem wurde von mehreren (T) CS-Forschern angeführt und untersucht. Die (möglicherweise tiefen?) Links zu (T) CS sind jedoch nicht so offensichtlich. Was sind die Links der EDV zu (T) CS? Hier sind …
3
Kann man die algorithmische Analyse automatisieren?
Hat jemand über die Möglichkeit einer Programmiersprache und eines Compilers nachgedacht, so dass der Compiler automatisch asymptotische Analysen im schlimmsten Fall durchführen kann? Der Anwendungsfall, an den ich denke, ist eine Programmiersprache, in der ich Code schreibe und kompiliere. Der Compiler teilt mir mit, dass mein Code beispielsweise in O …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.