Sei ein ungerichteter Graph. Eine Zerlegung von V in disjunkte Teilmengen V i wird als Hamilton-Zerlegung von G bezeichnet, wenn der durch jede Menge V i induzierte Teilgraph entweder ein Hamilton-Graph ist oder aus einer einzelnen Kante mit | besteht V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Beispiel : Der vollständige …
Set ist gegeben. Für jedes Element haben wir das Gewicht und kosten . Das Ziel besteht darin, die Teilmenge der Größe , die die folgende Zielfunktion maximiert: .S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\}eieie_iwi>0wi>0w_i>0ci>0ci>0c_i>0MMMkkk∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin M} c_i} Ist das Problem NP-schwer? Da die Zielfunktion seltsam erscheint, ist es hilfreich, eine …
Eine Sprache gehört zur Klasse wenn es zwei Sprachen und so dassLLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Ein kanonisches vollständiges Problem ist SAT-UNSAT: Ist es bei zwei 3-CNF-Ausdrücken, und , wahr, dass erfüllbar ist und nicht?DPDPDPFFFGGGFFFGGG Es ist auch bekannt, dass das kritische SAT-Problem vollständig ist: Ist …
Hiroimono ist ein beliebtes vollständiges Puzzle. Ich interessiere mich für die rechnerische Komplexität eines verwandten Puzzles.N.P.NPNP Das Problem ist: Eingabe : Gegeben eine Menge von Punkten auf einem x n quadratischen Gitter und einer ganzen Zahl knnnnnnkkk Frage : Gibt es ein geradliniges Polygon (dessen Seiten parallel zur oder y- …
Angenommen, P.≠ N.P.P≠NPP \neq NP Verwenden Sie die folgende Notation für tetration (dh.icheinia{}^ia ).icha = aein⋅⋅⋅einich malia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | ist die Größe der Instanz x. Sei L eine Sprache, L|f(i)≤|x|<g(i):={x∈L | ∃i∈N, f(i)≤|x|<g(i)}L|f(i)≤|x|<g(i):={x∈L | ∃i∈N, f(i)≤|x|<g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L …
Beispiele für begrenzte -vollständige Varianten unentscheidbarer Mengen:NPNPNP Problem mit begrenztem Anhalten = { | NTM-Maschine M hält an und akzeptiert x innerhalb von t Schritten}(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Begrenzte Kacheln = { | Es gibt eine Kachelung eines Quadrats der Fläche t 2 durch Kacheln aus T }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Problem der …
Ein Sternsystem ist eine Familie von n Teilmengen von n-Elementen eingestellt . Ein Sternensystem ist grafisch, wenn es einen Graphen so dass die Familie der Scheitelpunktnachbarschaften in . Es ist vollständig zu entscheiden, ob ein bestimmtes Sternensystem grafisch ist.FFFSSSG(V,E)G(V,E)G(V,E)FFFGGGNPNPNP Was ist das minimale Auftreten jedes Elements, so dass das Problem …
Problemstellung : Sei ein (möglicherweise nicht deterministischer) Pushdown-Automat und sei sein Eingabealphabet. Gibt es ein Wort st , das von akzeptiert wird ?M.M.MEINEIN\cal Aw ∈ A.∗w∈EIN∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kM.M.M Ist dieses Problem NP-vollständig? Wurde es untersucht? Gibt es einen Algorithmus, mit dem ein solches Wort …
Was sind die bekanntesten asymptotischen Obergrenzen für die Größe probabilistisch überprüfbarer Beweise? Idealerweise suche ich nach einer zeitgemäßen Umfrage zu dieser umfassenden Frage, aber wenn es keine gibt, bin ich besonders an der Unannäherbarkeit von 3-SAT interessiert. Sei 7/8 + ε-3-SAT 3-SAT mit dem Versprechen, dass die Instanz erfüllbar ist, …
Es gibt ein schönes Papier aus dem Jahr 1991, das drei Diagramme über verschiedene Graphklassenfamilien enthält, die zeigen, was über die Härte der Bestimmung des chromatischen Index für sie bekannt ist. Gibt es seitdem Neuigkeiten dazu? Ich interessiere mich am meisten für das, was über Graphen mit einer begrenzten chromatischen …
Bei einem fest gerichteten Graphen (Digraphen) fragt DDDdas DDD COLORING-Entscheidungsproblem, ob ein Eingangsdigraph GGG einen Homomorphismus zu DDD . (Ein Homomorphismus von GGG zu DDD ist eine Abbildung fff von V(G)V(G)V(G) auf V(D)V.(D.)V(D) , die die Bögen bewahrt, dh wenn uvuvuv ein Bogen von GGG , dann ist f(u)f(v)f(u)f(v)f(u)f(v) ein …
Das Standardproblem 1-in-3-SAT (oder XSAT oder X3SAT) lautet: Instanz : Eine CNF-Formel, bei der jede Klausel genau 3 Literale enthält. Frage : Gibt es eine zufriedenstellende Zuweisungseinstellung, bei der genau 1 Literal pro Klausel wahr ist? Das Problem ist NP-vollständig und bleibt schwierig, auch wenn keine Variable negiert auftritt. Ich …
Ich frage mich, ob das folgende Problem NP-schwer ist. Eingabe: ein einfacher Graph und eine Färbung der Kanten ( überprüft keine bestimmte Eigenschaft).G=(V,E)G=(V,E)G = (V,E)f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\}fff Frage: Ist es möglich, in Dreiecke zu unterteilen, sodass jedes Dreieck eine Kante jeder Farbe hat?| E | / 3EEE|E|/3|E|/3|E|/3 Ich …
Ich interessiere mich für eine Variante der maximalen Gewichtsanpassung in einem Diagramm, die ich "Maximum Fair Matching" nenne. Es sei angenommen , dass der Graph voll ist (dh ), hat gerade Anzahl von Eckpunkten, und daß das Gewicht durch eine Gewinnfunktion gegeben ist p: {V \ wählen 2} \ to …
Angenommen, ich habe Mengen mit Elementen aus r möglichen. Jeder Satz hat die Größe n ( n < r ), wobei sich die Sätze überlappen können. Ich möchte feststellen, ob die folgenden zwei Probleme NP-vollständig sind oder nicht:PPPrrrnnnn<rn<rn<r Problem A. Gibt es ( 1 ≤ M ≤ P ) verschiedene …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.