Sei ein einfacher ungerichteter Graph auf n Eckpunkten und m Kanten.G = ( V., E.)G=(V,E)G=(V,E)nnnmmm Ich versuche, die erwartete Laufzeit von Wilsons Algorithmus zum Erzeugen eines zufälligen Spannbaums von zu bestimmen . Dort wird gezeigt, dass es O ( τ ) ist , wobei τ die mittlere Schlagzeit ist...
Der folgende Begriff (unter Verwendung von Bruijn-Indizes): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Wenn es auf eine Kirchennummer angewendet wird, wird es Nin mehreren vorhandenen Bewertern, einschließlich naiver, schnell...
Gibt es bekannte natürliche Beispiele für Optimierungsprobleme, für die es viel einfacher ist, eine optimale Lösung zu erstellen, als die Qualität einer bestimmten Kandidatenlösung zu bewerten? Der Vollständigkeit halber können wir polynomzeitlösbare Optimierungsprobleme der Form betrachten:...
Berman-Hartmanis-Vermutung: Alle NP-vollständigen Sprachen sehen gleich aus, in dem Sinne, dass sie durch polynomielle Zeitisomorphismen miteinander in Beziehung gesetzt werden können [1]. Ich interessiere mich für eine feinkörnigere Version der "Polynomzeit", wenn wir parametrisierte Reduktionen...
Ich bin daran interessiert, Clique auf SAT zu reduzieren , ohne die Instanz viel größer zu machen.kkk Die Clique befindet sich in NP, sodass sie mithilfe des logarithmischen Raums auf SAT reduziert werden kann. Durch die einfache Reduzierung des Garey / Johnson-Lehrbuchs wird die Instanz auf...
Sei ein symmetrisches Polynom , dh ein Polynom, so dass für alle und alle Permutationen . Der Einfachheit halber können wir annehmen, dass ein endliches Feld ist, um zu vermeiden, dass Probleme mit dem Berechnungsmodell behoben werden.f:Kn→Kf:Kn→Kf:\mathbb{K}^n \to
Das parametrisierte Problem mit k-FLIP SAT ist wie folgt definiert: Input: eine 3-CNF Formel mit n Variablen und einer Wahrheits Zuordnung σ : [ n ] → { 0 , 1 } Parameter: k Frage: kann man die Zuordnung Transformation σ in eine satifying Zuordnung σ ' für φ Flipping den Wahrheitswert höchstens k...
Es gibt mehrere interessante Klassen von Graphen mit begrenzter Baumbreite. Zum Beispiel Bäume (Baumbreite 1), Serienparallelgraphen (Baumbreite 2), äußere planare Graphen (Baumbreite 2), äußere planare Graphen (Baumbreite O (k)), Graphen der Verzweigungsbreite k (Baumbreite O (k)), .. .kkkkkk...
Wo finde ich eine Einführung in probabilistische Automaten und was erkennen sie (bestimmte Funktionen von Wörtern bis )? Gibt es einen Standardbegriff für solche Funktionen, die von probabilistischen Automaten erkannt werden, analog zu "regulären Sprachen", für die deterministische endliche...
Die konstruktive Typentheorie mit ihrer Grundinterpretation unter der Curry-Howard-Korrespondenz besteht nur aus insgesamt berechenbaren Funktionen. In der Literatur wurde über die Verwendung der "Computertypentheorie" zur Darstellung der Nichtbeendigung in funktionalen Programmen gesprochen, doch...
Die umgekehrte Einbeziehung ist offensichtlich, ebenso wie die Tatsache, dass jede selbstreduzierbare NP-Sprache in BPP auch in RP enthalten ist. Ist dies auch für nicht selbstreduzierbare NP-Sprachen
Bei einem zweigeteilten Graphen mit positiven Gewichten sei f : 2 U → R mit f ( S ) gleich der maximalen Gewichtsanpassung im Graphen G [ S ∪ V ] .G = ( U.∪ V., E.)G=(U∪V,E)G = (U \cup V, E)f: 2U.→ R.f:2U→Rf: 2^U \rightarrow \mathbb{R}f( S.)f(S)f(S)G [ S.∪ V.]]G[S∪V]G[S\cup V] Stimmt es, dass eine...
Eines der wenigen Dinge, die ich an Okasakis Buch über rein funktionale Datenstrukturen nicht mag, ist, dass sein Code mit einem erschöpfenden Mustervergleich übersät ist. Als Beispiel gebe ich seine Implementierung von Echtzeitwarteschlangen an (überarbeitet, um unnötige Suspensionen zu...
Dies ist von dieser Frage inspiriert . Sei die Sammlung aller Kombinatoren, die nur zwei gebundene Variablen haben. Ist C kombinatorisch vollständig?CC\mathcal{C}CC\mathcal{C} Ich glaube, die Antwort ist negativ, aber ich konnte keine Referenz dafür finden. Ich würde mich auch für Referenzen zum...
Lassen Sie eine probabilistische Turing-Maschine Zugriff auf eine unfaire Münze haben, die mit der Wahrscheinlichkeit auftaucht (Flips sind unabhängig). Definieren Sie B P P p als die Klasse von Sprachen, die von einer solchen Maschine in Polynomzeit erkannt werden. Es ist eine Standardübung, um...
Angenommen, ich habe eine boolesche Schaltung , die eine Funktion berechnet . Angenommen, die Schaltung besteht aus UND-, ODER- und NICHT-Gattern mit höchstens Fan-In und Fan-Out 2.f : { 0 , 1 } n → { 0 , 1 }C.C.Cf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}}f:\{0,1\}^n \to \{0,1\} Sei eine gegebene...
Motivation Neulich war ich mit öffentlichen Verkehrsmitteln in der Stadt unterwegs und habe mir ein interessantes Grafikproblem ausgedacht, das das Problem modelliert, die kürzeste Verbindung zwischen zwei Orten zu finden. Wir alle kennen das klassische "Problem des kürzesten Weges": Gegeben ist...
Ich konnte in der Literatur keine genaue Charakterisierung des Verschwindens der SDP-Dualitätslücke finden. Oder wann gilt "starke Dualität"? Wenn man zum Beispiel zwischen dem Lasserre und dem SOS SDP hin und her geht, hat man im Prinzip eine Dualitätslücke. Irgendwie scheint es jedoch einen...
Sei ein Polynom über einem festen endlichen Feld. Angenommen, wir erhalten den Wert von P für einen Vektor y ∈ { 0 , 1 } n und den Vektor y .P(x1,x2,…,xn)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n)PPPy∈{0,1}ny∈{0,1}ny \in \{0,1\}^nyyy Wir wollen nun den Wert von auf einem Vektor y ' ∈ { 0 , 1 } n so...
KURZE FRAGE: Ist MAJ-3CNF ein PP-vollständiges Problem bei vielen Reduzierungen? LÄNGERE VERSION: Es ist bekannt, dass MAJSAT (Entscheidung, ob die Mehrheit der Zuweisungen des Satzsatzes dem Satz entspricht) unter vielen Reduzierungen PP-vollständig und #SAT unter sparsamen Reduzierungen #...