Als «space-complexity» getaggte Fragen

Asymptotische Analysen des Raums, der zum Ausführen von Algorithmen benötigt wird.

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

8
Komplette Probleme für

Wir wissen, dass die polyLpolyLpolyL-Hierarchie hat keine vollständigen Probleme, da dies mit dem Satz der Raumhierarchie in Konflikt stehen würde. Aber: Gibt es für jede Ebene dieser Hierarchie vollständige Probleme? Um genau zu sein: Tut die Klasse DSPACE(log(n)k)DSPACE(log⁡(n)k)DSPACE(\log(n)^k)...

7
Tut

Es ist bekannt, dass für f(n)≥lognf(n)≥log⁡nf(n) \geq \log n, NSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)). Was, wenn