{"id":"https://openalex.org/W4411436020","doi":"https://doi.org/10.1145/3745017","title":"The Complexity of Computing KKT Solutions of Quadratic Programs","display_name":"The Complexity of Computing KKT Solutions of Quadratic Programs","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411436020","doi":"https://doi.org/10.1145/3745017"},"language":"en","primary_location":{"id":"doi:10.1145/3745017","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3745017","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3745017","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029623300","display_name":"John Fearnley","orcid":"https://orcid.org/0000-0003-0791-4342"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Fearnley","raw_affiliation_strings":["University of Liverpool","University of Liverpool, Liverpool, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-0791-4342","affiliations":[{"raw_affiliation_string":"University of Liverpool","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"University of Liverpool, Liverpool, United Kingdom","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067662147","display_name":"Paul W. Goldberg","orcid":"https://orcid.org/0000-0002-5436-7890"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Paul Goldberg","raw_affiliation_strings":["University of Oxford","University of Oxford, Oxford, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-5436-7890","affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065826113","display_name":"Alexandros Hollender","orcid":"https://orcid.org/0000-0001-5255-9349"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alexandros Hollender","raw_affiliation_strings":["University of Oxford","All Souls College, University of Oxford","University of Oxford, Oxford, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-5255-9349","affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"All Souls College, University of Oxford","institution_ids":["https://openalex.org/I4210146410","https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084692264","display_name":"Rahul Savani","orcid":"https://orcid.org/0000-0003-1262-7831"},"institutions":[{"id":"https://openalex.org/I125680101","display_name":"Turing Institute","ror":"https://ror.org/02x2mw849","country_code":"GB","type":"facility","lineage":["https://openalex.org/I125680101"]},{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]},{"id":"https://openalex.org/I4210128584","display_name":"The Alan Turing Institute","ror":"https://ror.org/035dkdb55","country_code":"GB","type":"facility","lineage":["https://openalex.org/I4210128584"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rahul Savani","raw_affiliation_strings":["The Alan Turing Institute","University of Liverpool","The Alan Turing Institute, London, United Kingdom and University of Liverpool, Liverpool, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-1262-7831","affiliations":[{"raw_affiliation_string":"The Alan Turing Institute","institution_ids":["https://openalex.org/I4210128584"]},{"raw_affiliation_string":"University of Liverpool","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"The Alan Turing Institute, London, United Kingdom and University of Liverpool, Liverpool, United Kingdom","institution_ids":["https://openalex.org/I4210128584","https://openalex.org/I125680101"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19450997,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"72","issue":"5","first_page":"1","last_page":"48"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/karush\u2013kuhn\u2013tucker-conditions","display_name":"Karush\u2013Kuhn\u2013Tucker conditions","score":0.9973404407501221},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.6689708232879639},{"id":"https://openalex.org/keywords/cls-upper-limits","display_name":"CLs upper limits","score":0.6169811487197876},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5599789023399353},{"id":"https://openalex.org/keywords/quadratic-programming","display_name":"Quadratic programming","score":0.5569679737091064},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.5085855722427368},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5011599063873291},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.45482686161994934},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4284183382987976},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4264407753944397},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.38691115379333496},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3375623822212219},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33556199073791504},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3041536808013916},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2743583917617798},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1064005196094513}],"concepts":[{"id":"https://openalex.org/C50454189","wikidata":"https://www.wikidata.org/wiki/Q2075125","display_name":"Karush\u2013Kuhn\u2013Tucker conditions","level":2,"score":0.9973404407501221},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.6689708232879639},{"id":"https://openalex.org/C190729725","wikidata":"https://www.wikidata.org/wiki/Q5012817","display_name":"CLs upper limits","level":2,"score":0.6169811487197876},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5599789023399353},{"id":"https://openalex.org/C81845259","wikidata":"https://www.wikidata.org/wiki/Q290117","display_name":"Quadratic programming","level":2,"score":0.5569679737091064},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.5085855722427368},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5011599063873291},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.45482686161994934},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4284183382987976},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4264407753944397},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.38691115379333496},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3375623822212219},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33556199073791504},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3041536808013916},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2743583917617798},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1064005196094513},{"id":"https://openalex.org/C119767625","wikidata":"https://www.wikidata.org/wiki/Q618211","display_name":"Optometry","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3745017","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3745017","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3745017","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3745017","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4871744450","display_name":null,"funder_award_id":"EP/W014750/1, EP/X040461/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1549791526","https://openalex.org/W1582056940","https://openalex.org/W1594319238","https://openalex.org/W1980813953","https://openalex.org/W1991624978","https://openalex.org/W1995246641","https://openalex.org/W2002373723","https://openalex.org/W2016232593","https://openalex.org/W2018556306","https://openalex.org/W2019886197","https://openalex.org/W2027470314","https://openalex.org/W2031178115","https://openalex.org/W2031494345","https://openalex.org/W2039526985","https://openalex.org/W2050095729","https://openalex.org/W2057913812","https://openalex.org/W2062200659","https://openalex.org/W2063549526","https://openalex.org/W2063676335","https://openalex.org/W2079135578","https://openalex.org/W2090863037","https://openalex.org/W2103981148","https://openalex.org/W2125772126","https://openalex.org/W2169359757","https://openalex.org/W2544415776","https://openalex.org/W2811432292","https://openalex.org/W2952338482","https://openalex.org/W3048750752","https://openalex.org/W3082337096","https://openalex.org/W3103382473","https://openalex.org/W3166070555","https://openalex.org/W3216451529","https://openalex.org/W4206804914","https://openalex.org/W4297818593","https://openalex.org/W4306407822","https://openalex.org/W4385767379"],"related_works":["https://openalex.org/W2164754346","https://openalex.org/W4378551200","https://openalex.org/W2610069809","https://openalex.org/W2070901360","https://openalex.org/W4405185950","https://openalex.org/W3036464408","https://openalex.org/W2020990755","https://openalex.org/W2377851227","https://openalex.org/W4293088966","https://openalex.org/W2366868484"],"abstract_inverted_index":{"It":[0],"is":[1,10,53],"well":[2],"known":[3],"that":[4,15,39],"solving":[5],"a":[6,27,33,41,45],"(non-convex)":[7],"quadratic":[8,46],"program":[9],"NP":[11],"-hard.":[12],"We":[13],"show":[14],"the":[16,49,56],"problem":[17],"remains":[18],"hard":[19],"even":[20],"if":[21],"we":[22,37],"are":[23],"only":[24],"looking":[25],"for":[26,55],"Karush\u2013Kuhn\u2013Tucker":[28],"(KKT)":[29],"point,":[30],"instead":[31],"of":[32,44],"global":[34],"optimum.":[35],"Namely,":[36],"prove":[38],"computing":[40],"KKT":[42],"point":[43],"polynomial":[47],"over":[48],"domain":[50],"[0,1]":[51],"n":[52],"complete":[54],"class":[57],"CLS":[58],"=":[59],"PPAD":[60],"\u2229":[61],"PLS":[62],".":[63]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}