Theoretische Informatik

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

2
Wie / Warum sind lineare Systeme für die Informatik so wichtig?
Ich habe vor kurzem angefangen, mich mit mathematischer Optimierung zu beschäftigen und liebe es. Es scheint, dass viele Optimierungsprobleme leicht als lineare Programme ausgedrückt und gelöst werden können (z. B. Netzwerkflüsse, Kanten- / Scheitelpunktabdeckung, reisender Verkäufer usw.). Ich weiß, dass einige von ihnen NP-hart sind, aber der Punkt ist, dass …
2
Intuition hinter Beweissystemen
Ich versuche, das Papier über p-Optimal Proof-Systeme und Logik für PTIME zu verstehen . In der Zeitung gibt es einen Begriff namens Beweissysteme, und ich verstehe die Intuition nicht: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Wir identifizieren Probleme mit Teilmengen von in .Σ *Q.QQΣ∗Σ∗\Sigma^* Ich denke, …
1
Verbindung zwischen PCP und L = SL
Das Buch von Arora und Barak enthält in Kapitel Anmerkungen zu PCP Wir stellen fest, dass Dinurs allgemeine Strategie etwas an die Zick-Zack-Konstruktion von Expander-Graphen und den in Kapitel 20 beschriebenen deterministischen Logspace-Algorithmus von Reingold für ungerichtete Konnektivität erinnert, was darauf hindeutet, dass weitere Verbindungen zwischen diesen verschiedenen Forschungsbereichen warten. …
1
Was sind mögliche Implementierungen von Haskells Typklassen und was sind ihre (Nachteile)?
Soweit ich weiß, wird eine Haskell-Funktion mit Einschränkungen für Typklassen intern zu einer Funktion mit zusätzlichen Argumenten kompiliert, die Wörterbücher mit den erforderlichen Implementierungen für jede bestimmte Typklasse erhalten. Gibt es andere Möglichkeiten, wie Typklassen kompiliert werden? Wenn ja, was sind ihre (Nachteile)? Und welche Compiler verwenden sie?
1
Was ist die erwartete Länge des kürzesten Hamilton-Pfades auf zufällig ausgewählten Punkten aus einem planaren Gitter?
kkk verschiedene Punkte werden zufällig aus einem Gitter ausgewählt. (Offensichtlich ist und ist eine gegebene konstante Zahl.) Aus diesen Punkten wird ein vollständig gewichteter Graph erstellt, so dass das Gewicht der Kante zwischen Scheitelpunkt und Scheitelpunkt dem Manhattan-Abstand zweier Scheitelpunkte auf dem ursprünglichen Gitter entspricht .k ≤ p × q …
2
Ereignisse mit hoher Wahrscheinlichkeit ohne Koordinaten mit niedriger Wahrscheinlichkeit
XXXΣnΣn\Sigma^nΣΣ\SigmaH.( X.) ≥ ( n - δ) ⋅ log| Σ |H(X)≥(n−δ)⋅log⁡|Σ|H(X) \ge (n- \delta)\cdot\log|\Sigma|δδ\deltaE⊆Supp(X)E⊆Supp(X)E \subseteq \rm{Supp}(X)XXXPr[X∈E]≥1−εPr[X∈E]≥1−ε\Pr[X \in E] \ge 1 - \varepsilonεε\varepsilon Wir sagen, dass ein Paar eine Koordinate mit niedriger Wahrscheinlichkeit von wenn . Wir sagen, dass ein String eine Koordinate mit niedriger Wahrscheinlichkeit von wenn eine Koordinate mit …
1
Die Entropie einer verrauschten Verteilung
Angenommen, wir haben eine Funktion so dass und ist eine Verteilung, dh . ∀ x ∈ Z n 2f: Z.n2→ R.f:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}f≤x≤Z n 2 f(x)=1∀ x ∈ Z.n2f( x ) ∈ { 12n, 22n, … , 2n2n} ,∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots, \frac{2^n}{2^n} \right\},fff∑x∈Zn2f(x)=1∑x∈Z2nf(x)=1\sum_{x\in \mathbb{Z}_2^n} …
3
Übermittlung der Arbeit anderer Personen an arXiv
Dies ist eine weiche Frage, die darauf abzielt, herauszufinden, was die Leute für die professionelle Best Practice halten, um unoriginal Arbeiten an arXiv einzureichen . Es gibt einen Entwurf eines Artikels [1] von Robert Szelepcsényi in seinem Webspace an der Universität von Chicago, der offenbar vor mehr als einem Jahrzehnt …
1
Was ist der schlimmste Fall des randomisierten inkrementellen Delaunay-Triangulationsalgorithmus?
Ich weiß, dass die erwartete Worst-Case-Laufzeit des randomisierten inkrementellen Delaunay-Triangulationsalgorithmus (wie in Computational Geometry angegeben ) . Es gibt eine Übung, die impliziert, dass die Laufzeit im schlimmsten Fall . Ich habe versucht, ein Beispiel zu konstruieren, in dem dies tatsächlich der Fall ist, war aber bisher nicht erfolgreich.Ω ( …
1
Eine vereinfachte Version des Kartenspiels Winner
Ich habe dieses Problem in MathOverflow ohne zufriedenstellende Antwort gestellt. Betrachten Sie das folgende Zwei-Spieler-Spiel, das eine Vereinfachung des Kartenspiels Winner darstellt . (Die folgende Formulierung stammt aus einem Kommentar von Guillaume Brunerie zu MathOverflow.) Es gibt zwei Spieler A und B. Jeder Spieler hat einen Kartensatz (eine Teilmenge von …
1
Gibt es einen geeigneten Algorithmus zum Zeichnen eines gemischten Konstituenten- / Abhängigkeitsgraphen in einem Koordinatensystem?
Ich suche nach einem Algorithmus zum Zeichnen eines gemischten Konstituenten- / Abhängigkeitsgraphen (für eine sprachliche Anwendung). Ein solcher Graph hätte zwei verschiedene Arten von Eckpunkten (Token, Knoten) und zwei verschiedene Arten von Kanten (hierarchisch, nicht hierarchisch). Ich bin neu in der Graphentheorie und den Algorithmen im Allgemeinen und hoffe, dass …
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.