Als «complexity-theory» getaggte Fragen

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

2
Bieten Funktionen höherer Ordnung der funktionalen Programmierung mehr Leistung?
Ich habe eine ähnliche Frage zu cstheory.SE gestellt . Laut dieser Antwort auf Stackoverflow gibt es einen Algorithmus, der auf einer nicht faulen reinen funktionalen Programmiersprache eine -Komplexität aufweist, während derselbe Algorithmus in der imperativen Programmierung . Das Hinzufügen von Faulheit zur FP-Sprache würde den Algorithmus zu .Ω ( n …
1
Eingeschränkte Version des Clique-Problems?
Betrachten Sie die folgende Version des Clique-Problems, bei der die Eingabe die Größe nnn und wir aufgefordert werden, eine Clique der Größe kkk . Die Einschränkung besteht darin, dass die Entscheidungsprozedur den Eingabegraphen nicht in eine andere Darstellung ändern und keine andere Darstellung verwenden kann, um seine Antwort zu berechnen, …
2
Der DOUBLE-SAT-Nachweis ist NP-vollständig
Das bekannte SAT-Problem wird hier als Referenz definiert . Das DOUBLE-SAT-Problem ist definiert als DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Wie beweisen wir, dass es NP-vollständig ist? Es wird mehr als …
3
Gibt es eine abstrakte Maschine, die den Stromverbrauch erfassen kann?
Wenn die algorithmische Komplexität eines Algorithmus angegeben wird, wird angenommen, dass die zugrunde liegenden Berechnungen auf einem abstrakten Computer (z. B. RAM) ausgeführt werden, der sich einer modernen CPU nähert. Mit solchen Modellen können wir die zeitliche und räumliche Komplexität von Algorithmen angeben. Angesichts der Verbreitung von GPGPUs fragt man …
2
MIN-2-XOR-SAT und MAX-2-XOR-SAT: Sind sie NP-hart?
Was ist die Komplexität von MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} und MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Sind sie in P? Sind sie NP-hart? Um dies genauer zu formalisieren, lassen Sie Φ ( x ) = ∧nichC.ich,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, wobei x =( x1, … , X.m)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m) und jede Klausel C.ichCiC_i von der Form ( xich⊕ xj)(xi⊕xj)(x_i \oplus …
2
Kann jedes NP-Complete-Problem mit höchstens polynomialem Raum gelöst werden (aber mit exponentieller Zeit?)
Ich habe etwas über NPC und seine Beziehung zu PSPACE gelesen und möchte wissen, ob NPC-Probleme mit einem Algorithmus deterministisch gelöst werden können, der den ungünstigsten polynomiellen Platz benötigt, aber möglicherweise exponentielle Zeit benötigt (2 ^ P (n), wobei P polynomiell ist). Kann man es auch allgemein auf EXPTIME verallgemeinern? …
2
Probleme, die sich exponentiell anfühlen, aber P sind
Ich versuche, eine Liste von Algorithmen / Problemen zu erstellen, die "außergewöhnlich nützlich" sind, wie zum Beispiel das Lösen von Problemen, die von Natur aus sehr exponentiell erscheinen, aber einige besonders clevere Algorithmen haben, die sie letztendlich lösen. Beispiele für das, was ich meine: Lineare Programmierung (Der Simplex-Algorithmus ist eine …
1
Ist es für Rupert einfacher, eine Tüte mit Geschenken zu packen als für den Weihnachtsmann?
Oder: Brauchen wir Rupert, um überhaupt Geschenke zu bekommen? Abgesehen von Routing-Problemen steht der Weihnachtsmann vor dem folgenden Problem (viele, viele Male): Mit einer Tasche mit einer Kapazität von und einer Reihe von Geschenken , die jeweils die Größe , möchte er Kinder glücklich machen. Er weiß aus allen Wunschlisten, …
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.