Theoretische Informatik

2

Kurz gesagt : Können wir unter der Annahme , dass Einwegpermutationen existieren, eine konstruieren, die keine Falltür hat? Mehr Info: Eine Einweg-Permutation ist eine Permutation die einfach zu berechnen, aber schwer zu invertieren ist ( eine formellere Definition finden Sie im Einweg-Funktions-Tag-Wiki ). Wir betrachten normalerweise Familien der Einwegpermutation, , …

9 cr.crypto-security one-way-function

2

Zeitliche Komplexität des Held-Karp-Algorithmus für TSP

Als ich " Ein dynamischer Programmieransatz für Sequenzierungsprobleme " von Michael Held und Richard M. Karp durchgesehen habe , stellte ich die folgende Frage: Warum ist die Komplexität ihres Algorithmus für TSP (S. 199), ich meine, woher nehmen sie den Faktor k ? Wenn ich richtig verstanden habe, bedeutet k-1 …

9 ds.algorithms tsp exp-time-algorithms

2

Erweiterungen von Ramseys Theorem: monochromatisch, aber vielfältig

Als Folge meiner vorherigen Frage , die von Hsien-Chih Chang gelöst wurde, ist hier ein weiterer Versuch, eine angemessene Verallgemeinerung von Ramseys Theorem zu finden. (Sie müssen die vorherige Frage nicht lesen. Dieser Beitrag ist in sich geschlossen.) Parameter: Es werden ganze Zahlen angegeben, und dann wird so gewählt, dass …

9 reference-request co.combinatorics ramsey-theory

1

Ist das Backup-Problem NP-vollständig?

Ist das folgende Entscheidungsproblem NP-vollständig: Sei ein ungerichteter Graph und b ≤ c zwei ganze Zahlen. Ist es möglich, für jeden Scheitelpunkt von G genau b verschiedene Nachbarn auszuwählen, so dass kein Knoten mehr als c- mal ausgewählt wird.GGGb ≤ cb≤cb \le cGGGbbbccc Der Fall kann für jedes c in …

9 cc.complexity-theory np-hardness graph-algorithms

2

Ein ehrliches Verhalten erzwingen

Wie können Sie eine Partei zwingen, ehrlich zu sein (Protokollregeln befolgen)? Ich habe einige Mechanismen wie Verpflichtungen, Beweise usw. gesehen, aber sie scheinen einfach nicht das ganze Problem zu lösen. Es scheint mir, dass die Struktur des Protokolldesigns und solche Mechanismen die Aufgabe erfüllen müssen. Hat jemand eine gute Klassifizierung …

9 cr.crypto-security gt.game-theory

3

Baumzerlegung für planare Graphen

Zuerst auf math.SE ohne Antworten gefragt . Angenommen, ich habe ein planares Diagramm mit einer planaren Einbettung. Wie finde ich die Baumzerlegung? Was ist die optimale Baumzerlegung eines by- d- Quadratgitters? Nicht ganz sicher, wie man "optimal" definiert, aber es sollte zwischen Zersetzung mit einem großen Beutel und Zersetzung mit …

9 ds.algorithms graph-theory graph-algorithms treewidth integer-lattice

2

Was ist die optimale Datenstruktur für einen Kartenbaum?

Ich suche nach einer Datenstruktur, die im Grunde genommen ein Baum von Karten ist, in der die Karte an jedem Knoten einige neue Elemente sowie die Elemente in der Karte des übergeordneten Knotens enthält. Mit map meine ich hier eine Programmierkarte mit Schlüsseln und Werten, wie map in der STL …

9 ds.data-structures tree hash-function

1

Komplexität beim Auffinden der Eigendekomposition einer * symmetrischen * Matrix

Dies ist eine spezielle Version einer früheren Frage: Komplexität beim Finden der Eigendekomposition einer Matrix . Für NxN-Symmetriematrizen ist bekannt, dass die O (N ^ 3) -Zeit ausreicht, um die Eigenzerlegung zu berechnen. Die Frage ist: Können wir eine subkubische Komplexität erreichen? Vielen Dank.

9 ds.algorithms time-complexity matrices linear-algebra na.numerical-analysis

1

Wie komplex ist dieses Nachlassspiel?

Alice und Bob teilen den Nachlass ihres verstorbenen Onkels Charlie (eine endliche Sammlung diskreter Gegenstände) nach seinen Wünschen auf. Zuerst wählt A einen Gegenstand aus, dann B, dann A und so weiter.X.X.X Alice und Bob haben jeweils additive Dienstprogrammfunktionen . Wenn Alice am Ende die Menge , lautet ihr Dienstprogramm …

9 gt.game-theory

1

Gibt es einen Zusammenhang zwischen der Theorie der rechnerischen Komplexität und der Theorie komplexer Systeme?

Die rechnergestützte Komplexitätstheorie klassifiziert Probleme nach ihrer inhärenten Schwierigkeit. Die Theorie komplexer Systeme befasst sich mit Systemen, die Verhaltensweisen aufweisen, die sich nicht offensichtlich aus den Eigenschaften der einzelnen Systemteile ergeben. Beispiele sind chaotische Systeme, komplexe adaptive Systeme oder nichtlineare Systeme. Gibt es eine formale Brücke zwischen diesen Feldern? Für …

9 cc.complexity-theory soft-question big-picture

8

Gibt es einen anderen Algorithmus, dessen Laufzeit im ungünstigsten Fall exponentiell ist, während er in der Praxis sehr gut funktioniert, außer dem Simplex-Algorithmus?

Wir nennen einen Algorithmus im Allgemeinen "guten Algorithmus", wenn seine Laufzeit im schlimmsten Fall polynomisch ist. In einigen Fällen (z. B. Simplex-Algorithmus) kann der Worst-Case des Algorithmus zwar exponentiell sein, in der Praxis jedoch sehr gut funktionieren. Gibt es andere (deterministische) Beispiele für diese Situation als den Simplex-Algorithmus?

9 ds.algorithms

2

Die Komplexität der gebietsrechtlichen Hamiltonianer

Ich habe kürzlich darüber nachgedacht, eine physikalische Frage in Quanten-CS zu "importieren": Der Begriff des Gebietsgesetzphänomens in Hamiltonschen Systemen steht normalerweise für einen lokalen Hamiltonianer auf einem Gitter, dessen Grundzustand eine Eigenschaft aufweist, bei der die Verschränkung einer geschlossenen Region proportional zur Oberfläche der Region ist und nicht zu ihrem …

9 quantum-computing big-picture

2

Eigenschaftsprüfung für unabhängige Mengen

Angenommen, wir erhalten einen Graphen und die Parameter . Gibt es Bereiche von Werten für (oder ist es für alle machbar ) , für die es möglich ist , ob ist -Far von einer unabhängigen Satz von Größe mindestens mit in der Zeit ?k , ε k k G ε …

9 ds.algorithms graph-theory reference-request property-testing

1

Gibt es ein bestimmtes PSPACE Complete-Problem mit einem FPTAS-Algorithmus?

Es ist bekannt, dass das NP-vollständige Problem namens Subset Sum ein FPTAS hat. Ich habe mich gefragt, ob es ein PSPACE Complete-Problem gibt, das auch ein FPTAS hat. Danke im Voraus.

9 ds.algorithms space-bounded big-picture

5

Universelle rekursive Funktion schreiben [geschlossen]

Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Theoretische Informatik Stapel Austausch. Geschlossen vor 3 Jahren . Gibt es eine kurze explizite Konstruktion einer universellen rekursiven Funktion ? Alle Definitionen, …

9 lo.logic computability pl.programming-languages