Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Sind generationsübergreifende Garbage Collectors von Natur aus Cache-freundlich?
Ein typischer Garbage Collector der Generation speichert kürzlich zugewiesene Daten in einem separaten Speicherbereich. In typischen Programmen sind viele Daten nur von kurzer Dauer. Daher ist das häufige Sammeln von jungem Müll (ein kleinerer GC-Zyklus) und das seltene Sammeln von altem Müll ein guter Kompromiss zwischen Speicheraufwand und Zeitaufwand für …
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 …
3
Wie wird die Komplexität von Algorithmen für funktionale Sprachen modelliert?
Die Komplexität des Algorithmus ist so ausgelegt, dass sie unabhängig von Details auf niedrigeren Ebenen ist. Sie basiert jedoch auf einem zwingenden Modell, z. B. dem Array-Zugriff und dem Ändern eines Knotens in einem Baum. Dies ist in reinen Funktionssprachen nicht der Fall. Die Haskell-Liste benötigt für den Zugriff eine …
2
Verblüfft von Rices Theorem
Zusammenfassung: Nach dem Satz von Rice ist alles unmöglich. Und doch mache ich diese vermeintlich unmöglichen Sachen die ganze Zeit! Natürlich sagt der Satz von Rice nicht einfach "alles ist unmöglich". Es heißt etwas ganz Konkretes: "Jede Eigenschaft eines Computerprogramms ist nicht berechenbar." (Wenn Sie Haare teilen möchten, ist jede …
2
Gibt es inhärent mehrdeutige und deterministische kontextfreie Sprachen?
Nennen wir eine kontextfreie Sprache genau dann deterministisch, wenn sie von einem deterministischen Push-Down-Automaten akzeptiert werden kann, und andernfalls nicht deterministisch. Nennen wir eine kontextfreie Sprache von Natur aus nur dann mehrdeutig, wenn alle kontextfreien Grammatiken, die die Sprache erzeugen, mehrdeutig und ansonsten eindeutig sind. Ein Beispiel für eine deterministische, …
3
Entscheidungsprobleme im Vergleich zu „echten“ Problemen, bei denen es sich nicht um Ja oder Nein handelt
Ich habe an vielen Stellen gelesen, dass einige Probleme schwierig zu approximieren sind (es ist NP-schwer , sie zu approximieren ). Aber Approximation ist kein Entscheidungsproblem: Die Antwort ist eine reelle Zahl und nicht Ja oder Nein. Auch für jeden gewünschten Approximationsfaktor gibt es viele richtige und viele falsche Antworten, …
3
Was genau ist eine Logik?
Vielleicht liegt eine Entschuldigung vor, dass ich eine andere Frage zu den Voraussetzungen gestellt habe, aber ich war über die Ausgangspunkte verwirrt. Ich bin auf verschiedene Begriffe gestoßen, wie "Modale Logik", "Zeitliche Logik", "Logik erster Ordnung", "Logik zweiter Ordnung" und "Logik höherer Ordnung". Was genau bedeutet "Logik" in diesem Zusammenhang? …
3
Einführung in die Martin-Löf-Typentheorie
Was wäre die beste Einführung in Per Martin-Löfs Ideen zur Typentheorie? Ich habe mir einige Vorlesungen der Oregon PL Summer School angesehen, bin aber immer noch verwirrt über die folgende Frage: Was ist ein Typ? Ich weiß, was eine Menge ist, da man sie mit den üblichen ZF-Axiomen definieren kann …
6
Sortierfunktionen nach asymptotischem Wachstum
Angenommen, ich habe zum Beispiel eine Liste von Funktionen nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Wie sortiere ich sie asymptotisch, dh nach der durch definierten Beziehung? f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , unter der Annahme, dass sie tatsächlich paarweise vergleichbar sind (siehe auch …
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.