Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Beispiel für Solidität und Vollständigkeit der Inferenz
Ist das folgende Beispiel korrekt darüber , ob ein Inferenz - Algorithmus ist Ton und vollständig ? Angenommen, wir haben die Nadeln a, b, c im Heuhaufen und haben auch einen Inferenzalgorithmus, mit dem Nadeln gefunden werden können. Ton - Es werden nur die Nadeln a, b und c erhalten. …
11 logic 
1
Teilmengen unendlicher rekursiver Mengen
Eine aktuelle Prüfungsfrage lautete wie folgt: ist eine unendliche rekursiv aufzählbare Menge. Beweisen Sie, dass A eine unendliche rekursive Teilmenge hat.AAAAAA Lassen eine unendliche rekursive Untergruppe von seiner A . Muss C eine Teilmenge haben, die nicht rekursiv aufzählbar ist?CCCAAACCC Ich habe schon 1. geantwortet. In Bezug auf 2. antwortete …
1
Ein kontinuierliches Optimierungsproblem, das sich auf TSP reduziert
Angenommen, ich bekomme eine endliche Menge von Punkten p1,p2,..pnp1,p2,..pnp_1,p_2,..p_n in der Ebene und gebeten, eine doppelt differenzierbare Kurve C(P)C(P)C(P) durch die zu zeichnen pipip_i, so dass ihr Umfang so klein wie möglich ist. Angenommen, und , kann ich dieses Problem wie folgt formalisieren:pi=(xi,yi)pi=(xi,yi)p_i=(x_i,y_i)xi&lt;xi+1xi&lt;xi+1x_i<x_{i+1} Aufgabe 1 (bearbeitet als Antwort auf Sureshs …
1
Constraint-basierte Typinferenz mit algebraischen Daten
Ich arbeite an einer ausdrucksbasierten Sprache der ML-Genealogie, daher ist natürlich eine Typinferenz erforderlich&gt; :) Jetzt versuche ich, eine auf Einschränkungen basierende Lösung für das Problem der Ableitung von Typen zu erweitern, die auf einer einfachen Implementierung in EOPL (Friedman und Wand) basiert, aber sie sind elegant algebraische Datentypen. Was …
2
Umgang mit Arrays bei Korrektheitsprüfungen im Hoare-Stil
In der Diskussion um diese Frage erwähnt Gilles richtig, dass jeder Korrektheitsnachweis eines Algorithmus, der Arrays verwendet, beweisen muss, dass es keine Array-Zugriffe außerhalb der Grenzen gibt. Abhängig vom Laufzeitmodell würde dies einen Laufzeitfehler oder den Zugriff auf Nicht-Array-Elemente verursachen. Eine übliche Technik, um solche Korrektheitsnachweise durchzuführen (zumindest in Grundstudien …
2
Nichtparametrische Methoden wie K-Nearest-Neighbors im hochdimensionalen Merkmalsraum
Die Hauptidee von k-Nearest-Neighbor berücksichtigt die nächstgelegenen Punkte und entscheidet über die Klassifizierung der Daten mit Stimmenmehrheit. Wenn ja, sollte es keine Probleme mit höherdimensionalen Daten geben, da Methoden wie lokalitätssensitives Hashing die nächsten Nachbarn effizient finden können.kkk Darüber hinaus kann die Merkmalsauswahl mit Bayes'schen Netzwerken die Datendimension verringern und …
2
Wie kann man beweisen, dass
Dies ist eine Hausaufgabenfrage aus Udi Manbers Buch. Jeder Hinweis wäre schön :) Ich muss das zeigen: n(log3(n))5=O(n1.2)n(log3⁡(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Ich habe versucht, Satz 3.1 des Buches zu verwenden: (für c &gt; 0 , a &gt; 1 )f(n)c=O(af(n))f(n)c=O(af(n))f(n)^c = O(a^{f(n)})c&gt;0c&gt;0c > 0a&gt;1a&gt;1a > 1 Ersetzen: (log3(n))5=O(3log3(n))=O(n)(log3⁡(n))5=O(3log3⁡(n))=O(n)(\log_3(n))^5 = O(3^{\log_3(n)}) = O(n) …
1
Prioritätswarteschlange mit Operationen zum Verringern des Schlüssels und zum Erhöhen des Schlüssels
Ein Fibonnaci-Heap unterstützt die folgenden Vorgänge: insert(key, data) : Fügt der Datenstruktur ein neues Element hinzu find-min() : Gibt einen Zeiger auf das Element mit dem minimalen Schlüssel zurück delete-min() : Entfernt das Element mit dem minimalen Schlüssel delete(node) : löscht das Element, auf das von zeigt node decrease-key(node) : …
1
Wie funktioniert die Stapelinspektion?
Dies ist der Vorläufer meiner anderen, weiter fortgeschrittenen Frage zur Stapelinspektion. Die Stapelinspektion ist ein in der JVM eingeführter Sicherheitsmechanismus für die Ausführung von Code, der von Standorten mit unterschiedlichen Vertrauensstufen stammt. Diese Frage zielt darauf ab, eine einfache Beschreibung seiner Funktionalität zu finden. So: Wie funktioniert die Stapelinspektion?
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.