{"id":"https://openalex.org/W4392295253","doi":"https://doi.org/10.1145/3649435","title":"Sketching Approximability of All Finite CSPs","display_name":"Sketching Approximability of All Finite CSPs","publication_year":2024,"publication_date":"2024-02-29","ids":{"openalex":"https://openalex.org/W4392295253","doi":"https://doi.org/10.1145/3649435"},"language":"en","primary_location":{"id":"doi:10.1145/3649435","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3649435","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":null,"license_id":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026150664","display_name":"Chi-Ning Chou","orcid":"https://orcid.org/0000-0001-9089-2003"},"institutions":[{"id":"https://openalex.org/I136199984","display_name":"Harvard University","ror":"https://ror.org/03vek6s52","country_code":"US","type":"education","lineage":["https://openalex.org/I136199984"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chi-Ning Chou","raw_affiliation_strings":["School of Engineering and Applied Sciences, Harvard University, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0001-9089-2003","affiliations":[{"raw_affiliation_string":"School of Engineering and Applied Sciences, Harvard University, Cambridge, USA","institution_ids":["https://openalex.org/I136199984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062090877","display_name":"Alexander Golovnev","orcid":"https://orcid.org/0000-0002-7847-1027"},"institutions":[{"id":"https://openalex.org/I184565670","display_name":"Georgetown University","ror":"https://ror.org/05vzafd60","country_code":"US","type":"education","lineage":["https://openalex.org/I184565670"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander Golovnev","raw_affiliation_strings":["Department of Computer Science, Georgetown University, Washington, USA"],"raw_orcid":"https://orcid.org/0000-0002-7847-1027","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Georgetown University, Washington, USA","institution_ids":["https://openalex.org/I184565670"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101519422","display_name":"Madhu Sudan","orcid":"https://orcid.org/0000-0003-3718-6489"},"institutions":[{"id":"https://openalex.org/I136199984","display_name":"Harvard University","ror":"https://ror.org/03vek6s52","country_code":"US","type":"education","lineage":["https://openalex.org/I136199984"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Madhu Sudan","raw_affiliation_strings":["School of Engineering and Applied Sciences, Harvard University, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0003-3718-6489","affiliations":[{"raw_affiliation_string":"School of Engineering and Applied Sciences, Harvard University, Cambridge, USA","institution_ids":["https://openalex.org/I136199984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029847226","display_name":"Santhoshini Velusamy","orcid":"https://orcid.org/0000-0002-0294-5425"},"institutions":[{"id":"https://openalex.org/I160992636","display_name":"Toyota Technological Institute at Chicago","ror":"https://ror.org/02sn5gb64","country_code":"US","type":"education","lineage":["https://openalex.org/I160992636"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Santhoshini Velusamy","raw_affiliation_strings":["Toyota Technological Institute, Chicago, USA"],"raw_orcid":"https://orcid.org/0000-0002-0294-5425","affiliations":[{"raw_affiliation_string":"Toyota Technological Institute, Chicago, USA","institution_ids":["https://openalex.org/I160992636"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5764,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.65747494,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"71","issue":"2","first_page":"1","last_page":"74"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9997000098228455,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9997000098228455,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9995999932289124,"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/mathematics","display_name":"Mathematics","score":0.5040653944015503},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4218232333660126},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.40967023372650146}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5040653944015503},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4218232333660126},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40967023372650146}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3649435","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3649435","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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3606811033","display_name":"AF: Small: Communication Amid Uncertainty","funder_award_id":"1715187","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4908881666","display_name":"AF: Large: Collaborative Research: Algebraic Proof Systems, Convexity, and Algorithms","funder_award_id":"1565264","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5007105676","display_name":null,"funder_award_id":"CCF 2152413","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7388794279","display_name":"AF: Small: Streaming Complexity of Constraint Satisfaction Problems","funder_award_id":"2152413","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8910507742","display_name":"TWC: Small: Complexity Assumptions for Cryptographic Schemes","funder_award_id":"1618026","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8983132490","display_name":null,"funder_award_id":"CCF 1715187","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"},{"id":"https://openalex.org/F4320316838","display_name":"Kempe Foundation","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1599370812","https://openalex.org/W1980223785","https://openalex.org/W1985526537","https://openalex.org/W1991099830","https://openalex.org/W1999032440","https://openalex.org/W2056590617","https://openalex.org/W2063711222","https://openalex.org/W2122058331","https://openalex.org/W2151577278","https://openalex.org/W2179897858","https://openalex.org/W2186715137","https://openalex.org/W2225286048","https://openalex.org/W2730491200","https://openalex.org/W2963649008","https://openalex.org/W2963692174","https://openalex.org/W2981386354","https://openalex.org/W3021537373","https://openalex.org/W3034696818","https://openalex.org/W3102754027","https://openalex.org/W3129913172","https://openalex.org/W3134766200","https://openalex.org/W3135932689","https://openalex.org/W3165922329","https://openalex.org/W3171167615","https://openalex.org/W3173219382","https://openalex.org/W3203563530","https://openalex.org/W4210631930","https://openalex.org/W4214921067","https://openalex.org/W4231748230","https://openalex.org/W4248270945","https://openalex.org/W4250589301","https://openalex.org/W4255213956","https://openalex.org/W4281701057","https://openalex.org/W4287323733","https://openalex.org/W4376639570","https://openalex.org/W4376639586","https://openalex.org/W6809801132","https://openalex.org/W6840548701"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793"],"abstract_inverted_index":{"A":[0],"constraint":[1,194],"satisfaction":[2,195],"problem":[3,36,81,130,163,169],"(CSP),":[4],"\\(\\textsf":[5],"{Max-CSP}(\\mathcal":[6],"{F})\\)":[7],",":[8],"is":[9,40,59,93,170],"specified":[10],"by":[11,42,173,310,327,418],"a":[12,139,157,209,227,243,329,351,357],"finite":[13],"set":[14],"of":[15,34,45,52,72,79,102,115,128,134,212,219,236,239,262,270,305,343,354,360,371],"constraints":[16,46,104,117,238,277,291],"\\(\\mathcal":[17,48,146,240],"{F}\\subseteq":[18],"\\lbrace":[19,22],"[q]^k":[20],"\\rightarrow":[21],"0,1\\rbrace":[23],"\\rbrace\\)":[24],"for":[25,82,143,191,204],"positive":[26,300],"integers":[27],"q":[28,220,273,413],"and":[29,56,137,148,214,229,280,285,314,390],"k":[30,222,278],".":[31],"An":[32],"instance":[33],"the":[35,53,57,65,69,75,80,91,103,116,126,132,162,168,217,230,233,237,258,268,288,339,369,372,383,391,421],"on":[37,245,294,398],"n":[38,54],"variables":[39,66,272],"given":[41],"m":[43],"applications":[44],"from":[47,108],"{F}\\)":[49,147,241],"to":[50,60,64,94,208,251,321,332,350,386,396,409,411,420],"subsequences":[51],"variables,":[55],"goal":[58,92],"find":[61],"an":[62],"assignment":[63],"that":[67,155,264,366],"satisfies":[68],"maximum":[70],"number":[71],"constraints.":[73],"In":[74,121,181,375],"(\u03b3":[76],",\u03b2)-approximation":[77],"version":[78],"parameters":[83],"0":[84],"\u2264":[85,87,89],"\u03b2":[86,113,150],"\u03b3":[88,100],"1,":[90],"distinguish":[95],"instances":[96,109],"where":[97,110,224,290],"at":[98,111,368],"least":[99],"fraction":[101,114],"can":[105,118],"be":[106,119],"satisfied":[107],"most":[112],"satisfied.":[120],"this":[122,129,252],"work,":[123,253],"we":[124,153,183,225,319,348],"consider":[125],"approximability":[127],"in":[131,164,177,215],"context":[133],"sketching":[135,159,175],"algorithms":[136,187,207,307],"give":[138,184],"dichotomy":[140],"result.":[141],"Specifically,":[142],"every":[144,149],"family":[145],"<":[151],"\u03b3,":[152],"show":[154,302],"either":[156],"linear":[158],"algorithm":[160,176],"solves":[161],"polylogarithmic":[165,189],"space":[166,190],"or":[167],"not":[171],"solvable":[172],"any":[174],"\\(o(\\sqrt":[178],"{n})\\)":[179],"space.":[180],"particular,":[182,376],"non-trivial":[185],"approximation":[186],"using":[188],"infinitely":[192],"many":[193],"problems.":[196],"We":[197],"also":[198],"extend":[199,320,349],"previously":[200,309],"known":[201],"lower":[202],"bounds":[203],"general":[205,412],"streaming":[206],"wide":[210,303],"variety":[211],"problems,":[213],"particular":[216],"case":[218,231],"=":[221,274],"=2,":[223,279],"get":[226,410],"dichotomy,":[228],"when":[232],"satisfying":[234],"assignments":[235],"support":[242],"distribution":[244],"\\([q]^k\\)":[246],"with":[247,356,402],"uniform":[248],"marginals.":[249],"Prior":[250],"other":[254],"than":[255,297],"sporadic":[256],"examples,":[257],"only":[259,286],"systematic":[260,330],"classes":[261],"CSPs":[263,415],"were":[265],"analyzed":[266],"considered":[267,287],"setting":[269,289],"Boolean":[271,384,399,428],"2,":[275],"binary":[276],"singleton":[281],"families":[282],"\\(|\\mathcal":[283],"{F}|=1\\)":[284],"are":[292],"placed":[293],"literals":[295,400],"rather":[296],"variables.":[298],"Our":[299,335,404],"results":[301,337,389,392],"applicability":[304],"bias-based":[306],"used":[308,379],"[":[311,315,344],"47":[312],"]":[313],"41":[316],"],":[317,346],"which":[318,347],"include":[322],"richer":[323],"norm":[324],"estimation":[325],"algorithms,":[326],"giving":[328],"way":[331],"discover":[333],"biases.":[334],"negative":[336,373],"combine":[338],"Fourier":[340,380,423],"analytic":[341,424],"methods":[342],"56":[345],"wider":[352],"class":[353],"CSPs,":[355],"rich":[358],"collection":[359],"reductions":[361],"among":[362],"communication":[363],"complexity":[364],"problems":[365],"lie":[367],"heart":[370],"results.":[374],"previous":[377],"works":[378],"analysis":[381],"over":[382,427],"cube":[385],"initiate":[387],"their":[388],"seemed":[393],"particularly":[394],"tailored":[395],"functions":[397],"(i.e.,":[401],"negations).":[403],"techniques":[405],"surprisingly":[406],"allow":[407],"us":[408],"-ary":[414],"without":[416],"negations":[417],"appealing":[419],"same":[422],"starting":[425],"point":[426],"hypercubes.":[429]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}