Sie sind eine Reihe von bestimmten gerichteten azyklischen Graphs über den gleichen Satz von m Ecken V . Sie erhalten auch eine Permutation der Menge der Eckpunkte (v_1, v_2, ..., v_m) . Was ist der beste Algorithmus, um die Graphen unter G_1, G_2, ..., G_n zu identifizieren , die (v_1, v_2, ...,...
Ich suche eine Referenz für die (klassische) einseitig randomisierte Kommunikationskomplexität der Disjunktheit, wenn das Universum groß sein kann. Angenommen, Alice und Bob haben beide Mengen der Größe mmm aus einem Universum der Größe UUU und Bob möchte feststellen, ob der Schnittpunkt ihrer...
Schreiben Sie als Parikh-Karte --ie, , wobei gibt an, wie oft in erscheint . Es ist bekannt , dass für ein CFL , ist ein semilinearer Satz (dies ist Parikh-Theorem). Einige andere interessante Dinge sind bekannt, aber ich habe nichts über die Parikh-Karte einer kontextsensitiven Sprache gefunden....
Es wird das erste Mal sein, dass ich Graphentheorie lerne. Welchen mathematischen Hintergrund brauche ich, um in den folgenden Jahren Masterarbeiten zu diesem Thema vorzubereiten? Welche Themen sollten überprüft werden, und gibt es ein Buch, das alle Themen
Ich möchte N gegebene Zahlen (kann gleich sein oder nicht) in 2 Teilmengen aufteilen, so dass die 2 Teilmengen eine möglichst nahe Summe haben und auch die Kardinalität der Mengen gleich ist (wenn n gerade ist) oder sich nur um 1 unterscheidet ( wenn n ungerade ist). Ich denke, wir können dies in...
Beim Schreiben eines Petri Net-Programms stand ich vor der Wahl der Datenstrukturen zur Darstellung des Diagramms. Adjazenzlisten (dh Listen, in denen die Bögen in und aus einzelnen Orten oder Übergängen aufgelistet sind) sind leicht zu implementieren, aber während ich die Theorie der Petrinetze...
Das folgende Problem ist kürzlich aus meiner Forschung hervorgegangen, und ich möchte fragen, ob jemand weiß, ob dieses Problem zuvor in Betracht gezogen wurde oder von irgendetwas gehört hat, das damit zusammenhängen könnte. Die allgemeine Einstellung ist die folgende. Wir erhalten F.FF , eine...
Wie kann man bei einem gerichteten azyklischen Graphen mit Knoten bestimmen, ob es einen Pfad zwischen einem der folgenden n Knotenpaare gibt ? Es gibt einen einfachen Algorithmus in (wobei m die Anzahl der Kanten ist), indem von jedem Knoten gesucht wird , aber kann es besser gemacht werden?( 1 →...
Betrachten Sie im Zusammenhang mit der Bindungsperkolation auf wobei eine positive ganze Zahl ist, das Problem der Berechnung einer -Näherung der kritischen Perkolation bei einer Gitterdimension und ein Präzisionsparameter als Eingaben. Gibt es bekannte Ergebnisse zur Komplexität eines solchen...
Die VC-Dimension ist ein Maß für die Komplexität von Funktionsklassen , die eng mit der Komplexität der Stichprobe verknüpft ist. Fat Shattering Dimension ist eine Verallgemeinerung, die für Domänen mit höherer Ordnung geeignet ist: dh . Gibt es eine Standardverallgemeinerung der VC-Dimension, die...
Ich schaue auf Seite 28 von Lovasz "Semidefinite Programme und kombinatorische Optimierung" und es gibt die folgende Annäherung an die Unabhängigkeitszahl des Graphen maxu′Zumaxu′Zu\max u' Z uZ≻0Z≻0Z\succ 0 Zij=0 ∀ij∈E(G)Zij=0 ∀ij∈E(G)Z_{ij}=0 \ \forall ij\in E(G) tr(Z)=1tr(Z)=1tr(Z)=1 Kann ich ein...
Inspiriert von dieser Frage war ich neugierig, ob es eine Reduktionsstrategie für untypisierte SKI-Kombinatoren gibt, von der bekannt ist, dass sie entweder normalisiert oder dauerhaft ist. Wie beschrieben hier (Twelfed hier ), die nondeterminstic Regeln des combinator Kalkül sind diese: ichx →...
Das folgende Lemma ist nicht schwer zu beweisen. Lemma : Sei c1≠ c2& Ne; ⋯ & ne; cr∈ [ n ]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n] und . Wenn ganze Zahlen sind (einige von ihnen können negativ sein), so dass , dann ganze Zahlen befriedigend , so dass . Hier Mittel für einige...
Die algebraische Konnektivität eines Graphen G ist der zweitkleinste Eigenwert der Laplace-Matrix von G. Dieser Eigenwert ist genau dann größer als 0, wenn G ein verbundener Graph ist. Die Größe dieses Werts gibt an, wie gut das Gesamtdiagramm verbunden ist. Zum Beispiel ändert das " Hinzufügen von...
Die Frage ist: Gibt es immer ein Polyzeit-Approximationsschema für NP-vollständige Probleme mit pseudo-polynomiellen Zeitalgorithmen (wie zum Beispiel
Was sind die besten Referenzen für das Selbststudium in DATALOG? Ich interessiere mich besonders für Ausdruckskraft, Komplexitätsergebnisse, Bewertungsmethoden, Erweiterungen von DATALOG mit Negation usw. Gibt es Bücher oder Papiere, die all dies
Ich suche nach Arbeiten an Systemen, die den Sequenzen höherer Ordnung von K. Dosen ("Sequent Systems for Modal Logic", JSL 50 ) ähnlich sind . Die einzige mir bekannte Arbeit ist die jüngste Arbeit von Iemhoff und Metcalfe ("Beweistheorie für zulässige Regeln", Annals of Pure and Applied Logic 159...
Ich verstehe strenge und sequentielle Konsistenz unabhängig voneinander ziemlich gut. Strict C erzwingt grundsätzlich die tatsächliche Reihenfolge, in der die Anweisungen auf der globalen Uhr ausgeführt wurden. Sequentielle Konsistenz erzwingt die Reihenfolge grundsätzlich nur auf einem Prozessor....
Ich schreibe einen Spielzeugmodellprüfer und bin an dem Punkt angelangt , an dem es Zeit ist, die Übersetzung von LTL in Buchi-Automaten zu implementieren. Aus verschiedenen offensichtlichen Gründen möchte ich, dass der Algorithmus einfach ist :) zB möchte ich, dass der Code so lange wie möglich...
Können Sie bitte entweder eine Referenz angeben oder bestimmte Beispiele für PSPACE-vollständige Probleme nennen, die in pseudo-polynomialer Zeit lösbar sind? Zusätzliche Hinweise: Definition der Pseudo-Polynom-Zeit: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Als Antwort auf einige zuvor...