Theoretische Informatik reference-request

1

Für welches k ist PLANAR NAE k-SAT in P?

Das Nicht alle Gleich SAT-Problem (NAE SAT) fragt bei einer Menge von Klauseln über eine Menge von booleschen Variablen, so dass jede Klausel höchstens Literale enthält, ob eine Wahrheitszuordnung der Variablen existiert, so dass Jede Klausel enthält mindestens ein wahres und mindestens ein falsches Literal.k C X kkkkkkkCCCXXXkkk Das PLANARE …

23 cc.complexity-theory reference-request np-hardness polynomial-time

5

Neugierig auf computergestützte NP-Vollständigkeitsnachweise

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 relational complexity could be explored with the help of a computer. …

22 cc.complexity-theory reference-request soft-question reductions proof-assistants

3

Rechtfertigung der asymptotischen Worst-Case-Analyse für Wissenschaftler

Ich habe daran gearbeitet, einige Ergebnisse aus der Komplexität von Berechnungen in die theoretische Biologie, insbesondere Evolution und Ökologie , einfließen zu lassen , mit dem Ziel, für Biologen interessant / nützlich zu sein. Eine der größten Schwierigkeiten, mit denen ich konfrontiert war, war die Rechtfertigung des Nutzens einer asymptotischen …

22 cc.complexity-theory reference-request big-picture application-of-theory worst-case

1

Vereinigung und Gaußsche Eliminierung

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 ihrem Artikel "Überarbeitete Vereinigung höherer Ordnung: Komplette Sätze von Transformationen" .

22 reference-request lo.logic

1

Können alle eindeutigen Grammatiken in linearer Zeit analysiert werden?

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 :O ( n2)O(n2)O(n^2) Können alle …

22 reference-request fl.formal-languages time-complexity parsing context-free

4

Aufsätze zum Zusammenhang zwischen rechnerischer Komplexität und algebraischer Geometrie / Topologie?

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 eine ganz neue Richtung für die Mathematik entwickeln, …

22 cc.complexity-theory reference-request gct algebraic-topology

3

Komplexität des Tensorrangs über ein unendliches Feld

Ein Tensor ist eine Verallgemeinerung von Vektoren und Matrizen auf höhere Dimensionen, und der Rang eines Tensors verallgemeinert auch den Rang einer Matrix. Der Rang eines Tensors ist nämlich die minimale Anzahl von Tensoren des Rangs 1, die sich zu summieren . Ein Vektor und eine Matrix sind Tensoren vom …

22 ds.algorithms reference-request computability tensor-rank

3

Das Addieren von ganzen Zahlen, die durch ihre Faktorisierung dargestellt werden, ist genauso schwierig wie das Faktorisieren? Referenzanfrage

Ich suche eine Referenz für das folgende Ergebnis: Das Hinzufügen von zwei Ganzzahlen in der faktorisierten Darstellung ist so schwierig wie das Faktorieren von zwei Ganzzahlen in der üblichen binären Darstellung. (Ich bin mir ziemlich sicher, dass es da draußen ist, weil ich mich das irgendwann gefragt hatte und dann …

22 cc.complexity-theory reference-request time-complexity factoring encoding

1

Gibt es einen Grund zu der Annahme, dass

Ich frage mich, ob es eine Rechtfertigung dafür gibt, zu glauben, dass oder dass N L ≠ L ist .NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L Es ist bekannt, dass . Die Literatur zur Derandomisierung von R L ist ziemlich überzeugend, dass R L = L ist . Kennt jemand einige …

22 cc.complexity-theory reference-request complexity-classes space-bounded

1

Maximaler Durchfluss mit Ford-Fulkerson und DFS

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 zum Beispiel die oben verlinkte Wikipedia-Seite. Dieses Beispiel überzeugt mich …

22 ds.algorithms reference-request max-flow

3

Bildungsquelle oder Umfrage zur Analyse des semidefiniten Programms?

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 Umfragen, die über das Max-Cut-Problem hinausgehen und komplexere Rundungsalgorithmen und -techniken für ihre Analyse erklären? …

22 ds.algorithms reference-request approximation-algorithms semidefinite-programming csp

4

Gibt es Probleme ohne effiziente Algorithmen, bei denen Existenzsätze bewiesen haben, dass solche Algorithmen existieren müssen?

Gibt es in CS Probleme, bei denen keine effizienten Algorithmen bekannt sind, obwohl es Theoreme gibt, die beweisen, dass solche effizienten Algorithmen existieren müssen? Wie heißen diese Probleme? Wo kann ich mehr erfahren?

22 ds.algorithms reference-request terminology

2

Können die Kosten für GC bei der Analyse der Laufzeit von Worst-Case-Datenstrukturen, die in einer Programmiersprache mit Speicherbereinigung angegeben sind, vernachlässigt werden?

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, die ich zitieren kann? In meinem …

22 reference-request ds.data-structures pl.programming-languages functional-programming

7

Finden von Doppelscheitelpunkten in Diagrammen

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 ∈ …

22 ds.algorithms reference-request graph-algorithms

6

Einführung in die Spektralgraphentheorie

Was sind die Grundreferenzen? Gibt es gute allgemeine Umfragen zu SGT und seinen Anwendungen für CS im Allgemeinen und zum maschinellen Lernen im Besonderen?

22 reference-request spectral-graph-theory

Als «reference-request» getaggte Fragen