Theoretische Informatik big-list

1

Nach der Diskussion über untere Schranken für 3SAT [ 1 ] frage ich mich, was die wichtigsten Ergebnisse für untere Schranken sind, die als Raum-Zeit-Kompromisse formuliert wurden. Ich schließe Ergebnisse aus, wie zum Beispiel den Satz von Savitch; Ein guter Beitrag würde sich auf ein einzelnes Problem und seine Grenzen …

13 cc.complexity-theory ds.algorithms big-list space-time-tradeoff

2

Liste zahlentheoretischer oder algebraischer Probleme in verschiedenen Komplexitätsklassen

Ich suche eine Liste über die bekannte oder unbekannte Komplexität verschiedener zahlentheoretischer / algebraischer Probleme. Beispielsweise, GCD in ist offen,NC1NC1NC^1 Factoring in ist offen,PPP Computing Sheaf Cohomology ist -hard#P#P\#P , Arora und Barak Zustand , dass eine Variante des Factorings ist - vollständig (obwohl dies ist nicht klar , auf …

12 cc.complexity-theory big-list algebra open-problem

4

Probleme, von denen nicht bekannt ist, dass sie PSPACE-vollständig sind

Was sind Probleme mit den folgenden Eigenschaften: 1) Sie beschränken (möglicherweise bekannte) Probleme, die PSPACE-vollständig sind. 2) Die eingeschränkten Versionen sind in PSPACE, aber es ist ein offenes Problem, wenn sie PSPACE-vollständig sind (oder auch wenn sie NP-hart sind). Vier Beispiele aus "Puzzles & C.": Die Komplexität von 1x1 Rush …

12 big-list open-problem

6

Datenstrom-Algorithmen „teilen und erobern“

Welche nützlichen Algorithmen gibt es, die mit großen Datenströmen arbeiten und deren Ergebnisse relativ klein sind, und man kann das Ergebnis für eine Mischung aus zwei Datenströmen berechnen, indem man deren Ergebnisse irgendwie zusammenführt? Ich kann einige nennen: Die offensichtlichen Dinge wie Summe, Min, Max, Zählung, Top-K usw. Ungefähre sogenannte …

12 ds.algorithms big-list data-streams

7

Ausreichende Bedingungen für den Zusammenbruch der Polynomhierarchie (PH)

Was sind einige (nicht bekannte) Behauptungen, dass der PH zusammenbrechen muss, wenn er wahr ist? Antworten, die eine kurze Aussage auf hoher Ebene mit Referenzen enthalten, sind willkommen. Ich habe versucht, ohne viel Glück rückwärts zu suchen.

12 cc.complexity-theory complexity-classes big-list

4

Liste stark NP-harter Probleme mit numerischen Daten

Ich suche stark NP-harte Probleme für eine Reduktion. Bisher habe ich folgende Probleme festgestellt: 3-Partitions-Problem Müllverpackungsproblem Numerische dreidimensionale Übereinstimmung TSP Jedes NP-vollständige Problem ohne numerische Daten, z. B. ZUFRIEDENHEIT, HAMILTONISCHER ZYKLUS, 3-FARBBARKEIT. Kennt jemand eine Liste stark NP-harter Probleme? Wenn nicht, bauen wir hier eine. Kennen Sie andere Probleme mit …

11 np-hardness big-list hamiltonian-paths

3

Vom Computer gefundene Beweise

1996 wurde ein seit langem offenes Problem von einem Computer gelöst; nämlich, dass Robbins Algebra und Boolesche Algebra gleich sind. Der Beweis wurde von einem automatisierten Theorembeweiser gefunden. Darüber hinaus enthält der bekannte Beweis des Vierfarbensatzes computergenerierte Komponenten. Ziel dieser Frage ist es, Beweise aufzulisten, die (vollständig oder teilweise) vom …

11 soft-question big-list proofs automated-theorem-proving

2

Exponate für ein Museum of Computing

