English

Modern Lower Bound Techniques in Database Theory and Constraint Satisfaction

Computational Complexity 2022-03-16 v1 Databases

Abstract

Conditional lower bounds based on PNPP\neq NP, the Exponential-Time Hypothesis (ETH), or similar complexity assumptions can provide very useful information about what type of algorithms are likely to be possible. Ideally, such lower bounds would be able to demonstrate that the best known algorithms are essentially optimal and cannot be improved further. In this tutorial, we overview different types of lower bounds, and see how they can be applied to problems in database theory and constraint satisfaction.

Keywords

Cite

@article{arxiv.2203.07717,
  title  = {Modern Lower Bound Techniques in Database Theory and Constraint Satisfaction},
  author = {Dániel Marx},
  journal= {arXiv preprint arXiv:2203.07717},
  year   = {2022}
}

Comments

PODS 2021 Tutorial

R2 v1 2026-06-24T10:13:37.553Z