Complexity Classes for Online Problems with and without Predictions

TL;DR

This paper develops a new complexity theory framework for online problems with predictions, introducing hierarchies of classes based on error measures, and analyzing their properties and relationships to classical online problems.

Contribution

It introduces a formal hierarchy of complexity classes for online problems with predictions, including notions of reductions, hardness, and completeness, expanding theoretical understanding.

Findings

Hierarchy of complexity classes for online problems with predictions

Reductions and completeness notions within the new framework

Lower bounds for paging with discard predictions apply broadly

Abstract

With the developments in machine learning, there has been a surge in interest and results focused on algorithms utilizing predictions, not least in online algorithms where most new results incorporate the prediction aspect for concrete online problems. While the structural computational hardness of problems with regards to time and space is quite well developed, not much is known about online problems where time and space resources are typically not in focus. Some information-theoretical insights were gained when researchers considered online algorithms with oracle advice, but predictions of uncertain quality is a very different matter. We initiate the development of a complexity theory for online problems with predictions, focusing on binary predictions for minimization problems. Based on the most generic hard online problem type, string guessing, we define a family of hierarchies of complexity classes (indexed by pairs of error measures) and develop notions of reductions, class membership, hardness, and completeness. Our framework contains all the tools one expects to find when working with complexity, and we illustrate our tools by analyzing problems with different characteristics. In addition, we show that known lower bounds for paging with discard predictions apply directly to all hard problems for each class in the hierarchy based on the canonical pair of error measures. This paging problem is not complete for these classes. Our work also implies corresponding complexity classes for classic online problems without predictions, with the corresponding complete problems.