Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism
Computational Complexity
2021-04-20 v5
Abstract
We present implications from the known conjectures like APSP, 3SUM and ETH in a form of a negated containment of a linear-time with a non-deterministic logarithmic-bit oracle in a respective deterministic bounded-time class They are different for different conjectures and they exhibit in particular the dependency on the input range parameters.
Cite
@article{arxiv.2011.02428,
title = {Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism},
author = {Andrzej Lingas},
journal= {arXiv preprint arXiv:2011.02428},
year = {2021}
}
Comments
The section on range reduction in a previous version contained a flaw in a proof and therefore it has been removed