Computerwissenschaften

4

Letztes Jahr las ich einen fantastischen Artikel über „Quantenmechanik für den Kindergarten“ . Es war kein leichtes Papier. Nun frage ich mich, wie ich Quicksort mit möglichst einfachen Worten erklären kann. Wie kann ich beweisen (oder zumindest per Hand), dass die durchschnittliche Komplexität ist und was die besten und die …

16 algorithms education algorithm-analysis didactics sorting

3

dynamische Programmierübung zum Schneiden von Saiten

Ich habe an dem folgenden Problem aus diesem Buch gearbeitet . Eine bestimmte Zeichenkettenverarbeitungssprache bietet eine primitive Operation, die eine Zeichenkette in zwei Teile aufteilt. Da bei dieser Operation die ursprüngliche Zeichenfolge kopiert wird, werden für eine Zeichenfolge mit der Länge n unabhängig von der Position des Schnitts n Zeiteinheiten …

16 algorithms combinatorics strings dynamic-programming

1

Speicherkonsistenz vs. Cache-Kohärenz

Stimmt es, dass die sequentielle Konsistenz eine stärkere Eigenschaft als die Cache-Kohärenz ist? Gemäß Sorin, Daniel J; Hill, Mark D; Wood, David A: Eine Einführung in Speicherkonsistenz und Cache-Kohärenz , Morgan & Claypool, 2011 sequentielle Konsistenz kann beschrieben werden als (nicht formal): Das sequentielle Konsistenzspeichermodell gibt an, dass das System …

16 computer-architecture cpu-cache shared-memory

6

Warum kann DFS nicht verwendet werden, um kürzeste Pfade in ungewichteten Diagrammen zu finden?

Ich verstehe, dass die Verwendung von DFS "wie sie ist" keinen kürzesten Weg in einem ungewichteten Diagramm findet. Aber warum ist das Optimieren von DFS, um kürzeste Wege in ungewichteten Diagrammen zu finden, eine so hoffnungslose Perspektive? Alle Texte zum Thema geben lediglich an, dass dies nicht möglich ist. Ich …

16 algorithms graph-theory shortest-path

5

Turingmaschine + Zeitdilatation = Halteproblem lösen?

Es gibt relativistische Raumzeiten (z. B. MH-Raumzeiten; siehe Hogarth 1994), in denen eine Weltlinie unendlicher Dauer in der Vergangenheit eines endlichen Beobachters enthalten sein kann. Dies bedeutet, dass ein normaler Beobachter auf eine unendliche Anzahl von Rechenschritten zugreifen kann. Vorausgesetzt, es ist möglich, dass ein Computer unendlich lange perfekt funktioniert …

15 turing-machines halting-problem church-turing-thesis hypercomputation

2

Was ist diese Datenstruktur / dieses Datenkonzept, bei dem ein Punktediagramm eine Aufteilung in einen Raum definiert?

Ich bin auf einen Algorithmus gestoßen, um ein Problem der realen Welt zu lösen, und ich erinnere mich an eine Klasse, in der ich für einige etwas sehr Ähnliches für ein Hausaufgabenproblem gemacht habe. Grundsätzlich handelt es sich um eine Darstellung von Punkten, und die Linien sind so gezeichnet, dass …

15 algorithms data-structures terminology computational-geometry

1

NP-vollständiges Problem mit einer Polynomzahl von Ja-Instanzen?

Ich habe den Eindruck, dass für jedes NP-vollständige Problem für unendlich viele Eingabegrößen die Anzahl der Ja-Instanzen über alle möglichen Eingaben der Größe n (mindestens) exponentiell in n ist .nnnnnnnnn Ist das wahr? Kann es bewiesen werden (wahrscheinlich nur unter der Annahme, dass )? Oder können wir vielleicht künstlich ein …

15 complexity-theory np-complete np-intermediate

8

Kardinalität des Satzes von Algorithmen

