Angenommen, Sie haben eine Programmiersprache mit manueller Speicherverwaltung. Welche Funktionen muss diese Sprache haben, um eine präzise Speicherbereinigung als Bibliothek und nicht als grundlegendes Sprachkonstrukt implementieren zu können? Mit einem präzisen GC meine ich einen, bei dem nur...
Ich habe ein bisschen Probleme damit, mir Gedanken darüber zu machen, was ein binärer Suchbaum ist und warum es wichtig ist, einen Rang zu haben. Ich hoffe, dass jemand ein paar Dinge für mich klären kann. Was ich untersucht habe: Nach dem, was ich gelesen habe, ist ein binärer Suchbaum ein Baum,...
Diese Grammatik bleibt rekursiv: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...
Ich frage mich, ob es nützliche Funktionen gibt, die asymptotisch größer als eine polylogarithmische Funktion und kleiner als eine Polynomfunktion sind. Das heißt, eine Funktion so dassf( n )f(n)f(n) für eine Konstante k > 0f( n ) = ω ( log( n )k)f(n)=ω(Log(n)k)f(n) = \omega(\log(n)^k)k >...
Yo! Dies ist wahrscheinlich eine dumme Frage, aber ich habe nie gesehen, dass sie explizit niedergeschrieben wurde, wenn beispielsweise die Entscheidbarkeit der Typprüfung der starken Normalisierungseigenschaft entspricht. Daher stelle ich diese Frage, um alle möglichen Zusammenhänge zwischen...
Ich lese gerade einen Kommentar zu Milners "Der Einsatz von Maschinen zur Unterstützung strenger Beweise" von Mike Gordon durch. In diesem Artikel erklärt er, wie LCF aus den Ideen der Denotationssemantik von Dana Scott und Strachey geboren wurde. Es scheint mir, dass die Floyd-Hoare-Logik nicht...
In den letzten Jahren habe ich einen mechanischen Computer gebaut, der mit Murmeln betrieben wird, und daraus ein Spiel gemacht. Es ähnelt dem alten Digi-Comp II, abgesehen von zwei wesentlichen Unterschieden: Teile können auf der Platine neu positioniert werden. Sie können mehrere "Bits" über...
Dies ist eine Aufgabe des Bundeswettbewerb Informatik, aber da die Frist abgelaufen ist, ist es kein Betrug, diese Frage zu stellen. Finden Sie bei einem , gerichteten Graphen und den Werten eine Teilmenge der Knoten V_ {res} \ subseteq V , die \ sum_ {v \ in V_ {res}} c_v maximiert, vorbehaltlich...
Ich habe zwei Zahlen, die jeweils das Produkt einer großen Anzahl kleinerer Zahlen sind, die ich kenne. Ich möchte den GCD (Greatest Common Divisor) dieser beiden Zahlen finden. Kann ich die teilweise Faktorisierung nutzen, um den Prozess zu beschleunigen? Insbesondere ist jede größere Zahl das...
Ich habe eine dieser populären Veröffentlichungen zur Theorie des kubischen Typs gelesen , aber kein Wunder, dass ich nur Formeln und Diagramme sehen konnte, ohne sie überhaupt erkennen zu können. Also hier ist was ich will. Ich möchte eine hinreichende Erklärung dafür, was Zusammensetzung,...
Angenommen, wir hätten einen Quantencomputer mit einer ausreichenden Anzahl von Qubits. Könnten wir damit die lineare Algebra schneller ausführen als mit einem klassischen Computer? Welche Art von Beschleunigung können wir erwarten? Hat jemand einen Quantenalgorithmus für die lineare Algebra...
Ich muss ein System von bis zu 10000 Gleichungen mit 10000 Unbekannten so schnell wie möglich lösen (vorzugsweise innerhalb weniger Sekunden). Ich weiß, dass die Gaußsche Eliminierung dafür zu langsam ist. Welcher Algorithmus ist also für diese Aufgabe geeignet? Alle Koeffizienten und Konstanten...
Hinweis: Dies stammt aus JeffEs Algorithmen-Hinweisen zu Wiederholungen, Seite 5. (1). Wir definieren also die Wiederholung ohne Basisfall. Jetzt verstehe ich, dass für die meisten Rezidive, da wir nach asymptotischen Grenzen suchen, der Basisfall keine Rolle spielen würde. Aber in diesem Fall sehe...
Lesen Sie diese Antwort auf diese SO-Frage: Warum kombinieren wir keine Zufallszahlengeneratoren? , es spricht über sehr hochwertiges PRNG (Pseudo Random Number Generator) Ich frage mich daher, was ein qualitativ hochwertiges PRNG ausmacht. Ich nehme an, Sie können es als "zufälliger"...
Die Feinheiten der Entsprechung zwischen Typentheorie und Kategorietheorie liegen außerhalb meines Wissens. Durch mein naives Verständnis der Beziehung zwischen den beiden historisch konvergenten Disziplinen fasst die letztere die erstere vollständig zusammen. Wenn dies der Fall ist, können die von...
Nach meinem Verständnis bedeutet Turing vollständig, dass das Programm oder die Maschine jede Berechnung ausführen kann, die eine Turing-Maschine ausführen kann, was für mich jede Berechnung bedeutet. Wie kann so etwas wie HTML oder PowerPoint vollständig
Ich arbeite gerade an etwas und habe alle Dezimalstellen 0-9 in Binärzahlen konvertiert. Aber jetzt möchte ich sagen 6 in binär nehmen und seine Größenordnung um Basis 10 erhöhen (6 in 60 verwandeln), ohne zurück zu Basis 10 zu konvertieren. Ist dies möglich und wenn ja, gibt es eine Möglichkeit,...
Es gibt einen sehr einfachen randomisierten Algorithmus, der bei einem 3SAT eine Zuordnung erzeugt, die mindestens 7/8 der Klauseln erfüllt (in Erwartung): Wählen Sie eine zufällige Zuordnung. Eine zufällige Zuordnung erfüllt jede Klausel mit einer Wahrscheinlichkeit von 7/8, und die Linearität der...
Ich bin neu in der Komplexitätstheorie und möchte wissen, was strukturelle Komplexitätstheorie ist. Welche Probleme versuchen Theoretiker auf diesem Gebiet zu lösen und wie sieht ihre Zukunft aus? Aus der Wikipedia: Die Theorie der strukturellen Komplexität oder einfach die strukturelle Komplexität...
Ich lese gerade das Buch Einführung in die Theorie der Berechnung (2. oder 3. Aufl.) Von Michael Sipser und bin auf eine Frage in Kapitel 1 - Reguläre Sprachen gestoßen , nämlich wenn der Autor die Beweisidee von Satz 1.49 vorlegt - "Die Klasse der regulären Sprachen ist unter der Sternoperation...