完整图计算模型的时间和空间度量

我们提出了一个基于GP 2图形程序子类的计算模型，它可以在空间O（s（n））中模拟任何空间复杂度为O（s。模拟只需要二次时间开销。我们的模型与Schönhage的存储修改机器和Kolmogorov-Uspenskii机器共享此特性。这些机器使用低级指针指令，而我们基于GP2的模型使用基于模式的转换规则和高级控制结构。