Computerwissenschaften reference-request

5

Es gibt viele Versuche, entweder oder zu beweisen, und natürlich denken viele Leute über die Frage nach und haben Ideen, um beide Richtungen zu beweisen.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Ich weiß, dass es Ansätze gibt, die erwiesenermaßen nicht funktionieren, und es gibt wahrscheinlich …

96 complexity-theory reference-request history p-vs-np reference-question

4

Was ist Schwanzrekursion?

Ich kenne das allgemeine Konzept der Rekursion. Beim Studium des Quicksort-Algorithmus bin ich auf das Konzept der Schwanzrekursion gestoßen. In diesem Video von Quick Sort Algorithmus vom MIT um 18:30 Sekunden sagt der Professor, dass dies ein rekursiver Schwanzalgorithmus ist. Mir ist nicht klar, was Schwanzrekursion wirklich bedeutet. Kann jemand …

52 algorithms reference-request recursion

6

Umgang mit der Unlösbarkeit: NP-vollständige Probleme

Angenommen, ich bin ein Programmierer und habe ein NP-vollständiges Problem, das ich lösen muss. Welche Methoden stehen zur Verfügung, um mit NPC-Problemen umzugehen? Gibt es eine Umfrage oder ähnliches zu diesem Thema?

43 algorithms reference-request np-complete efficiency reference-question

6

Was nützen Gruppen, Monoide und Ringe bei Datenbankberechnungen?

Warum interessiert sich ein Unternehmen wie Twitter für algebraische Konzepte wie Gruppen, Monoide und Ringe? Ihr Repository finden Sie unter github: twitter / algebird . Alles was ich finden konnte ist: Implementierung von Monoiden für interessante Approximationsalgorithmen wie Bloom-Filter , HyperLogLog und CountMinSketch . Mit diesen Funktionen können Sie sich …

38 reference-request discrete-mathematics database-theory applied-theory group-theory

3

Worst case

Ich habe Probleme bei der Suche gute Ressourcen , die einem schlimmsten Fall geben anstelle stabilem Sortieralgorithmus. Kennt jemand gute Ressourcen?O ( n lnn )O(nln⁡n)O(n \ln n) Nur zur Erinnerung: An der richtigen Stelle wird das übergebene Array verwendet, und der Sortieralgorithmus darf nur konstanten zusätzlichen Speicherplatz belegen. Stabil bedeutet, …

35 algorithms reference-request sorting in-place

2

Quanten-Lambda-Kalkül

Klassischerweise gibt es drei gängige Methoden, um über Berechnungen nachzudenken: Turing-Maschine, Schaltkreise und Lambda-Kalkül (ich verwende dies als Fang für die meisten funktionalen Ansichten). Alle drei haben sich als fruchtbar erwiesen, um über verschiedene Arten von Problemen nachzudenken, und verschiedene Bereiche verwenden aus diesem Grund unterschiedliche Formulierungen. Wenn ich mit …

35 lambda-calculus quantum-computing reference-request computation-models

2

zu „Über die Grausamkeit, Informatik wirklich zu unterrichten“

Dijkstra macht in seinem Aufsatz Über die Grausamkeit, Informatik wirklich zu unterrichten , den folgenden Vorschlag für einen Einführungskurs in die Programmierung: Einerseits lehren wir, was wie die Prädikatenrechnung aussieht, aber wir machen es ganz anders als die Philosophen. Um den Anfänger in der Manipulation von nicht interpretierten Formeln zu …

33 reference-request programming-languages education didactics

1

Welche Algorithmen für maschinelles Lernen können für Zeitreihenvorhersagen verwendet werden?

Momentan spiele ich mit Zeitreihenprognosen (speziell für Forex). Ich habe einige wissenschaftliche Artikel über Echozustandsnetzwerke gesehen, die auf Forex-Prognosen angewendet werden. Gibt es für diesen Zweck andere gute Algorithmen für maschinelles Lernen? Es wäre auch interessant, "profitable" Muster aus den Zeitreihen zu extrahieren.

