Ich bin mit der operativen Semantik (sowohl in kleinen als auch in großen Schritten) zur Definition von Programmiersprachen vertraut. Ich interessiere mich auch für das Erlernen der Denotationssemantik, bin mir aber nicht sicher, ob sich die Mühe lohnt. Werde ich das gleiche Material nur aus einer...
Ich habe ein algorithmisches Problem. TTTnnnSSSTTTa∈Sein∈Sa\in Sa⩾|S|ein⩾|S|a\geqslant |S| Beispielsweise: Wenn = [1, 3, 4, 1, 3, 6] ist, kann [3, 3, 6] oder [3, 4, 6] oder [4, 3, 6] sein.TTTSSS In = [7, 5, 1, 1, 7, 4] ist [7, 5, 7, 4].TTTSSS Ich habe diese rekursive Funktion ausprobiert....
In der Einführung in Algorithmen von Cormen et al. Wird in Abschnitt 15.3 Elemente der dynamischen Programmierung das Speichern wie folgt erläutert: Ein gespeicherter rekursiver Algorithmus verwaltet einen Eintrag in einer Tabelle zur Lösung jedes Teilproblems. Jeder Tabelleneintrag enthält anfangs...
Ist es bewiesen, dass die Quantenberechnung NP-Gesamtprobleme nicht besser löst als die klassische Berechnung, oder wird nur
Einige der Arbeiten von Conor McBride, Diff , Dissect , beziehen die Ableitung von Datentypen auf ihre "Art von Ein-Loch-Kontexten". Das heißt, wenn Sie die Ableitung des Typs nehmen, bleibt ein Datentyp übrig, der Ihnen zeigt, wie der Datentyp an einem bestimmten Punkt von innen aussieht. So zum...
Mir wurde gesagt, dass wir eine Liste verwenden würden, wenn der Graph dünn ist, und eine Matrix, wenn der Graph dicht ist . Für mich ist es nur eine grobe Definition. Ich sehe nicht viel darüber hinaus. Können Sie klarstellen, wann dies die natürliche Wahl wäre? Danke im
Geschlossen . Diese Frage ist meinungsbasiert . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie mit Fakten und Zitaten beantwortet werden kann, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 2 Jahren . Im Allgemeinen sind...
Ich habe diese [irgendwie witzige] Frage im Kopf. Warum ist das nicht-deterministischen endlichen Automaten genannt nicht-deterministisch, während wir die Übergänge für Eingänge definieren. Nun, obwohl es mehrere und Epsilon- Übergänge gibt, sind diese definiert, was bedeutet, dass die Maschine für...
Ich habe dieses Buch für meine Klasse Randomized Algorithms gelesen . In diesem Buch gibt es einen ganzen Abschnitt, der sich mit der Ermittlung des Medians eines Arrays durch Zufallsauswahl befasst und zu einem effizienteren Algorithmus führt. Jetzt wollte ich wissen, ob es neben einer...
Ich bin mit der Idee der grundlegenden Beseitigung der Schwanzrekursion vertraut , bei der Funktionen, die das direkte Ergebnis eines Aufrufs an sich selbst zurückgeben, als iterative Schleifen umgeschrieben werden können. foo(...): # ... return foo(...) Ich verstehe auch, dass die Funktion als...
Gibt es Techniken zum Lösen von Funktionsgleichungen für unbekannte Funktionen in der Lambda-Rechnung? Angenommen, ich habe die Identitätsfunktion ausführlich als solche definiert: Ix=xichx=xI x = x (das heißt, durch das Schreiben eine Gleichung für das erwartete Verhalten dieser Funktion nach...
Angenommen, wir arbeiten mit einem System mit 40 Bit für physikalische Adressen. Der gesamte physikalische Adressraum (unter der Annahme eines byteadressierbaren Speichers) beträgt Bytes oder 1 TiB. Und wenn virtuelle Adressen 48 Bit lang sind, bedeutet dies, dass mehr Adressen für den virtuellen...
Wenn ich es richtig verstehe, hat ein Algorithmus, der den Wert einer reellen Funktion berechnet, eine fffRechenkomplexität O(g(n))O(g(n))O(g(n)) wenn Folgendes zutrifft: Wenn wir fff auf Genauigkeit berechnen , erfordert δδ\delta in der Größenordnung von g(n)g(n)g(n) Schritte. Was aber, wenn wir...
Ich habe über Stack-basierte Programmiersprachen wie FORTH und Cat gelesen , und es scheint, dass sie aufgrund ihrer Natur immer nur eine Aktion gleichzeitig ausführen können, unabhängig von ihrem Paradigma (FORTH ist unerlässlich, während Cat funktionsfähig ist). Eine imperative Sprache würde den...
Kann ich folgende Aussagen mit verfügbaren automatisierten Theoremprüfern nachweisen? (a+b)2=a2+b2+2ab(a+b)2=a2+b2+2ab(a+b)^2=a^2+b^2+2ab . Wenn , dann .11∣2a−3b11∣2a−3b 11 \mid 2a-3b11∣7a−5b11∣7a−5b 11 \mid 7a-5b Wenn , dann ist .ax2+bx+c=0ax2+bx+c=0 ax^2+bx+c=0x = - b±b2- 4 ac√2...
Ich habe das problem: Zeigen Sie, dass es eine reelle Zahl gibt, für die kein Programm existiert, das unendlich lange läuft und die Dezimalstellen dieser Zahl schreibt. Ich nehme an, es kann gelöst werden, indem man es auf das Halting-Problem reduziert, aber ich habe keine Ahnung, wie ich das tun...
In einem Teiltest für die GATE-Vorbereitung gab es eine Frage: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Ich antwortete "Es wird für alle Ganzzahlen beendet", da es selbst für einige negative Ganzzahlen als Stapelüberlauffehler beendet wird . Aber mein Freund widersprach der Aussage,...
Bei einer Reihe von Werten , der Shannon Entropy in Log - Basis zu kommen . Soweit ich weiß, ist die aufgerundete Shannon-Entropie in Basis die minimale Anzahl von Binärbits, um einen einzelnen der Werte darzustellen.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Entnommen aus der Einführung...
CPUs sind zu einem gewissen Grad unter Berücksichtigung der Software konzipiert, die die Leute implizit oder explizit dafür schreiben. Wenn Sie sich den Entwurf von Befehlssatzarchitekturen ansehen, scheint es mir, dass sie sehr "zwingend" sind, in dem Sinne, dass jeder Befehl einen Befehl im...
Ich bin ein bisschen verwirrt darüber, was genau die Bedeutung eines Schlüssels in der Informatik ist. Ich verstehe Schlüssel-Wert-Paare, Primärschlüssel usw. Aber ich kann keine Definition dessen finden, was der Begriff "Schlüssel" für sich bedeutet. Soweit ich das beurteilen kann, handelt es sich...