{"id":"https://openalex.org/W4225101446","doi":"https://doi.org/10.1137/22n975482","title":"Special Section on the Forty-Ninth Annual ACM Symposium on the Theory of Computing (STOC 2017)","display_name":"Special Section on the Forty-Ninth Annual ACM Symposium on the Theory of Computing (STOC 2017)","publication_year":2022,"publication_date":"2022-04-01","ids":{"openalex":"https://openalex.org/W4225101446","doi":"https://doi.org/10.1137/22n975482"},"language":"en","primary_location":{"id":"doi:10.1137/22n975482","is_oa":false,"landing_page_url":"https://doi.org/10.1137/22n975482","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5000906368","display_name":"Andy Drucker","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Andy Drucker","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Ravi Kumar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ravi Kumar","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103835895","display_name":"Amit Sahai","orcid":"https://orcid.org/0000-0003-2216-9600"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amit Sahai","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5024539185","display_name":"Mohit Singh","orcid":"https://orcid.org/0000-0002-5097-8272"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mohit Singh","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5000906368"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06130017,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":"2","first_page":"STOC17","last_page":"i"},"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.9987000226974487,"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.9987000226974487,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.994700014591217,"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.9878000020980835,"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.5101642608642578},{"id":"https://openalex.org/keywords/ninth","display_name":"Ninth","score":0.49210065603256226},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.44053250551223755},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34637632966041565},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34545236825942993},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3326674699783325},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10022741556167603}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5101642608642578},{"id":"https://openalex.org/C2776244770","wikidata":"https://www.wikidata.org/wiki/Q253590","display_name":"Ninth","level":2,"score":0.49210065603256226},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.44053250551223755},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34637632966041565},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34545236825942993},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3326674699783325},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10022741556167603},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/22n975482","is_oa":false,"landing_page_url":"https://doi.org/10.1137/22n975482","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6200000047683716,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4320403191","https://openalex.org/W2418086552","https://openalex.org/W4365148692","https://openalex.org/W2137958507","https://openalex.org/W2353365501","https://openalex.org/W4210972636","https://openalex.org/W4297747900","https://openalex.org/W3118511850","https://openalex.org/W2321963733","https://openalex.org/W4224988680"],"abstract_inverted_index":{"This":[0],"issue":[1,132],"of":[2,20,41,63,72,152,206,251,307,451,475,503,546,554,592],"SICOMP":[3,588],"contains":[4],"ten":[5],"specially":[6],"selected":[7],"papers":[8,31,46],"from":[9,178,551],"STOC":[10,43,69,577,582],"2017,":[11],"the":[12,18,37,42,58,134,150,167,218,293,305,375,427,476,488,533,544,552,562,574,576,581,587],"Forty-ninth":[13],"Annual":[14],"ACM":[15],"Symposium":[16],"on":[17,321],"Theory":[19],"Computing,":[21],"which":[22],"was":[23,126],"held":[24],"June":[25],"19--23":[26],"in":[27,130,155,262,276,304,346,487,523,556,569],"Montreal,":[28],"Canada.":[29],"The":[30,65,123],"here":[32],"were":[33],"chosen":[34],"to":[35,57,180,341,424,543],"represent":[36],"range":[38],"and":[39,50,55,120,145,191,239,268,289,300,331,364,387,394,434,443,459,496,505,529,540,586],"quality":[40],"program.":[44],"These":[45],"have":[47,348],"been":[48],"revised":[49],"extended":[51],"by":[52,142,186,236,279,324,361,390,429,441,453,491,525,559],"their":[53,593],"authors":[54],"subjected":[56],"standard":[59],"thorough":[60],"reviewing":[61],"process":[62],"SICOMP.":[64],"program":[66,124,579],"committee":[67],"for":[68,204,209,230,257,319,374,410,414,448,464,536,566,590],"2017":[70,578,583],"consisted":[71],"Nina":[73],"Balcan,":[74],"Allan":[75],"Borodin,":[76],"Keren":[77],"Censor-Hillel,":[78],"Edith":[79],"Cohen,":[80],"Artur":[81],"Czumaj,":[82],"Yevgeniy":[83],"Dodis,":[84],"Andrew":[85],"Drucker,":[86,597],"Nick":[87],"Harvey,":[88],"Monika":[89],"Henzinger,":[90],"Russell":[91],"Impagliazzo,":[92],"Ken-ichi":[93],"Kawarabayashi,":[94],"Ravi":[95,598],"Kumar,":[96,599],"James":[97],"R.":[98],"Lee,":[99],"Katrina":[100],"Ligett,":[101],"Aleksander":[102],"M\u0105dry,":[103],"Cristopher":[104],"Moore,":[105],"Jelani":[106],"Nelson,":[107],"Eric":[108],"Price,":[109],"Amit":[110,600],"Sahai,":[111,601],"Jared":[112],"Saia,":[113],"Shubhangi":[114],"Saraf,":[115],"Alexander":[116],"Sherstov,":[117],"Mohit":[118,602],"Singh,":[119,603],"G\u00e1bor":[121],"Tardos.":[122],"chair":[125],"Valerie":[127],"King.":[128],"Included":[129],"this":[131,513],"are":[133,470],"following":[135],"papers:":[136],"``Short":[137],"Presburger":[138,156],"Arithmetic":[139],"Is":[140,228],"Hard,\"":[141],"Danny":[143],"Nguyen":[144],"Igor":[146],"Pak,":[147],"proves":[148,334],"that":[149,335,398,409,463,507],"satisfiability":[151],"short":[153],"sentences":[154],"arithmetic":[157],"with":[158,226,297,350,512],"$m+2$":[159],"alternating":[160],"quantifiers":[161],"is":[162,170,303,338,418,516],"$\\Sigma^{{P}}_m$-complete":[163],"or":[164,172],"$\\Pi^{{P}}_m$-complete":[165],"when":[166,312],"first":[168],"quantifier":[169],"$\\exists$":[171],"$\\forall$,":[173],"respectively.":[174],"``An":[175],"Efficient":[176],"Reduction":[177],"Two-Source":[179],"Nonmalleable":[181],"Extractors:":[182],"Achieving":[183],"Near-Logarithmic":[184],"Min-Entropy,\"":[185],"Avraham":[187],"Ben-Aroya,":[188],"Dean":[189],"Doron,":[190],"Amnon":[192],"Ta-Shma,":[193],"gets":[194],"an":[195],"explicit":[196,221],"bipartite":[197],"Ramsey":[198],"graph":[199],"(or":[200],"a":[201,368,419,436,500],"twosource":[202],"extractor)":[203],"sets":[205],"size":[207,467],"2$k$":[208],"$k":[210],"=":[211],"O(\\log":[212],"n":[213],"\\log":[214,215],"n)$,":[216,407],"using":[217],"currently":[219],"best":[220],"nonmalleable":[222],"extractors.":[223],"``Holographic":[224],"Algorithm":[225],"Matchgates":[227],"Universal":[229],"Planar":[231],"\\#CSP":[232],"over":[233,246,265,270,314,431],"Boolean":[234,247],"Domain,\"":[235],"Jin-Yi":[237],"Cai":[238],"Zhiguo":[240],"Fu,":[241],"classifies":[242],"all":[243,344,432,591],"counting":[244],"CSPs":[245],"variables":[248],"into":[249],"one":[250],"three":[252],"categories:":[253],"polynomial-time":[254,372],"tractable,":[255],"\\#P-hard":[256,269],"general":[258],"instances":[259],"but":[260],"solvable":[261],"polynomial":[263],"time":[264,352],"planar":[266,271],"graphs,":[267],"graphs.":[272],"``Deciding":[273],"Parity":[274,359],"Games":[275],"Quasipolynomial":[277],"Time,\"":[278],"Cristian":[280],"S.":[281],"Calude,":[282],"Sanjay":[283],"Jain,":[284],"Bakhadyr":[285],"Khoussainov,":[286],"Wei":[287],"Li,":[288],"Frank":[290],"Stephan,":[291],"shows":[292,397,462,506],"parameterized":[294,313],"parity":[295,379],"game,":[296],"$n$":[298],"nodes":[299],"$m$":[301],"priorities,":[302],"class":[306],"fixed":[308],"parameter":[309],"tractable":[310],"problems":[311,345],"$m$.":[315],"``New":[316],"Hardness":[317],"Results":[318],"Routing":[320],"Disjoint":[322],"Paths,\"":[323],"Julia":[325],"Chuzhoy,":[326],"David":[327],"H.":[328],"K.":[329,455],"Kim,":[330],"Rachit":[332],"Nimavat,":[333],"node-disjoint":[336],"paths":[337],"$2^{\\Omega(\\sqrt{\\log":[339],"n})}$-hard":[340],"approximate,":[342],"unless":[343],"NP":[347],"algorithms":[349,416],"running":[351],"$n^{O(\\log":[353],"n)}$.":[354],"``A":[355],"Weighted":[356],"Linear":[357],"Matroid":[358],"Algorithm,\"":[360],"Satoru":[362],"Iwata":[363],"Yusuke":[365],"Kobayashi,":[366],"presents":[367],"combinatorial,":[369],"deterministic,":[370],"strongly":[371],"algorithm":[373,565],"weighted":[376],"linear":[377],"matroid":[378],"problem.":[380],"``Targeted":[381],"Pseudorandom":[382],"Generators,":[383,386],"Simulation":[384],"Advice":[385],"Derandomizing":[388],"Logspace,\"":[389],"William":[391],"M.":[392],"Hoza":[393],"Chris":[395],"Umans,":[396],"$\\mathbf{BPL}":[399],"\\subseteq":[400],"\\bigcap_{\\alpha":[401],">":[402],"0}":[403],"{DSPACE}(\\log^{1":[404],"+":[405],"\\alpha}":[406],"assuming":[408],"every":[411],"derandomization":[412,428],"result":[413],"log-space":[415],"there":[417],"pseudorandom":[420],"generator":[421],"strong":[422],"enough":[423],"nearly":[425],"recover":[426],"iterating":[430],"seeds":[433],"taking":[435],"majority":[437],"vote.":[438],"``Approximating":[439],"Rectangles":[440],"Juntas":[442],"Weakly":[444],"Exponential":[445],"Lower":[446],"Bounds":[447],"LP":[449,468,478],"Relaxations":[450],"CSPs,\"":[452],"Pravesh":[454],"Kothari,":[456],"Raghu":[457],"Meka,":[458],"Prasad":[460],"Raghavendra,":[461],"CSPs,":[465],"subexponential":[466],"relaxations":[469],"as":[471,473],"powerful":[472],"$n^{\\Omega(1)}$-rounds":[474],"Sherali--Adams":[477],"hierarchy.":[479],"``Equivocating":[480],"Yao:":[481],"Constant-Round":[482],"Adaptively":[483],"Secure":[484],"Multiparty":[485],"Computation":[486],"Plain":[489],"Model,\"":[490],"Ran":[492],"Canetti,":[493],"Oxana":[494],"Poburinnaya,":[495],"Muthuramakrishnan":[497],"Venkitasubramaniam,":[498],"defines":[499],"new":[501],"type":[502],"encryption":[504,514],"Yao's":[508],"garbling":[509],"scheme,":[510],"implemented":[511],"mechanism,":[515],"secure":[517],"against":[518],"adaptive":[519],"adversaries.":[520],"``Geodesic":[521],"Walks":[522],"Polytopes,\"":[524],"Yin":[526],"Tat":[527],"Lee":[528],"Santosh":[530],"Vempala,":[531],"introduces":[532],"geodesic":[534],"walk":[535],"sampling":[537,564],"Riemannian":[538],"manifolds":[539],"applies":[541],"it":[542],"problem":[545],"generating":[547],"uniform":[548],"random":[549],"points":[550],"interior":[553],"polytopes":[555,567],"${\\mathbb{R}}^{n}$":[557],"specified":[558],"m":[560],"inequalities;":[561],"resulting":[563],"mixes":[568],"$O^{*}(mn^{\\frac{3}{4}})$":[570],"steps.":[571],"We":[572],"thank":[573],"authors,":[575],"committee,":[580],"external":[584],"reviewers,":[585],"referees":[589],"hard":[594],"work.":[595],"Andy":[596],"Guest":[604],"editors":[605]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}