Refine
Keywords
- computability (1) (remove)
Vergleich unstetiger Funktionen: "Principle of Omniscience" und Vollständigkeit in der C-Hierarchie
(2006)
Es wird der Grad unstetiger Funktionen durch Vergleich mit zwei Funktionen, dem Principle of Omniscience und der Funktion C, festgelegt. Beim Vergleich wird eine bestimmte Reduzierbarkeitsrelation, die 2-Reduzierbarkeit, verwendet. Im ersten Teil wird gezeigt, dass es verschiedene Funktionenmengen und mehrwertige Funktionen gibt, die noch einfacher als das Principle of Omnicscience sind. Ferner wird ein Algorithmus entwickelt, mit dem berechnet werden kann, ob Funktionen aufeinander reduzierbar sind. Im zweiten Teil werden Funktionen definiert, die vollständig für die Klassen der C-Hierarchie sind. Für bestimmte Funktionen wird gezeigt, dass sie nicht vollständig sind.
