Theoretische Informatik

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

2
Dezentraler Algorithmus zur Ermittlung einflussreicher Knoten in sozialen Netzwerken
In dieser Arbeit von Kempe-Kleinberg-Tardos schlagen die Autoren einen gierigen Algorithmus vor, der auf submodularen Funktionen basiert, um die einflussreichsten Knoten in einem Graphen mit Anwendungen auf soziale Netzwerke zu bestimmen .kkk Grundsätzlich geht der Algorithmus wie folgt vor: S= e m p t y s e t S=empty setS …
1
Entscheiden Sie anhand eines Graphen, ob die Kantenverbindungsfähigkeit mindestens n / 2 beträgt oder nicht
Kapitel 1 des Buches The Probabilistic Method von Alon und Spencer erwähnt das folgende Problem: Entscheide in einem gegebenen Graphen , ob seine Randkonnektivität mindestens beträgt oder nicht.GGGn / 2n/2n/2 Der Autor erwähnt die Existenz eines -Algorithmus von Matula und verbessert ihn zu .O ( n3)Ö(n3)O(n^3)O ( n8 / 3Logn …
3
Erfolgreiche Anwendung von Branch-and-Bound-Methoden für NP-harte Probleme
Branch-and-Bound ist eine effektive Heuristik für Suchprobleme, und Wikipedia listet eine Reihe schwerwiegender Probleme auf, bei denen Branch-and-Bound verwendet wurde. Es ist mir jedoch nicht gelungen, Referenzen zu finden, die darauf hindeuten, dass dies mehr als nur eine Methode zur Lösung dieser Probleme ist. Anekdotisch habe ich gehört, dass einige …
1
Parität L gegen NL
Parity-L, auch bekannt als L, ist die Menge von Sprachen, die von einer nicht deterministischen Turing-Maschine erkannt werden, die nur zwischen einer geraden Anzahl oder einer ungeraden Anzahl von "Akzeptanz" -Pfaden unterscheiden kann. Eine kürzlich gestellte verwandte Frage wurde von Niel de Beaudrap gestellt.⊕⊕\oplus Meine Frage lautet wie folgt: Haben …
1
Zählt man maximale Cliquen in einem Inkompatibilitätsdiagramm # P-complete?
Diese Frage wird durch eine MathOverflow-Frage von Peng Zhang motiviert . Valiant hat gezeigt, dass das Zählen maximaler Cliquen in einem allgemeinen Graphen # P-vollständig ist, aber was ist, wenn wir uns auf Unvergleichbarkeitsgraphen beschränken (dh, wir möchten maximale Antichains in einem endlichen Poset zählen)? Diese Frage scheint natürlich genug …
3
Implementierter Code zur Berechnung der Pfadbreite (= Knotensuchnummer, Scheitelpunkttrennungsnummer, Intervalldicke)
Ich suche nach einer Implementierung eines Algorithmus zur Berechnung der Pfadbreite eines Graphen. Es ist bekannt, dass das Berechnen der Pfadbreite dem Berechnen der Knotensuchnummer, der Scheitelpunkttrennungsnummer oder der Intervalldicke des Graphen äquivalent ist. Der Algorithmus muss nicht sehr schnell sein; Ich möchte es auf Graphen von höchstens 20 Eckpunkten …
5
Warum eliminiert die Huffman-Codierung die Entropie, die Lempel-Ziv nicht hat?
Der beliebte DEFLATE-Algorithmus verwendet Huffman-Codierung über Lempel-Ziv. Wenn wir eine zufällige Datenquelle haben (= 1-Bit-Entropie / Bit), ist es im Allgemeinen wahrscheinlich , dass keine Codierung, einschließlich Huffman, diese im Durchschnitt komprimiert. Wenn Lempel-Ziv "perfekt" wäre (was sich für die meisten Klassen von Quellen annähert, da die Länge unendlich ist), …
2
Was sind die Gleichungsgesetze für Nulltypen?
Haftungsausschluss : Während ich mich für Typentheorie interessiere, betrachte ich mich selbst nicht als Experten für Typentheorie. Im einfach getippten Lambda-Kalkül hat der Null-Typ keine Konstruktoren und einen eindeutigen Eliminator: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} Aus denotational Sicht der Gleichung initial(M1)=initial(M2)initial(M1)=initial(M2)initial (M_1) = initial(M_2) ist …
1
Referenzanforderung: Zahlentheorie-freier Nachweis, dass maximale Stabilisatorgruppen eindeutige Zustände bestimmen
Kontext. Ich schreibe zu Themen wie dem Gottesman-Knill-Theorem unter Verwendung von Pauli-Stabilisatorgruppen, aber im Fall von d- dimensionalen Qudits - wobei d mehr als einen Primfaktor haben kann. (Ich betone dies, weil die überwiegende Mehrheit der Literatur über Stabilisatorformalismus in "höheren Dimensionen" die Fälle von d prime oder d a …
3
Das Dracula-Spiel
Hintergrund Diese Frage wird durch ein Brettspiel namens "Dracula" motiviert. In diesem Spiel gibt es einen Vampir und vier Jäger. Der Zweck der Jäger ist es, den Vampir zu fangen. Das Spiel findet in Europa statt. Das Spiel sieht folgendermaßen aus: 1. Der Jägerspieler setzt alle Jäger in Städte. In …
2
Übersicht über Transformationen im Zusammenhang mit der Verwendung von SAT-Lösern
Ich beginne, die Möglichkeit zu untersuchen, mich auf einen SAT-Löser zu verlassen, um ein Optimierungsproblem zu lösen, an dem ich interessiert bin, und suche derzeit nach einer Umfrage, die Beispiele für "clevere" Transformationen in Varianten von SAT (dh Transformationen, die resultieren) enthält in einem Problem von vernünftiger Größe, da ich …
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.