{"@context":"https:\/\/schema.org\/","@type":"ScholarlyArticle","@id":"#article10678","name":"Nonuniform Reductions and NP-Completeness","abstract":"Nonuniformity is a central concept in computational complexity with powerful connections to circuit complexity and randomness. Nonuniform reductions have been used to study the isomorphism conjecture for NP and completeness for larger complexity classes. We study the power of nonuniform reductions for NP0completeness, obtaining both separations and upper bounds for nonuniform completeness vs uniform complessness in NP.\r\n\r\nUnder various hypotheses, we obtain the following separations:\r\n\r\n1. There is a set complete for NP under nonuniform many-one reductions, but not under uniform many-one reductions. This is true even with a single bit of nonuniform advice.\r\n\r\n2. There is a set complete for NP under nonuniform many-one reductions with polynomial-size advice, but not under uniform Turing reductions. That is, polynomial nonuniformity is stronger than a polynomial number of queries.\r\n\r\n3. For any fixed polynomial p(n), there is a set complete for NP under uniform 2-truth-table reductions, but not under nonuniform many-one reductions that use p(n) advice. That is, giving a uniform reduction a second query makes it more powerful than a nonuniform reduction with fixed polynomial advice.\r\n\r\n4. There is a set complete for NP under nonuniform many-one reductions with polynomial ad- vice, but not under nonuniform many-one reductions with logarithmic advice. This hierarchy theorem also holds for other reducibilities, such as truth-table and Turing.\r\n\r\nWe also consider uniform upper bounds on nonuniform completeness. Hirahara (2015) showed that unconditionally every set that is complete for NP under nonuniform truth-table reductions that use logarithmic advice is also uniformly Turing-complete. We show that under a derandomization hypothesis, the same statement for truth-table reductions and truth-table completeness also holds.","keywords":["computational complexity","NP-completeness","reducibility","nonuniform complexity"],"author":[{"@type":"Person","name":"Hitchcock, John M.","givenName":"John M.","familyName":"Hitchcock"},{"@type":"Person","name":"Shafei, Hadi","givenName":"Hadi","familyName":"Shafei"}],"position":40,"pageStart":"40:1","pageEnd":"40:13","dateCreated":"2018-02-27","datePublished":"2018-02-27","isAccessibleForFree":true,"license":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode","copyrightHolder":[{"@type":"Person","name":"Hitchcock, John M.","givenName":"John M.","familyName":"Hitchcock"},{"@type":"Person","name":"Shafei, Hadi","givenName":"Hadi","familyName":"Shafei"}],"copyrightYear":"2018","accessMode":"textual","accessModeSufficient":"textual","creativeWorkStatus":"Published","inLanguage":"en-US","sameAs":"https:\/\/doi.org\/10.4230\/LIPIcs.STACS.2018.40","publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","citation":["http:\/\/dx.doi.org\/10.1109\/CCC.2009.17","http:\/\/pages.cs.wisc.edu\/~dieter\/Research\/m-complete.html","http:\/\/dx.doi.org\/10.1007\/s00224-008-9163-5","http:\/\/www.cs.uwyo.edu\/~jhitchco\/papers\/sspp.shtml","http:\/\/www.cs.uwyo.edu\/~jhitchco\/papers\/crnpcs.shtml","http:\/\/www.cs.uwyo.edu\/~jhitchco\/papers\/hhdcc.shtml","http:\/\/www.cs.iastate.edu\/~pavan\/papers\/sigact.html"],"isPartOf":{"@type":"PublicationVolume","@id":"#volume6299","volumeNumber":96,"name":"35th Symposium on Theoretical Aspects of Computer Science (STACS 2018)","dateCreated":"2018-02-27","datePublished":"2018-02-27","editor":[{"@type":"Person","name":"Niedermeier, Rolf","givenName":"Rolf","familyName":"Niedermeier"},{"@type":"Person","name":"Vall\u00e9e, Brigitte","givenName":"Brigitte","familyName":"Vall\u00e9e"}],"isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#article10678","isPartOf":{"@type":"Periodical","@id":"#series116","name":"Leibniz International Proceedings in Informatics","issn":"1868-8969","isAccessibleForFree":true,"publisher":"Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik","hasPart":"#volume6299"}}}