Jemand in einer Diskussion brachte vor, dass (er meint) es zumindest eine ununterbrochene Anzahl von Strategien geben kann, um sich einem bestimmten Problem zu nähern. Das spezifische Problem waren Handelsstrategien (nicht Algorithmen, sondern Strategien), aber ich denke, das ist neben dem Punkt für meine Frage. Dies brachte mich dazu, über …

15 algorithms turing-machines combinatorics

4

Beweis Komplexität eines Beweises oder Disproofs von P = NP

Wurde die Beweiskomplexität einer Lösung für das P = NP-Problem untersucht? Wenn nicht, wäre es angesichts des Mangels an Fortschritten in Bezug auf das Problem unvernünftig anzunehmen, dass jeder Beweis, der das P = NP-Problem löst, eine überpolynomielle Anzahl von Schritten erfordert?

15 complexity-theory np

5

Was macht eine Sprache für eine bestimmte Aufgabe "optimiert"?

Möchten Sie diesen Beitrag verbessern? Geben Sie detaillierte Antworten auf diese Frage, einschließlich Zitaten, und erläutern Sie, warum Ihre Antwort richtig ist. Antworten ohne ausreichende Details können bearbeitet oder gelöscht werden. Oft gibt es Programmiersprachen, die auf bestimmte Aufgaben spezialisiert sind. Einige Programmiersprachen eignen sich hervorragend für die Array-Arithmetik (z. …

15 programming-languages

1

Gitterabdeckung durch Rechtecke

Wir haben ein N1×N2N1×N2N_1 \times N_2 -Gitter. Wir haben eine Sammlung von Rechtecken auf diesem Gitter, jedes Rechteck kann als eine N1N1N_1 mal- -binäre N2N2N_2Matrix . Wir wollen das Gitter mit diesen Rechtecken abdecken.RRR Deckt die Entscheidungsversion dieses Sets das Problem NP-complete ab? Eingabe: Sammlung von Rechtecken im Raster (Eingabegröße: …

15 complexity-theory np-complete set-cover

2

Warum wird bei vielen branchenüblichen Compilern die statische Einzelzuweisung der Weitergabe vorgezogen?

Laut der Wikipedia-Seite zu statischer Einzelzuweisung (SSA) wird SSA von großen und bekannten Projekten wie LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey und V8 verwendet, während die Seite zu Projekten im Continuation-Passing-Stil verwendet wird (CPS) ist im Vergleich etwas mangelhaft. Ich habe die Vorstellung, dass CPS von Compilern und Interpreten bevorzugt …

15 compilers program-optimization continuations

1

Komplexitätsklassen für die Auflistung aller Lösungen?

Bei Stack Overflow las ich eine Frage, ob es NP- schwierig sei, alle einfachen Zyklen in einem Diagramm mit einem bestimmten Knoten aufzulisten, und mir fiel ein, dass ich mir keine Komplexitätsklasse vorstellen konnte, für die dies gut geeignet war Sprechen Sie über Probleme der Form "Listen Sie alle Lösungen …

15 complexity-theory reference-request complexity-classes enumeration

4

Ungleichheit durch Ungenauigkeit des Schwimmers

Zumindest in Java, wenn ich diesen Code schreibe: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; der Wert von wäre . Ich glaube, dies liegt an der Tatsache, …

15 arithmetic floating-point numerical-algorithms

6

Was unterscheidet die Informatik im theoretischen Kontext genau von der Mathematik?

Ich bin ein Student der Informatik auf Universitätsniveau mit einer großen Leidenschaft für das Studium der Mathematik. Ich bin der festen Überzeugung, dass Informatik oder Theoretische Informatik ein direkter Zweig der Mathematik und Logik ist und dass ein Informatik-Abschluss eigentlich immer auf Mathematik ausgerichtet sein muss. Bitte korrigieren Sie mich, …

15 mathematical-foundations