Als «reductions» getaggte Fragen

Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...

Ich versuche, dieses Problem anhand von Algorithmen zu verstehen . von S. Dasgupta, CH Papadimitriou und UV Vazirani, Kapitel 8 , S. 281. Problem 8.19 Ein Drachen ist ein Graph auf einer geraden Anzahl von Eckpunkten, beispielsweise , in dem der Eckpunkte eine Clique bilden und die verbleibenden n...

In einem Diagramm ist eine kantendominierende Menge eine Teilmenge D der Kanten, sodass sich jede Kante im Diagramm entweder in D befindet oder einen Endpunkt mit einer Kante in D teilt. Das Problem der minimalen kantendominierenden Menge besteht darin, eine kantendominierende Menge zu finden der...

Also haben wir gerade im Unterricht etwas über Selbstreduzierbarkeit gelernt. Mein Professor und unser Lehrbuch würden sich nicht dazu verpflichten zu sagen, dass alle Probleme in NP selbstreduzierbar sind, aber es schien keine Beispiele für Probleme zu geben, die dies nicht sind. Ich habe mich...

Dies ist eine Aufgabe des Bundeswettbewerb Informatik, aber da die Frist abgelaufen ist, ist es kein Betrug, diese Frage zu stellen. Finden Sie bei einem , gerichteten Graphen und den Werten eine Teilmenge der Knoten V_ {res} \ subseteq V , die \ sum_ {v \ in V_ {res}} c_v maximiert, vorbehaltlich...

Ich interessiere mich für die Selbstreduzierbarkeit des Graph 3-Coloralibity-Problems. Definition des Graph 3-Coloralibity-Problems. Gibt es bei einem ungerichteten Graphen eine Möglichkeit, die Knoten rot, grün und blau zu färben, sodass keine benachbarten Knoten dieselbe Farbe haben?GGG...

Wir wissen, dass die polyLpolyLpolyL-Hierarchie hat keine vollständigen Probleme, da dies mit dem Satz der Raumhierarchie in Konflikt stehen würde. Aber: Gibt es für jede Ebene dieser Hierarchie vollständige Probleme? Um genau zu sein: Tut die Klasse DSPACE(log(n)k)DSPACE(log⁡(n)k)DSPACE(\log(n)^k)...

Problem: Um die des Problems "Packen von Quadraten (mit unterschiedlicher Seitenlänge) in ein Rechteck" zu beweisen , wird reduziert, wie in der folgenden Abbildung gezeigt.NP-CompletenessNP-Completeness\textsf{NP-Completeness}3-Partition3-Partition\textsf{3-Partition} In der Instanz gibt es...

Zeigen Sie, dass das Teilmengen-Summenproblem (Gegeben eine Folge von ganzen Zahlen S=i1,i2,…,inS=i1,i2,…,inS=i_1, i_2, \dots , i_n und eine ganze Zahl kkkGibt es eine Folge von SSS das summiert sich genau kkk?) ist NP-vollständig. Hinweis: Verwenden Sie das genaue Deckungsproblem. Das genaue...

So, (viele zu einer Reduktion), dass Sprache auf Sprache reduziert werden kann , wenn es existiert eine Turing-berechenbare Funktion so und .A⩽mBA⩽mB A\leqslant_mB AAABBBffff(A)⊆Bf(A)⊆B f(A) \subseteq Bf(A¯¯¯¯)⊆B¯¯¯¯f(A¯)⊆B¯ f(\overline{A}) \subseteq \overline{B} A⩽TBA⩽TB A\leqslant_TB...

Ich definiere einen langen CNF , der mindestens enthält2n22n22^\frac{n}{2}Klauseln, wobei die Anzahl seiner Variablen ist. Es sei eine erfüllbare lange CNF-Formel .nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}}\} Ich würde gerne wissen , warum . Zuerst dachte ich, es sei da ich...

Die Frage ist, ob die folgende Aussage richtig oder falsch ist: EIN≤T.B.⟹EIN≤mB.EIN≤T.B.⟹EIN≤mB.A \leq_T B \implies A \leq_m B Ich weiß, dass es bei ein Orakel gibt, das A relativ zu B entscheiden kann. Ich weiß, dass dies nicht ausreicht, um zu sagen, dass es eine berechenbare Funktion von A nach...

Da sich meine Frage direkt auf einen Teil des Textes aus einem Buch aus dem Jahr 2004 bezieht, Logik in der Informatik: Modellierung und Argumentation über Systeme (2. Auflage) von Michael Huth und Mark Ryan , um den Kontext für die folgende Diskussion bereitzustellen, bin ich teilweise das Buch...

Kann gezeigt werden, dass die minimale Scheitelpunktabdeckung in einem zweigeteilten Diagramm auf ein maximales Flussproblem reduziert werden kann? Oder zum Minimum-Cut-Problem (dann folgen Sie dem Max-Flow-Min-Cut-Theorem, der Anspruch gilt). Intuitiv: Wählen Sie für jeden Fluss einen Endpunkt...

Ich habe eine allgemeine Frage zu Mapping-Reduzierungen. Ich habe mehrere Beispiele für das Reduzieren von Funktionen auf gesehenATMATMA_{TM} wo ATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle...

Ich war etwas verwirrt mit der Richtung der Reduzierungen, die verwendet wurden, um zu zeigen, dass bestimmte Sprachen nicht rekursiv sind. wir zum Beispiel an, wir möchten feststellen, ob das ( ) unentscheidbar ist. Ich weiß, wir können davon ausgehen, dass es entscheidbar ist, und dann versuchen,...

Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...

Ich frage mich , ob es ein einfaches Beispiel von Sätzen ist und , so dass ist Turing-reductible zu , aber nicht viele-zu-eins reductible zu