Theoretische Informatik ds.algorithms

1

Optimaler Sortieralgorithmus in Anzahl der Swaps

Kann es bei einer gegebenen Folge von Zahlen mit Vergleichen und Swaps / Moves sortiert werden ? Alle Verweise auf Veröffentlichungen zu diesem Thema oder Gegenargumente, die eine Untergrenze von , wären hilfreich.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory ds.algorithms

4

Was ist der wichtigste Begriff von Sparsity für den Entwurf effizienter Graph-Algorithmen?

Es gibt mehrere konkurrierende Begriffe eines "spärlichen Graphen". Beispielsweise könnte ein oberflächeneinbettbarer Graph als spärlich angesehen werden. Oder ein Diagramm mit begrenzter Kantendichte. Oder eine Grafik mit hohem Umfang. Ein Diagramm mit großer Ausdehnung. Ein Diagramm mit begrenzter Baumbreite. (Sogar innerhalb des Unterfelds der Zufallsgraphen ist es etwas unklar, was …

12 ds.algorithms graph-theory graph-algorithms big-picture

2

Euklidisch-quadratischer Maximalschnitt in geringen Abmessungen

Sei x1, … , Xnx1,…,xnx_1, \ldots, x_n Punkte in der Ebene . Betrachten Sie einen vollständigen Graphen mit den Punkten als Eckpunkten und mit Kantengewichten von . Finden Sie immer ein Stück Gewicht, das mindestens des Gesamtgewichts beträgt? Wenn nicht, welche Konstante soll die \ frac 2 3 ersetzen ? …

12 ds.algorithms graph-algorithms application-of-theory max-cut clustering

2

Referenz für einen schnellen Algorithmus für Engpass-Kurzstrecken

Ich suche eine gute Referenz für Engpass kürzeste Wege. Insbesondere möchten Sie bei den Eckpunkten s und t in einem ungerichteten Diagramm mit Kantengewichten den kürzesten Pfad von s nach t, wobei die Länge eines Pfads die maximale Kante auf diesem Pfad ist. Dies kann in O (n + m) …

12 ds.algorithms reference-request graph-algorithms

1

Welcher Algorithmus steht hinter akinator oder 20q?

Der Titel spricht für sich. Hier sind Akinator und 20Q . Das Prinzip dieser Spiele besteht darin, einem Benutzer eine Reihe von Fragen zu stellen, die sich auf eine vom Benutzer ausgewählte Entität beziehen. Und dann finde heraus, was diese Entität ist. Der Kern des Algorithmus besteht darin, in jeder …

12 ds.algorithms

2

MSOL-Optimierungsprobleme bei Diagrammen mit begrenzter Gruppenbreite und Kardinalitätsprädikaten

CMSOL zählt die monadische Logik zweiter Ordnung, dh eine Logik von Graphen, bei der die Domäne die Menge von Scheitelpunkten und Kanten ist, es Prädikate für die Scheitelpunkt-Adjazenz und die Scheitelpunkt-Inzidenz gibt, es gibt eine Quantifizierung über Kanten, Scheitelpunkte, Kantensätze und Scheitelpunkte Sätze, und es gibt ein Prädikat , die …

12 ds.algorithms reference-request graph-algorithms descriptive-complexity cliquewidth

2

Umkehren einer Liste mit zwei Warteschlangen

Diese Frage ist von einer bestehenden Frage inspiriert, ob ein Stapel mit zwei Warteschlangen in amortisierter -Zeit pro Stapeloperation simuliert werden kann . Die Antwort scheint unbekannt zu sein. Hier ist eine spezifischere Frage, die dem Sonderfall entspricht, in dem alle PUSH-Operationen zuerst ausgeführt werden, gefolgt von allen POP-Operationen. Wie …

12 ds.algorithms ds.data-structures lower-bounds time-complexity sorting

2

Minimale maximale Lösungen von LPs

Die lineare Programmierung ist heutzutage natürlich sehr gut bekannt. Wir haben viel Arbeit, die die Struktur machbarer Lösungen und die Struktur optimaler Lösungen charakterisiert. Wir haben die starke Dualität, Poly-Time-Algorithmen usw. Aber was ist über minimale Maximallösungen von LPs bekannt? Oder gleichermaßen Maximum-Minimum-Lösungen? (Dies ist eigentlich keine Forschungsfrage, aber vielleicht …

12 cc.complexity-theory ds.algorithms reference-request linear-programming optimization

3

Was sind die Probleme mit dem besten Näherungsverhältnis, das mit einem Algorithmus erzielt wird, der eine gleichmäßig zufällige Lösung liefert?

Was sind die Probleme mit dem bekanntesten Näherungsverhältnis, das mit einem Algorithmus erzielt wird, der eine gleichmäßig zufällige Lösung liefert? Ich kenne ein solches Beispiel für das Permutationsfluss-Ladenproblem : Viswanath Nagarajan und Maxim Sviridenko haben in der Zeitung " Tight Bounds for Permutation Flow Shop Scheduling " bewiesen, dass zufällige …

12 ds.algorithms reference-request approximation-algorithms

1

Typische Härte der Baumzersetzung?

Die Baumzerlegung ist im schlimmsten Fall schwierig, aber die gierige Methode scheint in kleinen realen Netzwerken nahezu optimal zu sein. Ist etwas über die Härte der Baumzerlegung einer "typischen" Instanz einer Klasse von Graphen bekannt? Gibt es ein Beispiel für eine Familie von Graphen, in denen sich gierige Methoden zur …

12 ds.algorithms graph-theory graph-algorithms treewidth

3

Ein vielschichtiges Problem

Ich suche einen Namen oder Hinweise auf dieses Problem. Bei einem gewichteten Graphen eine Aufteilung der Eckpunkte in bis zu n = | gefunden V | setzt S 1 , ... , S n , um den Wert der Schnittkanten zu maximieren: c ( S 1 , ... , S …

12 ds.algorithms reference-request approximation-algorithms max-cut

1

Bedingungen für die Rückverfolgbarkeit von 3SAT-Satisfiability

Ich frage mich insbesondere, ob es eine interessante Bedingung für den Prozentsatz der Aufgaben gibt, die eine 3SAT-Formel erfüllen, um sicherzustellen, dass solche Probleme behoben werden können. Nehmen wir zum Beispiel die Klasse der 3SAT-Probleme an, dass der möglichen Zuordnungen die Boolesche Formel erfüllt; können wir effizient eine zufriedenstellende Aufgabe …

12 cc.complexity-theory ds.algorithms sat np

3

Gibt es einen Online-Algorithmus, um die Komponenten in einem sich ändernden ungerichteten Diagramm zu verfolgen?

Problem Ich habe ein ungerichtetes Diagramm (mit mehreren Kanten), das sich mit der Zeit ändert. Knoten und Kanten können eingefügt und gelöscht werden. Bei jeder Änderung des Diagramms muss ich die verbundenen Komponenten dieses Diagramms aktualisieren. Eigenschaften Zusätzliche Eigenschaften sind, dass keine zwei Komponenten jemals wieder verbunden werden. Offensichtlich kann …

12 ds.algorithms graph-theory approximation-algorithms online-algorithms

2

Schnelles, dünnflüssiges Boolesches Matrixprodukt mit möglicher Vorverarbeitung

Was sind die praktisch effizientesten Algorithmen zum Multiplizieren von zwei sehr spärlichen booleschen Matrizen (z. B. N = 200 und es gibt nur einige 100-200 Nicht-Null-Elemente)? Eigentlich habe ich den Vorteil, dass beim Multiplizieren von A mit B die Bs vordefiniert sind und ich willkürlich komplexe Vorverarbeitungen an ihnen vornehmen …

12 ds.algorithms matrix-product sparse-matrix boolean-matrix implementation

1

Positive topologische Reihenfolge, nimm 2

Dies ist eine Fortsetzung von David Eppsteins jüngster Frage und wird durch dieselben Probleme motiviert. Angenommen, ich habe einen Tag mit reellen Zahlengewichten auf seinen Scheitelpunkten. Anfangs sind alle Scheitelpunkte nicht markiert. Ich kann die Menge der markierten Scheitelpunkte ändern, indem ich entweder (1) einen Scheitelpunkt ohne nicht markierte Vorgänger …

12 ds.algorithms directed-acyclic-graph partial-order

Als «ds.algorithms» getaggte Fragen