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 finden kann, sondern dass ich zu viele finden kann und …
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-) Theorie, konnte ich für Algorithmen, die auf D & C basieren, keinen solchen allgemeinen …
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 zufrieden. ANMERKUNG: Wenn ich die meisten Kommentare …
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 anfangen, habe aber keine Ahnung, wo ich anfangen …
Ich interagiere oft mit Leuten, die nach einem Algorithmus für ein Rechenproblem (oder dessen Komplexität) fragen möchten, aber sie drücken ihn nicht so aus, dass wir (Informatiker) ihn verstehen. Es ist nicht hilfreich, sie auf Bücher wie CLRS zu verweisen, da die Beispiele dort in der Regel recht einfach und …
Ich habe in letzter Zeit ein bisschen Literatur gelesen und einige interessante Datenstrukturen gefunden. Ich habe verschiedene Methoden untersucht, um die Aktualisierungszeiten auf Worst-Case-Aktualisierungszeit [1-7] herabzusetzen.O ( 1 )O(1)\mathcal{O}(1) Vor kurzem habe ich begonnen, mich mit sperrenfreien Datenstrukturen zu befassen, um einen effizienten gleichzeitigen Zugriff zu ermöglichen. Wurde eine dieser …
Kürzlich habe ich in einer Arbeit [1] eine spezielle symmetrische Version von SAT gefunden, die 2/2/4-SAT genannt wird . Es gibt aber viele vollständige Varianten, zum Beispiel: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Einige andere Varianten sind möglich: - SAT , Planar-NAE- SAT , ...222SATSAT\text{SAT}SATSAT\text{SAT} Gibt es Umfragepapiere (oder …
Die kontextfreien Sprachen werden nicht unter Ergänzung geschlossen, das wissen wir. Nach meinem Verständnis werden kontextfreie Sprachen, die für einige Buchstaben eine Teilmenge von sind, unter Komplement (!?) geschlossen.ein∗b∗a∗b∗a^*b^*a , ba,ba,b Hier ist mein Argument. Jede CF-Sprache hat ein halblineares Parikh-Bild . Semilineare Mengen werden unter Ergänzung geschlossen. Die Menge …
Ok, bevor ich anfange, stelle ich fest, dass dies am Rande des Themas liegt (ich habe die Hilfe zu Fragen für diese Site gelesen), zumal dies kein reales Problem ist. Jedoch: Ich kann bei Google nichts Relevantes finden Aus puristischer Sicht muss es doch in die Informatik fallen? In jedem …
Einige komplizierte Algorithmen ( Union-Find ) haben die nahezu konstante inverse Ackermann-Funktion, die in der asymptotischen Zeitkomplexität auftritt, und sind im ungünstigsten Fall zeitoptimal, wenn der nahezu konstante inverse Ackermann-Term ignoriert wird. Gibt es Beispiele für bekannte Algorithmen mit Laufzeiten, bei denen Funktionen wesentlich langsamer wachsen als inverse Ackermann-Funktionen (z. …
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 normalerweise durch Partitionsverfeinerung gelöst werden, außer den auf der Wikipedia-Seite aufgelisteten. Von …
Ich hatte Probleme, die komplexitätstheoretische Sichtweise von "effizient gelöst durch parallelen Algorithmus" zu akzeptieren, die von der Klasse NC gegeben wird : NC ist die Klasse von Problemen, die durch einen parallelen Algorithmus in der Zeit auf Prozessoren mit gelöst werden können .p ( n ) ≤ O ( n …
Bei vielen Max-Flow-Algorithmen, die meiner Meinung nach implementiert sind, bei Dinics Algorithmus, Push Relabel und anderen, können die asymptotischen Zeitkosten durch die Verwendung dynamischer Bäume (auch als Link-Cut-Bäume bezeichnet) verbessert werden . Push-Relabel läuft in oder O ( V 3 ) oder O ( V 2 √O ( V2E)O(V2E)O(V^2E)O ( …
Ich versuche herauszufinden, wer den Begriff "maschinelles Lernen" geprägt hat. Eine Zusatzfrage ist, woher Arthur Samuel zitiert wird, der das Gebiet des "maschinellen Lernens" im Jahr 1959 definiert als: das Studienfach, das Computern die Fähigkeit gibt, zu lernen, ohne explizit programmiert zu werden ? Sie können viele, viele Verweise auf …
Der Ramer-Douglas-Peucker-Algorithmus zur Leitungsvereinfachung hat die Worst-Case- Laufzeit O ( n2)O(n2)O(n^2) . Für geeignet verteilte zufällige Eingaben wurde eine Laufzeitkomplexität von erwartet . In 2D gibt es andere Algorithmen mit der Laufzeitkomplexität ungünstigsten Fall , die genau dasselbe Ergebnis wie der Ramer-Douglas-Peucker-Algorithmus berechnen. Da diese Algorithmen auf einer "Pfad (konvex) …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.