Im Bereich des verteilten Rechnens scheint das Konsensproblem eines der zentralen Themen zu sein, das intensiv erforscht wurde. Insbesondere die Arbeit "Impossibility of Distributed Consensus with One Faulty Process" wurde 2001 mit dem PODC Influential Paper Award ausgezeichnet . Warum ist das Konsensproblem so wichtig? Was können wir mit Konsens …
Eine Matrix heißt total regular, wenn alle ihre quadratischen Submatrizen den vollen Rang haben. Solche Matrizen wurden verwendet, um Superkonzentratoren zu konstruieren. Wie komplex ist es, zu entscheiden, ob eine gegebene Matrix über die Rationen hinweg völlig regelmäßig ist? Über endliche Felder? Allgemeiner gesagt , nenne eine Matrix völlig regulär, …
Die Berechnung der Cheeger-Konstante eines Graphen , auch als isoperimetrische Konstante bekannt (da es sich im Wesentlichen um ein Mindestverhältnis von Fläche zu Volumen handelt), ist bekanntermaßen NP-vollständig. Im Allgemeinen ist es angenähert. Ich bin daran interessiert zu erfahren, ob genaue Polynomalgorithmen für spezielle Klassen von Graphen bekannt sind. Ist …
Es ist schwer, den Aktienmarkt vorherzusagen! Kann TCS dieses Gefühl formeller machen? Vor kurzem habe ich angefangen, ein wenig über Finanzen nachzudenken, und mich gefragt, wie Kenntnisse über TCS helfen könnten. Hedge-Fonds und Wertpapierfirmen scheinen ständig algorithmischen Handel, maschinelles Lernen und KI zu verwenden, aber TCS-Ergebnisse scheinen gering zu sein. …
Ich interessiere mich für Modelle von Zufallsgraphen, die den Graphen realer Computernetzwerke ähnlich sind. Ich bin nicht sicher, ob das allgemein gut untersuchte -Modell ( n Eckpunkte, jede mögliche Kante wird mit der Wahrscheinlichkeit p ausgewählt ) für die Untersuchung realer Computernetzwerke geeignet ist (oder?).G(n,p)G(n,p)G(n,p)nnnppp Welche Modelle von Zufallsgraphen sind …
Gibt es eine Übersicht über Algorithmen zur Berechnung von Interpolanten? Was ist mit Beiträgen zu nur einem Algorithmus? Der Fall, an dem ich am meisten interessiert bin, ist und C = q , plus der Einschränkung, dass der Interpolant so klein wie möglich ist. (Ich kenne McMillans Artikel aus dem …
Ich würde gerne wissen, ob es Vermutungen gegeben hat, die in TCS seit langem nicht mehr bewiesen wurden und die später durch eine Implikation aus einem anderen Theorem bewiesen wurden, was möglicherweise einfacher zu beweisen war.
Das Stopp-Problem für Turing-Maschinen ist möglicherweise die kanonische, unentscheidbare Menge. Trotzdem beweisen wir, dass es einen Algorithmus gibt, der über fast alle Fälle entscheidet. Das Stopp-Problem gehört daher zu der wachsenden Sammlung von Personen, die das Phänomen der Komplexitätstheorie des „Schwarzen Lochs“ aufweisen, bei dem die Schwierigkeit eines nicht durchführbaren …
Ich würde gerne etwas über parametrisierte Komplexität lernen (sowohl auf der algorithmischen Seite als auch auf der Härteseite). Welche Bücher / Vorlesungsunterlagen kann ich zu diesem Thema lesen?
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie damit zusammenhängt, dass es nicht möglich ist, zu testen, ob …
Angenommen, ist ein Baum konstanten Grades, dessen Struktur wir nicht kennen. Das Problem besteht darin, den Baum durch Fragen des Formulars auszugeben : "Liegt der Knoten auf dem Pfad von Knoten zu Knoten ?". Angenommen, jede Abfrage kann von einem Orakel in konstanter Zeit beantwortet werden. Wir kennen den Wert …
Ich sehe in den neunziger Jahren viel Forschung über Hypercomputing , aber in den letzten Jahren scheint es wenig Arbeit zu diesem Thema zu geben. Stimmt es, dass die Forschung in diesem Bereich zum Erliegen gekommen ist? Wenn ja, woran könnte das liegen? Hat sich dieser Bereich überzeugend als wenig …
Ist die automatische Beweis- und Beweisrecherche für Theoreme in linearen und anderen aussagenbezogenen substrukturellen Logiken, denen die Kontraktion fehlt, einfacher? Wo kann ich mehr über das automatische Beweisen von Theoremen in diesen Logiken und die Rolle der Kontraktion bei der Beweissuche lesen?
XORification ist die Technik, um eine Boolesche Funktion oder Formel zu erschweren, indem jede Variable durch das XOR von k ≥ 2 verschiedenen Variablen x 1 ⊕ … ⊕ x k ersetzt wird . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Ich bin mir bewusst, dass diese Technik bei der Komplexität …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.