Dies ist ein Beispiel in meinen Vorlesungsunterlagen. Ist diese Funktion mit zeitlicher Komplexität ? Da der schlimmste Fall ist, geht die Funktion in einen Zweig und 2 verschachtelte Schleifen mit einer zeitlichen Komplexität von und , also ist es . Habe ich recht?O ( n logn )Ö(nLogn)O(n \log...
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 Komplexitätsklasse ist definiert als# P.#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp #P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) =...
Sagen wir, wir sind gegeben nnn Sätze und die Größe ihrer Vereinigung ist mmm. Wir möchten eine kleine Menge konstruieren, die mindestens enthältkkk des nnn gegebene Sätze. Nehmen wir das an mmm ist weniger als ein Polynom in nnndh: m<P(n)m<P(n)m < P(n). In diesem Fall gibt es einen...
Ich habe zwei log-Raumfahrtprogramme bekommt und .F.FFGGG Programm wird in das Array eingegebenF.FFA [ 1 .. n ]A[1..n]A[1..n] und erstellt das Ausgabearray B [ 1 .. n ]B[1..n]B[1..n]. Programm GGG wird als Eingabe erhalten B.BB wie erstellt von F.FF und erstellen Sie daraus das Ausgabearray C.[ 1...
Ich habe Schwierigkeiten, die Definition der Klasse Max-SNP (Optimierungsvariante des strengen NP ) zu verstehen , daher muss ich folgende grundlegende Frage stellen: If a problem is known to be Max-SNP hard, does this imply NP-hardness of the problem?
Der Titel der Frage drückt aus, wonach ich suche - dies soll mir helfen, die Voraussetzungen für den Satz der nichtdeterministischen Zeithierarchie besser zu verstehen Zum Beispiel erklärt das Arora-Barak-Buch den Satz mit und - aber ich kann das auch sehen! Ich versuche also besser zu verstehen,...
Ich bin daran interessiert, die Komplexität des NAE-HORN-SAT-Problems zu kennen (nicht alle gleich). Wir wissen, dass HORNSAT istP.P\mathsf{P}-vollständig, aber auf der anderen Seite ist NAE-SAT N P.NP\mathsf{NP}-Komplett. Ich möchte wissen, was wir über das NAE-HORN-SAT-Problem sagen können....
Es ist bekannt, dass für f(n)≥lognf(n)≥lognf(n) \geq \log n, NSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)). Was, wenn
Was sagt uns ein Pseudo-Polynom-Algorithmus über das Problem, das er löst? Ich sehe nicht, wie sich die Laufzeit verbessert, wenn der Algorithmus in der Eingabelänge exponentiell und im Eingabewert polynomisch ist. Wie erklären wir diese Verschiebung vom Exponential zum
Von http://rjlipton.wordpress.com/2009/05/27/arithmetic-hierarchy-and-pnp/ , Definieren, M.[ x , c ]M[x,c]M_{[x,c]} als deterministische Turingmaschine, die an einer Eingabe wie folgt arbeitet yyy. Die Maschine behandelt als deterministisches Programm und simuliert bei Eingabe von . Gleichzeitig...
Ich denke, der halbe Kampf bei der Beantwortung dieser Frage liegt darin, sie genau zu formulieren! Eine Suchmaschine taucht nicht viel auf, deshalb habe ich mich gefragt, ob dies eine bekannte oder gut untersuchte Frage ist. Meine Gedanken: Ich denke, der einfachste Weg, diese Frage zu...
Leider ist mein Hintergrund in Bezug auf die Komplexität der Berechnungen immer noch schwach, aber ich arbeite daran. Soweit ich weiß, ist die Frage der Existenz von Einwegfunktionen auf diesem Gebiet sehr wichtig. Angenommen, es gibt Einwegfunktionen. Wie kann gezeigt werden, dass es...
Ich habe darüber nachgedacht, wie die Natur lächerliche (dh NP) Probleme mit Leichtigkeit effizient berechnen kann. Zum Beispiel benötigt ein Quantensystem einen Elementvektor, um den Zustand darzustellen, wobei nur die Anzahl der Teilchen ist. Die Natur braucht keine zusätzliche Zeit, obwohl...
Ich recherchiere über NFAs und Inklusionsprobleme mit ihnen. Ich weiß, dass im Allgemeinen die Einschlussprobleme und die Konvertierung in eine eindeutige NFA beide PSPACE-vollständig sind. Ich frage mich, gibt es Unterklassen von NFA, für die diese effizient entschieden werden können? Insbesondere...
Es ist klar, dass jede Sprache in in \ mathsf {2EXP} = \ mathsf {DTime} (2 ^ {2 ^ {\ mathsf {poly} (n) berechnet werden kann. }}) .EXPEXPEXPEXP\mathsf{EXP}^{\mathsf{EXP}}2EXP=DTime(22poly(n))2EXP=DTime(22poly(n))\mathsf{2EXP} = \mathsf{DTime}(2^{2^{\mathsf{poly}(n)}}) Meine Frage ist, ob das...
Ich habe gelesen, dass Quantencomputer "bestimmte Probleme" exponentiell besser lösen können als klassische Computer. So wie ich es zu verstehen glaube, ist es NICHT dasselbe zu sagen, dass Quantencomputer Probleme, die EXPTIME-vollständig, 2-EXPTIME ... sind, in lineare Zeit oder konstante Zeit...
Angenommen, ich habe ein Entscheidungsproblem und codiere es in eine Sprache . Jetzt kann ich es auch in eine andere Sprache kodieren .DDDL⊂{0,1}∗L⊂{0,1}∗L \subset \{0,1\}^*L′L′L' Gibt es einen Satz über die zeitliche Komplexität von und L ' ?LLLL′L′L' Wie ändert sich die zeitliche Komplexität...
Mit einer Vanille-Turing-Maschine meine ich eine Turing-Maschine mit einem Band (keine speziellen Eingabe- oder Ausgabebänder). Das Problem ist wie folgt: Das Band ist anfangs leer, abgesehen von einer Zeichenfolge von nnn 111s und 000s wird durch ein Zeichen am Ende der Zeichenfolge abgeschlossen....
Um diesen Beitrag fortzusetzen , definieren wir das monotone -SAT-Problem:(+,2−)(+,2−)(+, 2^-) Gegeben eine monotone CNF-Formel , bei der jede Variable genau einmal erscheint (als positives Literal), und eine monotone 2-CNF-Formel definiert für dieselben Variablen wie , wobei alle Variablen negiert...