Fragen, die Artikel in der Literatur zu bestimmten, engen Themen anfordern.
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...
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,...
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
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 ,...
Ich habe Probleme bei der Suche gute Ressourcen , die einem schlimmsten Fall geben anstelle stabilem Sortieralgorithmus. Kennt jemand gute Ressourcen?O ( n lnn )O(nlnn)O(n \ln n) Nur zur Erinnerung: An der richtigen Stelle wird das übergebene Array verwendet, und der Sortieralgorithmus darf nur...
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,...
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...
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...
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 kleine...
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"...
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...
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...
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
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...
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...
Kurz: Wie werden Typensysteme im akademischen Kontext kategorisiert? insbesondere, wo kann ich seriöse Quellen finden, die die Unterscheidung zwischen verschiedenen Arten von Typsystemen deutlich machen? In gewisser Weise liegt die Schwierigkeit bei dieser Frage nicht darin, dass ich keine Antwort...
Beim Entwurf von Algorithmen werden häufig die folgenden Techniken angewendet: Dynamische Programmierung Die Gier-Strategie Teilen und Erobern Während es für die ersten beiden Methoden bekannte theoretische Grundlagen gibt, nämlich das Bellman-Optimalitätsprinzip und die Matroid- (bzw. Greedoid-)...
Ich habe den größten Teil des Materials in Cormens Intro to Algorithms-Buch fertiggestellt und suche nach einem Algorithmus-Buch, das Material über Cormans Buch hinaus abdeckt. Gibt es irgendwelche Empfehlungen? HINWEIS: Ich habe dies beim Stackoverflow gefragt, war aber mit der Antwort nicht allzu...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Was ist ein gutes Einsteiger-Informatikbuch für einen jungen Erwachsenen, sagen wir, einen 15-Jährigen? Ich möchte mit CS...
Partitionsverfeinerung ist eine Technik, bei der Sie mit einer endlichen Menge von Objekten beginnen und die Menge schrittweise aufteilen. Einige Probleme, wie die DFA-Minimierung, können mithilfe der Partitionsoptimierung sehr effizient gelöst werden. Ich kenne keine anderen Probleme, die...