Complexity Lower Bounds from Algorithm Design
Since the beginning of the theory of computation, researchers have been fascinated by the prospect of proving impossibility results on computing. When and how can we argue that a task cannot be efficiently solved, no matter what algorithm we try to use?In this short article, I will briefly introduce...
Uloženo v:
| Vydáno v: | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science s. 1 - 3 |
|---|---|
| Hlavní autor: | |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
IEEE
29.06.2021
|
| Témata: | |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Since the beginning of the theory of computation, researchers have been fascinated by the prospect of proving impossibility results on computing. When and how can we argue that a task cannot be efficiently solved, no matter what algorithm we try to use?In this short article, I will briefly introduce some of the ideas behind a research program in computational complexity that I and others have studied, for the last decade. (The accompanying talk will contain more details.) The program begins with the observations that:(a) Computer scientists know a great deal about how to design efficient algorithms.(b) However, we do not know how to prove many weak-looking complexity lower bounds.It turns out that certain knowledge we have from (a) can be leveraged to prove complexity lower bounds in a systematic way, making progress on (b). For example, progress on faster circuit satisfiability algorithms (even those that barely improve upon exhaustive search) automatically imply circuit complexity lower bounds for interesting functions. 1 |
|---|---|
| AbstractList | Since the beginning of the theory of computation, researchers have been fascinated by the prospect of proving impossibility results on computing. When and how can we argue that a task cannot be efficiently solved, no matter what algorithm we try to use?In this short article, I will briefly introduce some of the ideas behind a research program in computational complexity that I and others have studied, for the last decade. (The accompanying talk will contain more details.) The program begins with the observations that:(a) Computer scientists know a great deal about how to design efficient algorithms.(b) However, we do not know how to prove many weak-looking complexity lower bounds.It turns out that certain knowledge we have from (a) can be leveraged to prove complexity lower bounds in a systematic way, making progress on (b). For example, progress on faster circuit satisfiability algorithms (even those that barely improve upon exhaustive search) automatically imply circuit complexity lower bounds for interesting functions. 1 |
| Author | Williams, R. Ryan |
| Author_xml | – sequence: 1 givenname: R. Ryan surname: Williams fullname: Williams, R. Ryan email: rrw@mit.edu organization: Massachusetts Institute of Technology,Computer Science & Artificial Intelligence Laboratory,Cambridge,Massachusetts,02139 |
| BookMark | eNotj81Kw0AURkdQUGueQJC8QOKd_8yyRquFgIvWdZlkbupIkikzEe3bW7Crj3MWB75bcjmFCQl5oFBSCuaxWdcbyZgSJQNGSyM0nPCCZEZXVCkpRGWkuiZZSl8AwCpNQZgbUtRhPAz46-dj3oQfjPlT-J5cyvsYxnw57EP08-eYP2Py--mOXPV2SJidd0E-Vi_b-q1o3l_X9bIpLKvMXGgNvNXAUKHhXGrluoqCtLLjEpXuHCDTjlqjWtYzeZKilZJyJzrTql7zBbn_73pE3B2iH2087s6n-B_sDUNg |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/LICS52264.2021.9470522 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Xplore url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9781665448956 1665448954 |
| EndPage | 3 |
| ExternalDocumentID | 9470522 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IH ACM ALMA_UNASSIGNED_HOLDINGS APO CBEJK GUFHI LHSKQ RIE RIO |
| ID | FETCH-LOGICAL-a289t-7703b702e6e933576dc8105a5c35e67cd0e27d1a96b2f2535e4b5513d4c9b6f73 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000947350400009&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:26:37 EDT 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a289t-7703b702e6e933576dc8105a5c35e67cd0e27d1a96b2f2535e4b5513d4c9b6f73 |
| PageCount | 3 |
| ParticipantIDs | ieee_primary_9470522 |
| PublicationCentury | 2000 |
| PublicationDate | 2021-June-29 |
| PublicationDateYYYYMMDD | 2021-06-29 |
| PublicationDate_xml | – month: 06 year: 2021 text: 2021-June-29 day: 29 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science |
| PublicationTitleAbbrev | LICS |
| PublicationYear | 2021 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0002871049 |
| Score | 2.1481056 |
| Snippet | Since the beginning of the theory of computation, researchers have been fascinated by the prospect of proving impossibility results on computing. When and how... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1 |
| SubjectTerms | Computational complexity Computer science Systematics Task analysis |
| Title | Complexity Lower Bounds from Algorithm Design |
| URI | https://ieeexplore.ieee.org/document/9470522 |
| WOSCitedRecordID | wos000947350400009&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFH5sw4OnqZv4mxw82i1N26Q56nQojDFQYbfR_KgOtB1dJ_jfm9fViuDFW3gkhCQk78vL-_IBXMY-Z4oqTKsyDKNVxp2DRngyUSk1aRQr31RiE2I6jedzOWvBVcOFsdZWyWd2gMXqLd_keoOhsqEMBXV4oQ1tIcSWq9XEUxD5O7Rbk4B9KoeTh9EjoguMnDB_UDf-paJSOZFx93_d70H_h41HZo2f2YeWzQ6g-y3HQOrd2QMPTfi_ZflJJih-Rm5QM2lNkEJCrt9e8mJZvr6T2yppow_P47un0b1XqyF4ibsUlQ4G00AJyiy3MgjcNcHo2IGjJNJBZLnQhlomjJ9IrljKImcMFaq3mFBLxVMRHEInyzN7BIRrHUdhkPCU6zBkiauHjspXhitX3x5DD0e_WG0_vFjUAz_523wKuzjBmD_F5Bl0ymJjz2FHf5TLdXFRrdIX5viRig |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB5qFfRUtRXf5uDRbbPZ3WRz1GppcS0FK_RWNo_VgrbSbgX_vZntWhG8eAtDAnmQzJfJfPkALmOfM0UVplUZhtEq485BIzyZqoyaLIqVbwqxCdHvx6ORHFTgas2FsdYWyWe2icXiLd_M9BJDZS0ZCurwwgZsRmHI_BVbax1RQezv8G5JA_apbCW99iPiC4ydML9ZNv-lo1K4kU7tfx3YhcYPH48M1p5mDyp2ug-1b0EGUu7POnhowh8u80-SoPwZuUHVpAVBEgm5fn2ezSf5yxu5LdI2GvDUuRu2u16ph-Cl7lqUOyBMAyUos9zKIHAXBaNjB4_SSAeR5UIbapkwfiq5YhmLnDFUqN9iQi0Vz0RwANXpbGoPgXCt4ygMUp5x7aYydfXQVfnKcOXq2yOo4-jH76svL8blwI__Nl_Adnf4kIyTXv_-BHZwsjGbislTqObzpT2DLf2RTxbz82LFvgCs_pTR |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+36th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=Complexity+Lower+Bounds+from+Algorithm+Design&rft.au=Williams%2C+R.+Ryan&rft.date=2021-06-29&rft.pub=IEEE&rft.spage=1&rft.epage=3&rft_id=info:doi/10.1109%2FLICS52264.2021.9470522&rft.externalDocID=9470522 |