Ich habe das berühmte Buch von Alon und Spencer über die probabilistische Methode in der Kombinatorik gelesen. Gibt es eine Umfrage oder Vorlesungsunterlagen zu den jüngsten Fortschritten und Beziehungen zu den folgenden komplexitätstheoretischen Themen dieser Methode über dieses Lehrbuch hinaus?...
Die Komplexitätstheorie scheint eher auf Entscheidungsproblemen als auf Funktionen zu beruhen. Wer hat dies zuerst eingeführt und was ist der Grund für diese Wahl? Zum Beispiel wird Edmonds 'Papier "Pfade, Bäume und Blumen" im Allgemeinen als Quelle des Begriffs " der die Menge der...
Definieren Sie das SAT-Problem: Gegeben sei , eine erfüllbare 3-CNF-Formel, und , eine 2-CNF-Formel ( und sind für dieselben Variablen definiert). Ist erfüllbar?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Was ist die Komplexität dieses Problems? (Wurde es schon einmal...
Sei ein maximal induzierter Intervall-Teilgraph eines Graphen . Wenn， Was ist dann die kleinste Anzahl von ?HHHG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n=|V|V(H)V(H)V(H) Die Zahl beträgt höchstens : Betrachten Sie einen Satz disjunkter Löcher.3n/43n/43n/4444 Kann es kleiner
Was sind die Anwendungen der Kolmogorov-Komplexität in der Zahlentheorie und auf beweisbezogenen Gebieten? (Die Monographie von Li & Vitanyi hat nicht viele Anwendungen im Zusammenhang mit der Zahlentheorie.) Einer der schönen Beweise, auf die ich gestoßen bin, ist der Beweis für die Existenz...
Mich interessiert, wie man beweist, dass ein Satz relativiert. Natürlich ist es einfach zu beweisen, dass ein Satz nicht relativiert, wie das Ergebnis von Baker-Gill-Solovay zeigt; aber wie kann man beweisen , dass ein Satz tut relativieren das heißt , dass es wahr relativ zu jedem Orakel ist? Gibt...
Ich suche nach einer Referenz zum "Reduzieren" von Turing-Reduzierungen auf Mehrfachreduzierungen. Ich denke an eine Aussage der folgenden Form (ähnlich genug Aussagen würden mich auch befriedigen): Satz. Wenn , dann .A ≤ 2 f m B t tA ≤fT.B.A≤TfB\mathsf{A}\leq_T^f \mathsf{B}A≤2fmBttA≤m2fBtt\mathsf...
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...
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...
Das Problem mit dem verbundenen Subgraphen mit maximalem Gewicht ist wie folgt: Input: ein Graph und ein Gewicht (möglicherweise negativ) für jeden Scheitelpunkt .w i i ∈ V.G = ( V., E.)G=(V,E)G=(V,E)wichwiw_ii ∈ V.i∈Vi \in V Ausgabe: Eine Teilmenge mit maximaler Gewichtung von Eckpunkten, so dass...
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...
Ich habe hier gelesen, dass es Funktionsfamilien gibt, die Knoten im neuronalen Netzwerk mit höchstens d - 1 Schichten benötigen, um die Funktion darzustellen, während sie nur O ( n ) benötigen, wenn das neuronale Netzwerk mindestens d Schichten hat. Es bezog sich auf ein Papier von Hastad. Ich...
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...
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...
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...
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...
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...
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...
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...
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...