Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

11
Warum ist ?
Ich würde gerne wissen, ob es eine Regel gibt, die dies beweist. Wenn ich zum Beispiel das Verteilungsgesetz verwende, erhalte ich nur .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)
3
Wann ist der minimale Spannbaum für ein Diagramm nicht eindeutig?
Bei einem gewichteten, ungerichteten Graphen G: Welche Bedingungen müssen erfüllt sein, damit es für G mehrere minimale Spannbäume gibt? Ich weiß, dass der MST eindeutig ist, wenn alle Gewichtungen unterschiedlich sind, aber Sie können diese Aussage nicht umkehren. Wenn das Diagramm mehrere Kanten mit derselben Gewichtung enthält, kann es mehrere …
2
Ist der Berechnungsausdruck derselbe wie die Monade?
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 5 Jahren migriert . Ich lerne immer noch funktionale Programmierung (mit f #) und habe kürzlich angefangen, über Rechenausdrücke zu lesen. Ich verstehe das Konzept immer noch nicht ganz und eine Sache, …
4
Gibt es keinen Sortieralgorithmus mit allen gewünschten Eigenschaften?
Auf der Website von Sorting Algorithms wird der folgende Anspruch geltend gemacht: Der ideale Sortieralgorithmus hätte die folgenden Eigenschaften: Stabil: Gleiche Schlüssel werden nicht neu angeordnet. Funktioniert an Ort und Stelle und erfordert zusätzlichen Platz.O ( 1 )O(1)O(1) Im schlimmsten Fall Schlüsselvergleiche.O ( n ⋅ lg( n ) )O(n⋅lg⁡(n))O(n\cdot\lg(n)) Im …
3
Warum unterscheiden sich NP-vollständige Probleme in Bezug auf ihre Approximation?
Ich möchte die Frage damit beginnen, dass ich ein Programmierer bin und nicht viel Hintergrundwissen in der Komplexitätstheorie habe. Eine Sache, die mir aufgefallen ist, ist, dass, obwohl viele Probleme NP-vollständig sind, wenn sie auf Optimierungsprobleme ausgedehnt werden, einige weitaus schwieriger zu approximieren sind als andere. Ein gutes Beispiel ist …
1
Was sind die stärksten bekannten Typsysteme, für die eine Inferenz entscheidend ist?
Es ist bekannt, dass die Hindley-Milner-Typinferenz (der einfach typisierte Kalkulus mit Polymorphismus) eine entscheidbare Typinferenz aufweist: Sie können Prinziptypen für alle Programme ohne Anmerkungen rekonstruieren.λλ\lambda Das Hinzufügen von Haskell-Typenklassen scheint diese Entscheidbarkeit beizubehalten, aber weitere Hinzufügungen machen Rückschlüsse ohne Anmerkungen unentscheidbar (Typfamilien, GADTs, abhängige Typen, Rank-N-Typen, System usw.).ωω\omega Ich frage …
5
Datenkomprimierung mit Primzahlen
Ich bin kürzlich auf den folgenden interessanten Artikel gestoßen, der behauptet, zufällige Datensätze unabhängig von Art und Format der Daten immer um mehr als 50% effizient zu komprimieren. Grundsätzlich werden Primzahlen verwendet, um eine eindeutige Darstellung von 4-Byte-Datenblöcken zu erstellen, die sich leicht dekomprimieren lassen, da jede Zahl ein eindeutiges …
2
Theoretische Grundlagen von Teilen und Erobern
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 …
5
Warum sind funktionale Sprachen vollständig?
Vielleicht ist mein begrenztes Verständnis des Themas falsch, aber das ist, was ich bis jetzt verstehe: Die funktionale Programmierung basiert auf Lambda-Kalkül, das von Alonzo Church formuliert wurde. Die imperative Programmierung basiert auf dem Turing-Maschinenmodell, das von Alan Turing, dem Studenten der Kirche, erstellt wurde. Lambda-Kalkül ist so leistungsfähig und …
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.