{"id":"https://openalex.org/W2916507455","doi":"https://doi.org/10.1145/3305272","title":"Gadgets and Anti-Gadgets Leading to a Complexity Dichotomy","display_name":"Gadgets and Anti-Gadgets Leading to a Complexity Dichotomy","publication_year":2019,"publication_date":"2019-02-17","ids":{"openalex":"https://openalex.org/W2916507455","doi":"https://doi.org/10.1145/3305272","mag":"2916507455"},"language":"en","primary_location":{"id":"doi:10.1145/3305272","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3305272","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3305272","source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3305272","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101599971","display_name":"Jin\u2010Yi Cai","orcid":"https://orcid.org/0009-0003-0675-6060"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jin-Yi Cai","raw_affiliation_strings":["University of Wisconsin\u2013Madison, WI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Wisconsin\u2013Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019882889","display_name":"Michael Kowalczyk","orcid":null},"institutions":[{"id":"https://openalex.org/I177331275","display_name":"Northern Michigan University","ror":"https://ror.org/01epvyf46","country_code":"US","type":"education","lineage":["https://openalex.org/I177331275"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Kowalczyk","raw_affiliation_strings":["Northern Michigan University, Marquette, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northern Michigan University, Marquette, MI, USA","institution_ids":["https://openalex.org/I177331275"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059907509","display_name":"Tyson Williams","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tyson Williams","raw_affiliation_strings":["Blocher Consulting, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Blocher Consulting, IL, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101599971"],"corresponding_institution_ids":["https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":0.2021,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.51262776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"11","issue":"2","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9998000264167786,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998000264167786,"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/T12056","display_name":"Markov Chains and Monte Carlo Methods","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6881037950515747},{"id":"https://openalex.org/keywords/gadget","display_name":"Gadget","score":0.6314043402671814},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6063454747200012},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5243706703186035},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.4877341687679291},{"id":"https://openalex.org/keywords/bipartite-graph","display_name":"Bipartite graph","score":0.4670122265815735},{"id":"https://openalex.org/keywords/chromatic-polynomial","display_name":"Chromatic polynomial","score":0.44425347447395325},{"id":"https://openalex.org/keywords/planar-graph","display_name":"Planar graph","score":0.4241522550582886},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4060054421424866},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.34435322880744934}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6881037950515747},{"id":"https://openalex.org/C119770614","wikidata":"https://www.wikidata.org/wiki/Q5516347","display_name":"Gadget","level":2,"score":0.6314043402671814},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6063454747200012},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5243706703186035},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.4877341687679291},{"id":"https://openalex.org/C197657726","wikidata":"https://www.wikidata.org/wiki/Q174733","display_name":"Bipartite graph","level":3,"score":0.4670122265815735},{"id":"https://openalex.org/C126385604","wikidata":"https://www.wikidata.org/wiki/Q1087609","display_name":"Chromatic polynomial","level":3,"score":0.44425347447395325},{"id":"https://openalex.org/C101837359","wikidata":"https://www.wikidata.org/wiki/Q547823","display_name":"Planar graph","level":3,"score":0.4241522550582886},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4060054421424866},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.34435322880744934}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3305272","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3305272","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3305272","source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3305272","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3305272","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3305272","source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computation Theory","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1605703212","display_name":null,"funder_award_id":"1714275","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2064676845","display_name":"AF: Small: Counting Problems, Holographic Algorithms and Dichotomy Theorems","funder_award_id":"1217549","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7176094452","display_name":null,"funder_award_id":"CCF-0914969 and CCF-1714275","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8416257786","display_name":null,"funder_award_id":"CCF-1714275","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8924900563","display_name":null,"funder_award_id":"CCF-1217549","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2916507455.pdf","grobid_xml":"https://content.openalex.org/works/W2916507455.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W1530042113","https://openalex.org/W1571873445","https://openalex.org/W1660495057","https://openalex.org/W1991486497","https://openalex.org/W1997590411","https://openalex.org/W2000217912","https://openalex.org/W2003244973","https://openalex.org/W2003722559","https://openalex.org/W2004233416","https://openalex.org/W2012041962","https://openalex.org/W2012753562","https://openalex.org/W2015133130","https://openalex.org/W2033026830","https://openalex.org/W2040145343","https://openalex.org/W2056017121","https://openalex.org/W2058673868","https://openalex.org/W2064541898","https://openalex.org/W2065813152","https://openalex.org/W2067653823","https://openalex.org/W2074783224","https://openalex.org/W2076090007","https://openalex.org/W2077575555","https://openalex.org/W2078752178","https://openalex.org/W2084341218","https://openalex.org/W2092436554","https://openalex.org/W2097738137","https://openalex.org/W2099255094","https://openalex.org/W2112310806","https://openalex.org/W2115826669","https://openalex.org/W2118223706","https://openalex.org/W2131358503","https://openalex.org/W2145707075","https://openalex.org/W2282669851","https://openalex.org/W2294003223","https://openalex.org/W2358643362","https://openalex.org/W2567588342","https://openalex.org/W2612406003","https://openalex.org/W2913798276","https://openalex.org/W2951635245","https://openalex.org/W2953208278","https://openalex.org/W2963052590","https://openalex.org/W2963623916","https://openalex.org/W3124201190","https://openalex.org/W4210631930"],"related_works":["https://openalex.org/W4252293060","https://openalex.org/W4212943538","https://openalex.org/W2475971442","https://openalex.org/W4312756098","https://openalex.org/W3194202522","https://openalex.org/W4319586723","https://openalex.org/W2206440698","https://openalex.org/W3091274767","https://openalex.org/W4295163867","https://openalex.org/W4312974239"],"abstract_inverted_index":{"We":[0,46,127],"introduce":[1],"an":[2,156],"idea":[3,49],"called":[4],"anti-gadgets":[5,12],"for":[6,56],"reductions":[7],"in":[8,137],"complexity":[9,53],"theory.":[10],"These":[11],"are":[13],"presented":[14],"as":[15,31],"graph":[16,29,44,150],"fragments,":[17,30],"but":[18],"their":[19],"effect":[20],"is":[21,111,134,152,155,178],"equivalent":[22],"to":[23,36,50,189],"erasing":[24],"the":[25,57,148,193],"presence":[26],"of":[27,41,64,159],"other":[28],"if":[32],"we":[33],"had":[34],"managed":[35],"include":[37],"a":[38,42,52,113,186],"negative":[39],"copy":[40],"certain":[43],"gadget.":[45],"use":[47],"this":[48,175],"prove":[51],"dichotomy":[54],"theorem":[55],"partition":[58,163],"function":[59,119],"Z":[60,73,130,165],"(":[61,74,82,89,96,101,105,131,166],"G":[62,71,75,83,97,132,151,167],")":[63,76,84,93,98,133],"spin":[65],"systems":[66],"over":[67],"3-regular":[68],"directed":[69],"graphs":[70],",":[72,91],"=":[77],"\u2211":[78],"\u03c3":[79,104],":":[80,121],"V":[81],"\u2192":[85,125],"{":[86,122],"0,1}":[87,123],"\u220f":[88],"u":[90,102],"v":[92,106],"\u2208":[94],"E":[95],"f":[99,120,145],"(\u03c3":[100],"),":[103,168],")),":[107],"where":[108],"each":[109],"edge":[110],"given":[112],"(not":[114],"necessarily":[115],"symmetric)":[116],"complex-valued":[117],"binary":[118],"2":[124],"C.":[126],"show":[128],"that":[129,181],"either":[135],"computable":[136,162],"polynomial":[138,160],"time":[139,161],"or":[140],"#P-hard,":[141],"depending":[142],"explicitly":[143],"on":[144],".":[146],"When":[147],"input":[149],"planar,":[153],"there":[154],"additional":[157,176],"class":[158,177],"functions":[164],"while":[169],"everything":[170],"else":[171],"remains":[172],"#P-hard.":[173],"Furthermore,":[174],"precisely":[179],"those":[180],"can":[182],"be":[183],"transformed":[184],"by":[185,192],"holographic":[187],"reduction":[188],"matchgates,":[190],"followed":[191],"Fisher-Kasteleyn-Temperley":[194],"algorithm":[195],"via":[196],"Pfaffians.":[197]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}