Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Was gewinnen wir, wenn wir „abhängige Typen“ haben?
Ich dachte , ich verstand abhängig Typisierung (DT) richtig, aber die Antwort auf diese Frage: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-Intuitionistic-Type-Theorie hat mich anders denken lassen. Nachdem ich mich über DT informiert und versucht habe zu verstehen, was sie sind, frage ich mich, was wir durch diese Vorstellung von DTs gewinnen können. Sie scheinen …
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 …
2
Wann kann ich mit dynamischer Programmierung die zeitliche Komplexität meines rekursiven Algorithmus reduzieren?
Dynamisches Programmieren kann die Zeit reduzieren, die zum Ausführen eines rekursiven Algorithmus erforderlich ist. Ich weiß, dass dynamisches Programmieren die zeitliche Komplexität von Algorithmen reduzieren kann. Sind die allgemeinen Bedingungen so, dass bei Erfüllung durch einen rekursiven Algorithmus die Verwendung einer dynamischen Programmierung die zeitliche Komplexität des Algorithmus verringert? Wann …
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 …
1
Was bedeutet Tilde in Big-O-Notation?
Ich lese eine Zeitung und in ihrer Beschreibung der Zeitkomplexität heißt es, dass die Zeitkomplexität .O~(22n)O~(22n)\tilde{O}(2^{2n}) Ich habe im Internet und in Wikipedia gesucht, aber ich kann nicht finden, was diese Tilde in der Big-O / Landau-Notation bedeutet. In der Zeitung selbst habe ich auch keine Ahnung davon gefunden. Was …
1
Warum SIMD verwenden, wenn wir GPGPU haben?
Ich dachte, diese Frage wird im CS-Teil von Stack Exchange besser beantwortet. Haben die Multimedia-SIMD-Erweiterungen (SSE / AVX / NEON) nach GPGPUs mit Sprachen wie CUDA und OpenCL noch einen Zweck? Ich habe kürzlich einen Artikel darüber gelesen, wie SSE-Anweisungen verwendet werden können, um das Sortieren von Netzwerken zu beschleunigen. …
4
Warum gibt es in Regexes keine Permutation? (Auch wenn reguläre Sprachen dazu in der Lage zu sein scheinen)
Das Problem Es gibt keine einfache Möglichkeit, eine Permutation mit einem regulären Ausdruck zu erhalten. Permutation: Ein Wort ("aabc") in eine andere Reihenfolge bringen, ohne die Anzahl oder Art der Buchstaben zu ändern.w = x1… X.nw=x1…xnw=x_1…x_n Regex: Regulärer Ausdruck. Zur Überprüfung: "Regex-Permutationen ohne Wiederholung" Die Antwort erstellt JavaScript-Code anstelle eines …
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? …
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.