Zeigen Sie eine Funktion die räumlich, aber nicht zeitlich konstruierbar ist.
Hängt dieses Problem mit einer möglichen Trennung zwischen den Komplexitätsklassen DTIME (f (n)) und SPACE (f (n)) zusammen?
Zeigen Sie eine Funktion die räumlich, aber nicht zeitlich konstruierbar ist.
Hängt dieses Problem mit einer möglichen Trennung zwischen den Komplexitätsklassen DTIME (f (n)) und SPACE (f (n)) zusammen?
Antworten:
Eine Funktion ist zeitlich konstruierbar, wenn es eine Turingmaschine M gibt, die bei Eingabe 1 n die Funktion x ↦ T ( | x | ) in der Zeit O ( T ( n ) ) berechnet .
Eine Funktion ist raumkonstruierbar, wenn es eine Turingmaschine M gibt, die bei Eingabe 1 n die Funktion x ↦ S ( | x | ) im Raum O ( S ( n ) ) berechnet .
Einige Texte erfordern, dass die zeitlich / räumlich konstruierbaren Funktionen nicht abnehmen. Einige Texte erfordern, dass die zeitkonstruierbaren Funktionen erfüllen und die raumkonstruierbaren Funktionen S ( n ) ≥ log n erfüllen . Einige Texte verwenden in der Definition nicht die O ( ⋅ ) -Notation.
Wie auch immer, es ist leicht zu zeigen, dass jede "gewöhnliche" Funktion , die f ( n ) ≥ log n und f ( n ) = o ( n ) erfüllt, räumlich konstruierbar ist, aber nicht zeitkonstruierbar.
Das Konstruierbarkeitsproblem hängt nicht direkt mit einer möglichen Trennung zwischen den Komplexitätsklassen DTIME (f (n)) und SPACE (f (n)) zusammen. Die Aussage der Zeit- und Raumhierarchiesätze beinhaltet jedoch die Konstruierbarkeit. Zum Beispiel:
Zeithierarchiesatz Wenn , g zeitkonstruierbare Funktionen sind, die f ( n ) log f ( n ) = o ( g ( n ) ) erfüllen , dann ist D T I M E ( f ( n ) ) eine geeignete Teilmenge von D T. I M E ( g ( n ) ) .
Weitere Informationen finden Sie in Arora & Baraks Buch oder Papadimitriou . (Letzterer verwendet den Begriff "richtige Komplexitätsfunktion", um sich auf eine zu beziehen, die sowohl zeitlich als auch räumlich konstruierbar ist.)
ist räumlich konstruierbar, aber nicht zeitkonstruierbar. Der Grund ist, dass Sie 1 n der binären Darstellung im Raum O ( log n ) zuordnen können,jedoch nicht in der Zeit O ( log n ) .