Theoretische Informatik

2

Differenzlisten in der funktionalen Programmierung

Die Frage Was ist neu in rein funktionalen Datenstrukturen seit Okasaki? und die epische Antwort von jbapple, die anhand von Differenzlisten in der funktionalen Programmierung (im Gegensatz zur logischen Programmierung) erwähnt wurde, woran ich mich in letzter Zeit interessiert habe. Dies führte mich dazu, die Implementierung der Differenzliste für Haskell …

13 reference-request ds.data-structures pl.programming-languages functional-programming logic-programming

1

Referenzanforderung: Submodulare Minimierung und monotone Boolesche Funktionen

Hintergrund: Beim maschinellen Lernen arbeiten wir häufig mit grafischen Modellen , um Funktionen mit hoher dimensionaler Wahrscheinlichkeitsdichte darzustellen. Wenn wir die Einschränkung, dass eine Dichte zu 1 integriert (summiert), verwerfen, erhalten wir eine nicht normalisierte graphstrukturierte Energiefunktion . Angenommen, wir haben eine solche Energiefunktion , die in einem Graphen . …

13 reference-request machine-learning lg.learning boolean-functions

1

Ist die Größe der Zeugenmitgliedschaft für jede NP-Sprache bereits bekannt?

Die Frage kam mir, als ich von Dana Moshkovitz eine Antwort auf ein anderes Thema erhielt . Sei eine NP- Sprache und sei die jeweilige NP- Beziehung. Wir wissen, dass es ein Polynom so dass:LLLRLRLR_Lppp ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) \in R_L Die obige …

13 cc.complexity-theory np

2

Mehrparteien-Kommunikationskomplexität von „Partitionsproblem festlegen“

In einer Anwendung, die ich in Betracht ziehe, muss ich die Kommunikationskomplexität des folgenden Problems kennen: Bei sei S die Menge von ganzen Zahlen von 1 bis n . Alice, Bob und Carol erhalten jeweils eine Teilmenge von S , die mit A , B bzw. C bezeichnet ist. Sie …

13 cc.complexity-theory communication-complexity

2

Einfacher Nachweis von Ω (n lg n) im ungünstigsten Fall für die Eindeutigkeit / Unterscheidbarkeit?

Es gibt mehrere Beweise für die loglineare Untergrenze für das Problem der Eindeutigkeit / Unterscheidbarkeit von Elementen (basierend auf algebraischen Berechnungsbäumen oder widersprüchlichen Argumenten), aber ich suche einen, der einfach genug ist, um in einem ersten Kurs in Algorithmenanalyse und -design verwendet zu werden. Der gleiche „Schwierigkeitsgrad“ wie die untere …

13 cc.complexity-theory lower-bounds proofs

1

Ist "Ist eine Permutation p ein Automorphismus eines Graphen in meiner Menge?" NP-complete?

Angenommen, wir haben eine Menge S von Graphen (endliche Graphen, aber eine unendliche Anzahl von Graphen) und eine Gruppe P von Permutationen, die auf S einwirken. Instanz: Eine Permutation p in P. Frage: Gibt es in S einen Graphen g, der den Automorphismus p zulässt? Ist dieses Problem NP-vollständig für …

13 cc.complexity-theory graph-theory np-hardness automorphism

2

Zähllösungen von Monotone-2CNF-Formeln