Alle mir bekannten Computermuseen und Exponate scheinen nur die Geschichte der Computer zu behandeln, aber nichts zu Themen der Informatik. Sie sind an der Schaffung eines neuen Computermuseums beteiligt, das gegründet wurde, um die breite Öffentlichkeit in einer Vielzahl von Themen aus den Bereichen Computer, Informatik, Kommunikation und Mathematik zu …

11 soft-question big-list ho.history-overview

6

Anwendung der Graphentheorie in der Informatik

Ich bin ein CS-Student. Wir haben Graphentheorie in einem Kurs gemacht. Ich fand es interessant. Was sind die wirklichen Anwendungen der Graphentheorie in der Informatik? Ich fand zum Beispiel heraus, dass einige Konzepte in der Graphentheorie zum Entwerfen von Netzwerken verwendet werden können. Was sind andere ähnliche Anwendungen?

11 graph-theory co.combinatorics big-list application-of-theory

2

Probleme ohne bekannten Quantenvorteil

Ich habe mich gefragt, was die Liste der aktuellen natürlichen Rechenprobleme ist, für die es keinen bekannten Komplexitätsvorteil bei der Verwendung eines Quantencomputers gibt. Zunächst einmal denke ich, dass die Berechnung der Bearbeitungsentfernung eine ist, für die der schnellste bekannte Quantenalgorithmus der schnellste bekannte klassische zu sein scheint. Vorläufiger würde …

11 ds.algorithms quantum-computing big-list

4

Approximationsalgorithmen, die in exakten Algorithmen verwendet werden

Approximationsalgorithmen können eine Ausgabe bis zu einem konstanten Faktor liefern. Dies ist etwas weniger zufriedenstellend als exakte Algorithmen. Konstante Faktoren werden jedoch in der zeitlichen Komplexität ignoriert. Ich frage mich also, ob der folgende Trick möglich ist oder angewendet wurde, um ein Problem zu lösen. :B ∘ A.B∘AB \circ A …

11 ds.algorithms big-list approximation-algorithms

1

Was sind die wichtigsten Forschungsfragen bei verteilten Transaktionen?

Hintergrund: Die Transaktionsverarbeitung ist ein traditionelles Forschungsthema in der Datenbanktheorie. Heutzutage werden verteilte Transaktionen von großen verteilten Speichersystemen populär gemacht, die typischerweise Datenpartition (auch Sharding genannt) und Datenreplikation umfassen . Was sind die wichtigsten Forschungsfragen bei verteilten Transaktionen? Gibt es bekannte Theorien und Lösungen, die (theoretisch) verbessert werden müssen? Alle …

10 reference-request big-list dc.distributed-comp db.databases

4

Konstruktionen besser als eine zufällige.

Ich interessiere mich für Beispiele von Konstruktionen in der Komplexitätstheorie, die besser sind als zufällige Konstruktionen. Das einzige mir bekannte Beispiel für eine solche Konstruktion ist das Gebiet der Fehlerkorrekturcodes. Algebraische Geometriecodes sind in einigen Parameterbereichen besser als zufällige Codes. Man kann solche künstlichen Beispiele leicht konstruieren. Ich interessiere mich …

10 reference-request big-list derandomization pr.probability

2

Was sind einige interessante Anwendungen der homotopischen Algebra in der theoretischen Informatik?

Ich bin ein Homotopietheoretiker, der sich für Informatik interessiert. Ich möchte fragen, was einige interessante Anwendungen der homotopischen Algebra (Modellkategorien, Unendlichkeitskategorien, einfache Kategorien usw.) in der theoretischen Informatik sind.

9 big-list algebraic-topology

5

Beispiele, bei denen die Größe des für eine Codierung verwendeten Alphabets (

Sei ein Alphabet, dh eine nicht leere endliche Menge. Eine Zeichenfolge ist eine endliche Folge von Elementen (Zeichen) aus . Als Beispiel ist das binäre Alphabet und ist eine Zeichenfolge für dieses Alphabet.Σ { 0 , 1 } 0110ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Solange mehr als 1 Element …

9 big-list encoding examples

Als «big-list» getaggte Fragen