Files in this item
Superlinear lower bounds based on ETH
Item metadata
dc.contributor.author | Salamon, András Z. | |
dc.contributor.author | Wehar, Michael | |
dc.contributor.editor | Berenbrink, Petra | |
dc.contributor.editor | Monmege, Benjamin | |
dc.date.accessioned | 2022-02-15T15:30:17Z | |
dc.date.available | 2022-02-15T15:30:17Z | |
dc.date.issued | 2022-03-15 | |
dc.identifier | 277875924 | |
dc.identifier | 386b9262-f2e3-4531-bf7e-3460acfca502 | |
dc.identifier | 85127161955 | |
dc.identifier.citation | Salamon , A Z & Wehar , M 2022 , Superlinear lower bounds based on ETH . in P Berenbrink & B Monmege (eds) , Symposium on Theoretical Aspects of Computer Science (STACS 2022) . , 14 , Leibniz International Proceedings in Informatics , Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH , The 39th International Symposium on Theoretical Aspects of Computer Science , 15/03/22 . https://doi.org/10.4230/LIPIcs.STACS.2022.55 | en |
dc.identifier.citation | conference | en |
dc.identifier.issn | 1868-8969 | |
dc.identifier.other | ORCID: /0000-0002-1415-9712/work/110131885 | |
dc.identifier.uri | https://hdl.handle.net/10023/24882 | |
dc.description | Andras Z. Salamon acknowledges support from EPSRC grants EP/P015638/1 and EP/V027182/1. | en |
dc.description.abstract | We introduce techniques for proving superlinear conditional lower bounds for polynomial time problems. In particular, we show that CircuitSAT for circuits with m gates and log(m) inputs (denoted by log-CircuitSAT) is not decidable in essentially-linear time unless the exponential time hypothesis (ETH) is false and k-Clique is decidable in essentially-linear time in terms of the graph's size for all fixed k. Such conditional lower bounds have previously only been demonstrated relative to the strong exponential time hypothesis (SETH). Our results therefore offer significant progress towards proving unconditional superlinear time complexity lower bounds for natural problems in polynomial time. | |
dc.format.extent | 15 | |
dc.format.extent | 464884 | |
dc.language.iso | eng | |
dc.publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH | |
dc.relation.ispartof | Symposium on Theoretical Aspects of Computer Science (STACS 2022) | en |
dc.relation.ispartofseries | Leibniz International Proceedings in Informatics | en |
dc.subject | QA Mathematics | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | NS | en |
dc.subject.lcc | QA | en |
dc.subject.lcc | QA75 | en |
dc.title | Superlinear lower bounds based on ETH | en |
dc.type | Conference item | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | 10.4230/LIPIcs.STACS.2022.55 | |
dc.identifier.url | https://drops.dagstuhl.de/opus/institut_lipics.php?fakultaet=04 | en |
dc.identifier.url | https://arxiv.org/abs/2008.06805v5 | en |
dc.identifier.grantnumber | EP/V027182/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.