Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Generieren Sie mit Barabasi-Albert skalierungsfreie Netzwerke mit Potenzgesetz-Gradverteilungen
Ich versuche, die in einigen Artikeln beschriebenen synthetischen Netzwerke (Grafiken) zu reproduzieren. Es wird angegeben, dass das Barabasi-Albert- Modell verwendet wurde, um " skalierungsfreie Netzwerke mit Potenzgesetz- , " zu erstellen .PA(k)∝k−λPA(k)∝k−λP_A(k) ∝ k^{-λ} PAPAP_A ist eine Wahrscheinlichkeitsverteilung, die die Wahrscheinlichkeit eines Knotens mit dem Grad k zurückgibt kkk. Zum …
6
Unentscheidbare Probleme begrenzen physikalische Theorien
Bedeutet das Vorhandensein unentscheidbarer Probleme sofort, dass physikalische Systeme nicht vorhersehbar sind? Betrachten wir das Halteproblem. Zuerst konstruieren wir eine physikalische UTM, beispielsweise unter Verwendung der üblichen schaltungsbasierten Konstruktion. Dann kann es keine entscheidbare physikalische Theorie geben, die bei jeder Eingangseinstellung der Schaltungen bestimmen kann, ob die Schaltung anhält. Dies …
5
Warum kann das Betriebssystemdesign den Stromverbrauch senken?
Ich habe gelesen, dass Betriebssysteme wie Android und iOS irgendwie optimiert sind, um die Akkulaufzeit zu verbessern. Mein Verständnis ist, dass eine CPU eine bestimmte Anzahl von Operationen in einer bestimmten Zeit ausführt. Ich würde also denken, dass Sie Anwendungen beschleunigen können, indem Sie die Anzahl der erforderlichen Operationen reduzieren. …
2
Graphisomorphismusproblem für beschriftete Graphen
Im Fall von unbeschrifteten Graphen kann das Graphisomorphismusproblem durch eine Reihe von Algorithmen gelöst werden, die in der Praxis sehr gut funktionieren. Das heißt, obwohl die Laufzeit im ungünstigsten Fall exponentiell ist, hat man normalerweise eine polynomielle Laufzeit. Ich hatte gehofft, dass die Situation bei beschrifteten Grafiken ähnlich ist. Es …
1
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 zweiten Typ-zu-Typ-Operatoren und die dritte abhängige Typisierung oder Term-zu-Typ-Operatoren …
2
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 k-means-Algorithmus. Es gibt Referenzen in der Arbeit, aber keine von ihnen gibt eine Erklärung dafür, was …
2
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 effektiv ein zeitlich konstantes Anhängen und Voranstellen, aber ich kann nicht verstehen, wie es implementiert …
3
Einführungsbuch über Logik und Berechnung
Können Sie mir einige Vorschläge für ein gutes einführendes (aber umfassendes) Buch über Logik und Berechnung geben? Einige unscharfe Themen, an die ich denke, sind: Presburger Artihm., PA, ZF, ZFC, HOL Mengenlehre, Typentheorie Modellierungsberechnung (Turingmaschinen) in verschiedenen Theorien Verknüpfungen mit rechnerischer Komplexität (FMT, beschreibende Komplexität)
1
Komplexität beim Auffinden der pseudoinversen Matrix
Wie viele arithmetische Operationen sind erforderlich, um eine Moore-Penrose-Pseudoinverse-Matrix eines beliebigen Feldes zu finden? Wenn die Matrix invertierbar und komplex bewertet ist, ist sie nur umgekehrt. Das Finden der Umkehrung dauert , wobei die Matrixmultiplikationskonstante ist. Es ist Satz 28.2 in Einführung in Algorithmen 3. Auflage.ωO(nω)O(nω)O(n^\omega)ωω\omega Wenn die Matrix hat …
3
Verständnis eines Algorithmus für das Tankstellenproblem
Im Tankstellenproblem erhalten wir nnn Städte {0,…,n−1}{0,…,n−1}}\{ 0, \ldots, n-1 \} und Straßen zwischen ihnen. Jede Straße hat eine Länge und jede Stadt definiert den Preis des Kraftstoffs. Eine Straßeneinheit kostet eine Kraftstoffeinheit. Unser Ziel ist es, auf möglichst günstige Weise von einer Quelle zu einem Ziel zu gelangen. Unser …
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.