Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Ramseys Theorem für Mengenauflistungen
Während ich verschiedene Techniken zum Nachweis von Untergrenzen für verteilte Algorithmen untersuchte, kam ich zu dem Schluss, dass die folgende Variante von Ramseys Theorem möglicherweise Anwendungen hat - falls dies zufällig zutrifft. Parameter: kkk , KKK , nnn werden angegeben, und dann wird NNN ausreichend groß gewählt. Terminologie: Eine mmm …
3
Klassen von Graphen mit einfachem Hamilton-Zyklus, aber NP-hartem TSP
Das Hamilton'sche Zyklusproblem (HC) besteht darin, einen Zyklus zu finden, der alle Eckpunkte in einem gegebenen ungerichteten Graphen durchläuft. Das Travelling Salesman Problem (TSP) besteht darin, einen Zyklus zu finden, der alle Eckpunkte in einem bestimmten kantengewichteten Diagramm durchläuft und die durch die Summe der Gewichte der Kanten im Zyklus …
2
Hat L eine Definition in Bezug auf Schaltkreise?
Viele mit Turing-Maschinen definierte Komplexitätsklassen haben Definitionen in Bezug auf einheitliche Schaltkreise. Beispielsweise kann P auch unter Verwendung von Schaltkreisen mit einheitlicher Polynomgröße definiert werden, und in ähnlicher Weise können BPP, NP, BQP usw. mit einheitlichen Schaltkreisen definiert werden. Gibt es also eine schaltungsbasierte Definition von L? Eine naheliegende Idee …
1
Matrixmultiplikation in
Ich suchte nach Matrixmultiplikationsalgorithmen. Also habe ich zum ersten Mal Wiki- Matrixmultiplikationsalgorithmen besucht. In Referenzen habe ich einen Artikel gefunden, in dem behauptet wird, dass der Algorithmus verwendetO ( n2l o g( n ) )Ö(n2lÖG(n))O(n^2 log(n)) wird. Ich würde den Artikel lesen, aber er ist kompliziert und Das Lesen dauert …
3
Algorithmen für statistische Abfragemodelle?
Ich habe diese Frage in übergreifenden Fragen und Antworten gestellt, aber es scheint, dass sie viel mehr mit CS zu tun hat als mit Statistik. Können Sie mir Beispiele für Algorithmen des maschinellen Lernens nennen, die aus den statistischen Eigenschaften des Datensatzes und nicht aus den einzelnen Beobachtungen selbst lernen, …
5
Prozessorausfälle bei verteilten Computern, die nicht abstürzen oder byzantinisch sind
Es gibt zwei Haupttypen von Prozessorausfällen in verteilten Computermodellen: (1) Absturzfehler: Ein Prozessor stoppt und startet nie wieder. (2) Byzantinische Ausfälle: Prozessoren verhalten sich widersprüchlich und böswillig. Meine Frage ist: Welche anderen Arten von Prozessorausfällen wurden untersucht, die sich nicht auf Abstürze oder byzantinische Ausfälle reduzieren lassen? Auch eine genauere …
2
Wenn ein Prozess einen anderen Prozess erzeugt
Mein Hintergrund liegt in der Komplexitätstheorie / -logik (wo es meistens nur einen Prozess gibt) und im verteilten Rechnen (wo es Prozesse gibt und einer oder mehrere im Laufe der Zeit ausfallen könnten). Jetzt möchte ich jedoch in der Lage sein, etwas über einen Prozess zu sagen, der einen anderen …
2
Komplexität des randomisierten Klatschens
Das Klatschproblem in verteilten Systemen ist das folgende. Wir haben einen Graphen mit n Ecken. Jeder Vertex v hat eine Nachricht m v , die an alle Knoten gesendet werden muss.GGGnnnvvvmvmvm_v Meine Frage bezieht sich nun auf das Ad - hoc - Netzwerkmodell (wir gehen davon aus, dass ein Knoten …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.