Als «complexity-theory» getaggte Fragen

Fragen zur (rechnerischen) Komplexität der Problemlösung

2
Reduzieren der minimalen Scheitelpunktabdeckung in einem zweigeteilten Diagramm auf maximalen Fluss
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 aus, dann ist dies eine minimale Scheitelpunktabdeckung im zweigeteilten Diagramm. Aber kann es …
1
Der Nachweis von NP ist eine Teilmenge der Vereinigung von exponentiellem DTIME
Ich muss beweisen, dass eine Teilmenge der Vereinigung von für alle .NPNP\mathsf{NP}DTIME(2nc)DTIME(2nc)\mathsf{DTIME}(2^{n^c})c>1c>1c > 1 Sei ein Sprach- / Entscheidungsproblem in . Dann kann mit einer Turingmaschine anhand eines Polynomgrößenzertifikats in Polynomzeit entschieden werden . Dann zählen wir alle möglichen Zertifikate mit Polynomgröße auf. Es gibt mögliche Zertifikate für ein Zertifikat …
1
Wie beweisen Sie, dass SAT NP-vollständig ist?
Wie beweisen Sie, dass SAT NP-vollständig ist? Ich weiß, was es mit NP-vollständig bedeutet, daher brauche ich keine Erklärung dafür. Was ich wissen möchte, ist, woher wissen Sie, dass ein Problem wie SAT NP-vollständig ist, ohne auf andere Probleme wie das Hamilton-Problem oder was auch immer zurückzugreifen.
2
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm
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 …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
2
Komplexität von Sonderfallproblemen
Oft sehe ich einen solchen Satz, wenn ich Texte über Computational Complexity lese: "Für diesen Sonderfall von " oderTSPTSP\text{TSP} "Dies ist ein Sonderfall von " oderSATSAT\text{SAT} " - ist der folgende Sonderfall von " oderkkkPARTITIONPARTITION\text{PARTITION}BIN PACKINGBIN PACKING\text{BIN PACKING} " ist ein Sonderfall von " ad nauseam.SUBSET SUMSUBSET SUM\text{SUBSET SUM}KNAPSACKKNAPSACK\text{KNAPSACK} Was …
3
Teilmengenanforderungen
Betrachten Sie das folgende Problem. Wenn eine Menge von ganzen Zahlen gegeben ist, entscheiden eine Funktion und , ob es so dass .S.SSf: Z → Z.f:Z→Zf : \mathbb{Z} \to \mathbb{Z}k ∈ Z.k∈Zk \in \mathbb{Z}X.⊆ S.X⊆SX \subseteq Sf(∑x ∈ X.x ) = kf(∑x∈Xx)=kf\left(\sum_{x\in X}x\right)=k Wird dies immer noch als Teilmengenproblem betrachtet …
2
Wenn warum ist dann die Multiplikation schwieriger als die Addition?
Jemand sagte mir, dass die Funktion eingeführt wurde, um die Berechnung zu vereinfachen. Wenn wir berechnen müssen , können wir stattdessen berechnen , da . Wie kann dies die Berechnung erleichtern? Vielleicht aus mathematischer Sicht, aber was ist mit der Sicht eines Informatikers?loglog\logxyxyxylogx+logylog⁡x+log⁡y\log x+\log ylogxy=logx+logylog⁡xy=log⁡x+log⁡y\log xy=\log x+\log y Wenn es …
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.