English

On the Complexity of Determinations

Computational Complexity 2026-04-08 v3

Abstract

Classical complexity theory measures the cost of computing a function, but many computational tasks require committing to one valid output among several. We introduce determination depth -- the minimum number of sequential layers of irrevocable commitments needed to select a single valid output -- and show that no amount of computation can eliminate this cost. We exhibit relational tasks whose commitments are constant-time table lookups yet require exponential parallel width to compensate for any reduction in depth. A conservation law shows that enriching commitments merely relabels determination layers as circuit depth, preserving the total sequential cost. For circuit-encoded specifications, the resulting depth hierarchy captures the polynomial hierarchy (Σ2kP\Sigma_{2k}^P-complete for each fixed kk, PSPACE-complete for unbounded kk). In the online setting, determination depth is fully irreducible: unlimited computation between commitment layers cannot reduce their number.

Keywords

Cite

@article{arxiv.2603.28031,
  title  = {On the Complexity of Determinations},
  author = {Joseph M. Hellerstein},
  journal= {arXiv preprint arXiv:2603.28031},
  year   = {2026}
}
R2 v1 2026-07-01T11:43:28.042Z