Computerwissenschaften

11
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. vollständig...

11
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...

11
Eine

Ich möchte angeben, was es bedeutet, eine Algebra als Eingabe für einen Algorithmus zu geben, und habe nicht viel Literatur darüber gefunden. Daher möchte ich zunächst fragen, ob Sie ein Buch oder eine Arbeit empfehlen können, die sich mit dem Thema der Komplexitätsanalyse von Algebren über Felder...

11
Verfeinerungsarten ableiten

Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

11
Ist

Ich habe also diese Frage, um eine Aussage zu beweisen: ...O(n)⊂Θ(n)O(n)⊂Θ(n)O(n)\subset\Theta(n) Ich brauche nicht zu wissen , wie es zu beweisen, dass gerade in meinem Kopf dies keinen Sinn macht , und ich denke , es sollte vielmehr sein , dass .Θ(n)⊂O(n)Θ(n)⊂O(n)\Theta(n)\subset O(n) Mein...

11
Chromatisches Polynom eines Quadrats

Betrachten Sie ein Quadrat, ABCD. Intuitiv schien es mir, dass sein chromatisches Polynom λ(λ−1)(λ−1)(λ−2)λ(λ−1)(λ−1)(λ−2)\lambda(\lambda - 1)(\lambda - 1)(\lambda - 2) wo λλ\lambda Farben verfügbar sind. Das heißt, es gibt λλ\lambda Möglichkeiten, wie eine Farbe für A ausgewählt werden kann, es...