Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Das
Ich versuche zu beweisen, dass ein binärer Heap mit Knoten genau Blätter hat, , der Heap ist folgendermaßen aufgebaut:⌈ nnnn⌈ n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Jeder neue Knoten wird per Perkolation eingefügt . Dies bedeutet, dass jeder neue Knoten beim nächsten verfügbaren untergeordneten Knoten erstellt werden muss. Damit meine ich, dass Kinder …
3
Unterschied zwischen "Information" und "Nutzinformation" in der algorithmischen Informationstheorie
Laut Wikipedia : Informellerweise entspricht aus der Sicht der algorithmischen Informationstheorie der Informationsgehalt einer Zeichenkette der Länge der kürzest möglichen in sich geschlossenen Darstellung dieser Zeichenkette. Was ist die analoge informelle rigorose Definition von "nützlichen Informationen"? Warum werden "nützliche Informationen" nicht als das natürlichere oder grundlegendere Konzept angesehen? naiv scheint …
2
Sprachen, die von modifizierten Versionen endlicher Automaten akzeptiert werden
Ein deterministischer endlicher Automat (DFA) ist ein Zustandsmaschinenmodell, das alle und nur reguläre Sprachen akzeptieren kann. DFAs können (und werden in der Regel) so definiert, dass jeder Status einen Übergang für alle Elemente des Eingabealphabets bereitstellen muss. Mit anderen Worten, die Übergangsfunktion sollte eine (Gesamt-) Funktion sein.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times …
1
Methoden zur Bewertung eines Systems schriftlicher Regeln
Ich habe versucht, ein System zu entwickeln, das die Satzung einer Organisation bewertet, um die zugrunde liegende Logik zu bestimmen. Ich denke, ein Prädikatsystem erster Ordnung würde für die Darstellung der Regeln funktionieren, die aus dem Text mittels Part-of-Speech-Tagging und anderen NLP-Techniken übersetzt werden könnten. Gibt es eine systematische Möglichkeit, …
3
Wie man eine Sprache homoikonisch macht
Laut diesem Artikel gibt die folgende Zeile des Lisp-Codes "Hello world" in der Standardausgabe aus. (format t "hello, world") Lisp, eine homoikonische Sprache , kann Code wie folgt als Daten behandeln: Stellen Sie sich nun vor, wir hätten folgendes Makro geschrieben: (defmacro backwards (expr) (reverse expr)) rückwärts ist der Name …
2
Berechnen Sie einen maximalen Durchfluss aus einem minimalen Schnitt
Wir wissen, dass die Berechnung eines maximalen Durchflusses resp. Ein Minimum-Cut eines Netzwerks mit Kapazitäten ist äquivalent. vgl. der Max-Flow-Min-Cut-Satz . Wir haben (mehr oder weniger effiziente) Algorithmen zur Berechnung der maximalen Durchflussmengen, und die Berechnung einer minimalen Absenkung bei maximaler Durchflussmenge ist weder schwierig noch teuer. Aber was ist …
1
Quantum Computing - Beziehung zwischen Hamilton-Modell und Einheitsmodell
Bei der Entwicklung von Algorithmen für das Quantencomputing ist mir aufgefallen, dass es zwei Hauptmodelle gibt, in denen dies durchgeführt wird. Einige Algorithmen - wie zum Beispiel für das Hamilton-NAND-Baum-Problem (Farhi, Goldstone, Guttman) - entwerfen einen Hamilton-Zustand und einen Anfangszustand und lassen das System dann für einige Zeit nach der …
3
Rezeptbuch für SAT-Kodierungen?
SAT-Löser lösen immer effizienter große Instanzen und werden in verschiedenen Zusammenhängen als Back-End eingesetzt. Jedes Mal, wenn jemand sie zur Lösung eines Problems in einem bestimmten Bereich verwenden möchte, muss er / sie eine Ad-hoc-Codierung entwickeln, die nicht nur die richtigen Lösungen bietet, sondern auch die Einschränkungen (auch überflüssig) in …
1
Überschneidung des Kontexts frei mit regulären Sprachen
Der Schnittpunkt einer kontextfreien Sprache L mit einer regulären Sprache M soll immer kontextfrei sein. Ich habe den produktübergreifenden Konstruktionsnachweis verstanden, verstehe aber immer noch nicht, warum er kontextfrei, aber nicht regelmäßig ist. Die durch eine solche Schnittmenge erzeugte Sprache enthält Zeichenfolgen, die sowohl von einem PDA als auch von …
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.