Computerwissenschaften

11
Array-ähnliche unveränderliche (persistente) Datenstrukturimplementierung mit schneller Indizierung, Anhängen, Voranstellen und Iteration

Ich suche nach einer dauerhaften Datenstruktur ähnlich dem Array (aber unveränderlich), die schnelle Indizierungs-, Anhänge-, Voranstellungs- und Iterationsoperationen (gute Lokalität) ermöglicht. Clojure bietet dauerhaften Vektor, ist jedoch nur zum schnellen Anhängen geeignet. Scalas Vektor hat...

11
Was ist ein Bicriteria-Approximationsalgorithmus?

Was ist ein Bicriteria-Approximationsalgorithmus? Dies tritt im Fall von Datenstrom-Clustering immer wieder auf. Bezieht sich dies auf die Optimierung mehrerer Ziele? Hier bin ich darauf gestoßen: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. Das Papier handelt von einer Streaming-Version des...

11
Was ist

Ich betrachte die Konstruktionsrechnung und ihren Platz im Lambda-Würfel . Wenn ich das richtig verstehe, kann man sich vorstellen, dass jede Achse des Würfels eine weitere Operation mit Typen zum einfach typisierten Kalkül hinzufügt λ→λ→\lambda_\to. Die erste Achse fügt Typ-zu-Term-Operatoren, die...