Catalytic Space: Non-determinism and Hierarchy

Research output: Contribution to journalJournal articlepeer-review

  • Harry Buhrman
  • Michal Koucky
  • Bruno Loff
  • Florian Speelman
Catalytic computation, defined by Buhrman, Cleve, Koucký, Loff and Speelman (STOC 2014), is a space-bounded computation where in addition to our working memory we have an exponentially larger auxiliary memory which is full; the auxiliary memory may be used throughout the computation, but it must be restored to its initial content by the end of the computation. Motivated by the surprising power of this model, we set out to study the non-deterministic version of catalytic computation. We establish that non-deterministic catalytic log-space is contained in ZPP, which is the same bound known for its deterministic counterpart, and we prove that non-deterministic catalytic space is closed under complement (under a standard derandomization assumption). Furthermore, we establish hierarchy theorems for non-deterministic and deterministic catalytic computation.
Original languageEnglish
JournalTheory of Computing Systems
Volume62
Issue number1
Pages (from-to)116-135
ISSN1432-4350
DOIs
Publication statusPublished - Jan 2018

    Research areas

  • Computational complexity, Space complexity, Non-determinism

ID: 190652879