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...
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...
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...
Finden Sie die geringste Anzahl von Vergleichen, die zum Sortieren (Sortieren) von fünf Elementen erforderlich sind, und entwickeln Sie einen Algorithmus, der diese Elemente anhand dieser Anzahl von Vergleichen sortiert. Lösung : Es gibt 5! = 120 mögliche Ergebnisse. Ein Binärbaum für den...
Frage: Gibt es eine etablierte Prozedur oder Theorie zum Erzeugen von Code, die eine Matrix-Vektor-Multiplikation effizient anwendet, wenn die Matrix dicht ist und nur mit Nullen und Einsen gefüllt ist? Im Idealfall würde der optimierte Code systematisch auf zuvor berechnete Informationen...
Ich weiß, dass in imperativen Programmiersprachen eine while-do-Schleife als Kontrollflusskonstrukt ausreicht, um die Sprache Turing-complete zu machen (was den Kontrollfluss betrifft - natürlich brauchen wir auch unbegrenzten Speicher und bestimmte Operatoren ...) . Der Kern meiner Frage lautet:...
Betrachten Sie die folgende algorithmische Aufgabe: Eingabe: eine positive ganze Zahl zusammen mit ihrer Primfaktorisierung. Finden: positive ganze Zahlen , die minimieren , vorbehaltlich der Einschränkung, dassx , y , z x y + y z + x z x y z =
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...
Ich bereite mich auf ein Coding-Interview vor und kann nicht wirklich herausfinden, wie dieses Problem am effizientesten gelöst werden kann. Angenommen, wir haben zwei Arrays, die aus nicht sortierten Zahlen bestehen. Array 2 enthält eine Nummer, die Array 1 nicht enthält. Beide Arrays haben...
Wann wurde big O zum ersten Mal in der Informatik eingesetzt und wann wurde es zum Standard? Die Wikipedia-Seite zu diesem Thema zitiert Knuth, Big Omicron und Big Omega und Big Theta , SIGACT April-Juni 1976, aber der Anfang dieses Artikels lautet Die meisten von uns haben sich daran gewöhnt, die...
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
Stellen Sie sich einen induktiven Typ vor, der an einer verschachtelten, aber streng positiven Position einige rekursive Vorkommen aufweist. Zum Beispiel Bäume mit endlicher Verzweigung mit Knoten, die eine generische Listendatenstruktur zum Speichern der Kinder verwenden. Inductive LTree : Set :=...
Meines Wissens gibt es drei Hauptprozessalgebren, die eine breite Palette von Forschungen zu formalen Modellen der Parallelität inspiriert haben. Diese sind: CCS und Kalkül beide von Robin Milnerππ\pi CSP von Tony Hoare und ACP von Jan Bergstra und Jan Willem Klop Alle drei scheinen bis heute eine...
Ich weiß, dass Moores Gesetz seit ~ 2004 nicht mehr für die CPU-Taktrate gilt. Ich suche nach einem Diagramm, das dies zeigt, kann es aber nicht finden: Die meisten Diagramme zeigen die Anzahl der Transistoren oder die Kapazität pro Jahr. Wo finde ich Daten zur CPU-Frequenz von Computern (alles in...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . In dem Skript, das ich gerade auf dem Lambda-Kalkül lese, ist Beta-Äquivalenz wie folgt definiert: Die -Äquivalenz ist die...
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...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich möchte die Existenz eines Algorithmus beweisen oder widerlegen, der bei einem Array von ganzen Zahlen drei Indizes und so...
Wenn ein gewichteter Graph zwei verschiedene minimale Spannbäume und , dann ist es wahr, dass für jede Kante in die Anzahl der Kanten in mit dem gleichen Gewicht wie (einschließlich selbst) entspricht der Anzahl der Kanten in mit demselben Gewicht wie ? Wenn die Aussage wahr ist, wie können wir sie...
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...
Angenommen, wir haben einen Zufallsgenerator, der Zahlen im Bereich [0..R−1][0..R−1][0..R-1] mit gleichmäßiger Verteilung ausgibt, und wir müssen Zufallszahlen im Bereich [0..N−1][0..N−1][0..N-1] mit gleichmäßiger Verteilung generieren . Angenommen, N<RN<RN < R und NNN teilen nicht...