28 reference-request machine-learning artificial-intelligence

2

Was bedeutet "echte Parallelität"?

Ich höre oft Sätze wie "echte Nebenläufigkeitssemantik" und "echte Nebenläufigkeitsäquivalenzen" ohne Referenzen. Was bedeuten diese Begriffe und warum sind sie wichtig? Was sind einige Beispiele für echte Gleichzeitigkeiten und wozu sind sie erforderlich? ZB in welchen Fällen sind sie besser anwendbar als mehr Standardäquivalenzen (Bisimulation, Spurenäquivalenz usw.)?

28 terminology reference-request concurrency

1

Asymptotik der Anzahl der Wörter in einer regulären Sprache von gegebener Länge

Für eine reguläre Sprache sei c n ( L ) die Anzahl der Wörter in L mit der Länge . Verwendung Jordan kanonische Form (angewandt auf die unkommentierten bergangsmatrix einige DFA für ) kann man zeigen , dass für ausreichend großen , Dabei sind komplexe Polynome und komplexe "Eigenwerte". (Für …

28 formal-languages reference-request regular-languages asymptotics combinatorics

1

Gibt es eine typisierte SKI-Rechnung?

Die meisten von uns kennen die Entsprechung zwischen kombinatorischer Logik und Lambda-Rechnung . Aber ich habe noch nie das Äquivalent von "typisierten Kombinatoren" gesehen (vielleicht habe ich nicht tief genug geschaut), das dem einfach typisierten Lambda-Kalkül entspricht. Gibt es so etwas? Wo kann man sich darüber informieren?

26 reference-request logic lambda-calculus type-theory combinatory-logic

5

Gibt es einen Anti-Bloom-Filter?

Mit einem Bloom-Filter können Sie effizient verfolgen, ob während der Verarbeitung bereits verschiedene Werte festgestellt wurden. Wenn viele Datenelemente vorhanden sind, kann ein Bloom-Filter zu einer erheblichen Speichereinsparung über eine Hash-Tabelle führen. Das Hauptmerkmal eines Bloom-Filters, das es mit einer Hash-Tabelle teilt, ist, dass es immer "nicht neu" sagt, wenn …

25 reference-request data-structures hash bloom-filters dictionaries

2

Gibt es einen manchmal effizienten Algorithmus, um #SAT zu lösen?

Sei eine Boolesche Formel, die aus den üblichen Operatoren AND, OR und NOT und einigen Variablen besteht. Ich möchte die Anzahl der zufriedenstellenden Aufgaben für . Das heißt, ich möchte die Anzahl der verschiedenen Zuordnungen von Wahrheitswerten zu den Variablen von für die einen wahren Wert annimmt. Zum Beispiel hat …

24 complexity-theory reference-request satisfiability

7

Fangen Sie an, etwas über die Theorie verteilter Systeme zu lernen?

Was ist der beste Weg, den jemand tun kann, um eine gute Einführung in die Theorie des verteilten Systems, in Bücher oder Referenzen sowie in Themen zu erhalten?

24 reference-request education distributed-systems

1

Unterscheidungsentscheidungsverfahren vs SMT-Löser vs Theorembeweiser vs Beschränkungslöser

Diese Begriffe verwirren mich. Wie ich es verstehe SAT-Löser: Bestimmen Sie die Erfüllbarkeit der Aussagenlogik (mit DPLL oder lokaler Suche). Entscheidungsverfahren ist ein Verfahren, um die Erfüllbarkeit einer bestimmten entscheidbaren Theorie erster Ordnung zu bestimmen. SMT-Solver ist ein SAT-Solver + Entscheidungsverfahren. Theorembeweiser bezeichnet so etwas wie dynamische Logik, zB das …

23 algorithms terminology reference-request decision-problem

Als «reference-request» getaggte Fragen