Ich fragte mich, welche Papiere ich lesen sollte, um diese Frage zu verstehen Eine unerwartete Verbindung zu anderen Bereichen der Mathematik wie der algebraischen Geometrie oder der höheren Kohomologie. Vielleicht ist sogar ein Bereich der Mathematik noch nicht erschlossen. Vielleicht wird jemand...
Mir ist gerade aufgefallen, dass ich davon ausgegangen bin, dass meine Frage mit "Ja" beantwortet wurde, aber ich habe keinen guten Grund. Ich stelle mir vor, dass es vielleicht einen Müllsammler gibt, der nachweislich nur die Worst-Case-Verlangsamung einführt . Gibt es eine definitive Referenz,...
In der Arbeit "Die Komplexität von Zufriedenheitsproblemen" von Thomas J. Schaefer hat der Autor darauf hingewiesen This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the...
Diese Frage bezieht sich auf die zeitliche Komplexität des Ford-Fulkerson-Maximalflussalgorithmus, wenn DFS zum Auffinden von Erweiterungspfaden verwendet wird. Es gibt ein bekanntes Beispiel, das zeigt, dass man mit DFS eine lineare Anzahl von Iterationen im maximalen Fluss benötigen kann, siehe...
Kennt jemand Referenzen, die den Zusammenhang zwischen dem Vereinigungsalgorithmus und der Gaußschen Eliminierung genau beschreiben ? Ich interessiere mich besonders für die Beziehung zwischen dreieckigen Substitutionen und LU-Zerlegungen. Wayne Snyder und Jean Gallier erwähnen diese Analogie in...
Beim Basteln mit nichtkanonischem LR-Parsing habe ich mir eine Parsing-Methode ausgedacht (mit unendlich großen Tabellen, was es etwas unpraktisch macht ), mit der genau die eindeutigen Grammatiken in -Zeit analysiert werden können, und ich habe mich gefragt, ob es möglich ist, es besser zu machen...
Beim Entwerfen von Approximationsalgorithmen löst man manchmal ein semidefinites Programm, gefolgt von einem Rundungsschritt. Ein häufig verwendetes Beispiel, um dies zu veranschaulichen, ist Max-Cut. (Siehe zB Approximationsalgorithmen von Vijay Vazirani.) Gibt es gute Bildungsquellen oder...
Sei ein Graph. Für eine Ecke definieren die (offene) Nachbarschaft zu in . Das heißt, . Definieren Sie zwei Eckpunkte in als Zwillinge, wenn und dieselbe Menge von Nachbarn haben, d. H. Wenn .x ∈ V N ( x ) x G N ( x ) = { y ∈ VG=(V,E)G=(V,E)G=(V,E)x∈Vx∈Vx\in VN(x)N(x)N(x)xxxGGGu , v...
Gibt es eine gute Umfrage, die verschiedene Extraktoren, Konzentratoren und Superkonzentratoren vergleicht und die besten Methoden in Bezug auf den Kompromiss zwischen Zufälligkeit, Zeit und Raum aufzeigt?
Bei meiner Recherche bin ich auf folgendes Ergebnis gestoßen. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 wobei und zufällig aus .m=ω(n−−√)m=ω(n)m=\omega(\sqrt...
Hintergrund: Sei zwei Eckpunkte eines ungerichteten Graphen . Eine Vertexmenge ist ein Trennzeichen, wenn und zu verschiedenen verbundenen Komponenten von . Wenn keine geeignete Teilmenge eines Trennzeichens ein Trennzeichen ist, dann ist ein minimaler Trennzeichen. Ein Eckpunkt ist ein (minimaler)...
(Dies ist ein Follow-up zu dieser Frage und ihrer Antwort .) Ich habe das folgende völlig unimodulare (TU) ganzzahlige lineare Programm (ILP). Hier sind alle positive ganze Zahlen, die als gegeben sind Teil der Eingabe. Eine angegebene Teilmenge der Variablen wird auf Null gesetzt, und der Rest...
O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} fängt die Idee einer effizienten Parallelisierung ein, und eine Interpretation davon sind Probleme, die in der Zeit mit parallelen Prozessoren für einige Konstanten , lösbar sind . Meine Frage ist, ob es eine analoge Komplexitätsklasse gibt, in...
Ich suche nach Sprachen, die "wahrscheinlich nicht kontextfrei" sind, aber wir können sie mit bekannten Standardtechniken nicht (dis) beweisen. Gibt es eine aktuelle Umfrage zu diesem Thema oder einen offenen Problembereich einer aktuellen Konferenz? Wahrscheinlich gibt es nicht viele Sprachen, von...
Es gibt viele Stellen, an denen die Zahlen und angezeigt werden. Ich bin gespannt auf Algorithmen, deren Laufzeit den goldenen Schnitt oder im Exponenten
Ich habe gesehen (und gehört), dass behauptet wird, dass es sicher ist, das klassische Axiom der ausgeschlossenen Mitte zu Coq hinzuzufügen, aber ich kann anscheinend kein Papier finden, das diese Behauptung stützt. Die Papiere, die ich im Coq-Wiki über ausgeschlossene Mitten sehe, weisen...
Wenn ich Schwanzgrenzen unterrichte, benutze ich die übliche Progression: Wenn Ihr rv positiv ist, können Sie Markovs Ungleichung anwenden Wenn Sie Unabhängigkeit und auch begrenzte Varianz haben, können Sie die Ungleichung von Chebyshev anwenden Wenn für jedes unabhängige RV auch alle Momente...
Betrachten Sie die folgenden Überlegungen: Sei die Kolmogorov-Komplexität der Zeichenkette x . Chaitins Unvollständigkeitssatz sagt das ausK(x)K(x)K(x)xxx für jedes konsistentes und formales System ausreichend starkes gibt es eine Konstante T (nur abhängig von dem formalen System und seiner...
Kürzlich habe ich mich mit dem Problem beschäftigt, die ungefähre Summe einer Liste von sortierten nichtnegativen Zahlen zu berechnen. Für jedes feste ϵ>0ϵ>0\epsilon>0 wurde ein O(logn)O(logn)O(\log n) -Zeitnäherungsschema so abgeleitet, dass es eine (1+ϵ)(1+ϵ)(1+\epsilon) -Näherung für die...
Eine Additionskette ist eine Folge von positiven ganzen Zahlen wobei und jeder Index ist. Für einige Indizes gilt . Die Länge der Additionskette beträgt ; Das Ziel der Additionskette ist .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i( x1, x2, … , Xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n)x1= 1x1=1x_1 =...