Eine Monotone-2CNF-Formel ist eine CNF- Formel, bei der jeder Satz aus genau 2 positiven Literalen besteht. Jetzt habe ich eine Monotone-2CNF Formel . Sei die Menge von befriedigenden Zuordnungen. Ich habe auch ein Orakel , das folgende Informationen liefern kann:FFFSSSFFFOOO Die Kardinalität der Menge (dh die Anzahl der Lösungen von …

13 cc.complexity-theory ds.algorithms sat counting-complexity

2

Testen, ob eine Menge von n Punkten in der Ebene in o (nlogn) Zeit ein konvexes n Polygon bildet

Angenommen, Sie erhalten eine Menge von n Punkten in der Ebene und möchten prüfen, ob sie ein konvexes n-Polygon bilden, dh ob sie alle auf der konvexen Hülle liegen. Ich habe mich gefragt, ob irgendjemand weiß, wie man das in o (nlogn) Zeit macht, dh ohne den CH zu berechnen.

13 cg.comp-geom

4

Referenz für den Hauptsatz über Baumrotationen

Von zwei binären Suchbäumen wird gesagt, dass sie linear äquivalent sind, wenn sie in ihren Durchquerungen in der richtigen Reihenfolge übereinstimmen. Der folgende Satz erklärt, warum Baumrotationen so grundlegend sind: A und B seien binäre Suchbäume. Dann sind A und B genau dann linear äquivalent, wenn sie durch eine Folge …

13 reference-request ds.data-structures

3

Parallele Algorithmen für gerichtete St-Konnektivität

Chong, Han und Lam zeigten, dass mit O ( m + n ) -Prozessoren ungerichtete st-Konnektivität auf dem EREW-PRAM in -Zeit gelöst werden kann . Was ist der bekannteste parallele Algorithmus für gerichtete st-Konnektivität ? Bitte geben Sie die Laufzeit, den deterministischen / randomisierten Algorithmus und das verwendete PRAM-Modell an …

13 dc.parallel-comp

1

Was ist die korrekte Definition von

Wie der Titel sagt, was ist die korrekte Definition von Baum? Es gibt mehrere Artikel, die sich mit k- Bäumen und partiellen k- Bäumen als alternative Definitionen für Diagramme mit begrenzter Baumbreite befassen, und ich habe viele scheinbar inkorrekte Definitionen gesehen. Zum Beispiel definiert mindestens eine Stelle k- Bäume wie …

13 graph-theory treewidth

2

Erschöpfender Simulator von Zero-Knowledge-Protokollen im Random Oracle-Modell

In einem Artikel mit dem Titel "On Deniability in the Common Reference String und Random Oracle Model" schreibt Rafael Pass: Wir stellen fest, dass der Simulator beim Nachweis der Sicherheit gemäß der standardmäßigen Zero-Knowledge-Definition im RO-Modell (Random Oracle) zwei Vorteile gegenüber einem einfachen Modellsimulator aufweist, nämlich Der Simulator kann sehen, …

13 cc.complexity-theory cr.crypto-security oracles black-box

2

Einmalige Quantenschlagzeiten

In der Arbeit Quantum Random Walks Hit Exponential Faster ( arXiv: quant-ph / 0205083 ) gibt Kempe eine Vorstellung von der Schlagzeit für Quantum Walks (im Hypercube), die in der Literatur zu Quantum Walks nicht sehr populär ist. Es ist wie folgt definiert: One-Shot Quantum Hitting Time: Ein zeitdiskreter Quantum …

13 quantum-computing random-walks markov-chains quantum-walk

1

Schnelles, dünnflüssiges Boolesches Matrixkettenprodukt

Ich habe also ungefähr 100-200 sehr spärliche quadratische boolesche Matrizen mit einer Seitenlänge von mehreren Dutzend, und ich muss ihr Produkt berechnen. Ich weiß, dass, wenn ich sie seriell multipliziere, das Produkt normalerweise bei jedem Schritt so dünn bleibt. Gibt es in diesem Fall Algorithmen für Matrixkettenprodukte, die besonders schnell …

13 ds.algorithms automata-theory matrix-product sparse-matrix

3

Chernoffsche Ungleichung für paarweise unabhängige Zufallsvariablen

Chernoff-Ungleichungen werden verwendet, um zu zeigen, dass die Wahrscheinlichkeit, dass eine Summe unabhängiger Zufallsvariablen signifikant von ihrem erwarteten Wert abweicht, im erwarteten Wert und in der Abweichung exponentiell klein ist. Gibt es eine Ungleichung vom Chernoff-Typ für eine Summe von paarweise unabhängigen Zufallsvariablen? Mit anderen Worten, gibt es ein Ergebnis, …

13 derandomization pr.probability chernoff-bound