Time and Space Measures for a Complete Graph Computation Model
arXiv:2212.11637 · doi:10.4204/EPTCS.374.4
Abstract
We present a computation model based on a subclass of GP 2 graph programs which can simulate any off-line Turing machine of space complexity O(s(n) log s(n)) in space O(s(n)). The simulation only requires a quadratic time overhead. Our model shares this property with Schönhage's storage modification machines and Kolmogorov-Uspenskii machines. These machines use low-level pointer instructions whereas our GP 2-based model uses pattern-based transformation rules and high-level control constructs.
In Proceedings GCM 2022, arXiv:2212.10975