{"id":"https://openalex.org/W2999575915","doi":"https://doi.org/10.1137/19m1268707","title":"Simple Optimal Hitting Sets for Small-Success RL","display_name":"Simple Optimal Hitting Sets for Small-Success RL","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W2999575915","doi":"https://doi.org/10.1137/19m1268707","mag":"2999575915"},"language":"en","primary_location":{"id":"doi:10.1137/19m1268707","is_oa":false,"landing_page_url":"https://doi.org/10.1137/19m1268707","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/A5008206577","display_name":"William M. Hoza","orcid":"https://orcid.org/0000-0001-5162-9181"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"William M. Hoza","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-5162-9181","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5052332525","display_name":"David Zuckerman","orcid":"https://orcid.org/0000-0002-4749-3223"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David Zuckerman","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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.03749587,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"49","issue":"4","first_page":"811","last_page":"820"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9850000143051147,"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.9850000143051147,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9783999919891357,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9704999923706055,"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/simple","display_name":"Simple (philosophy)","score":0.742959201335907},{"id":"https://openalex.org/keywords/hitting-time","display_name":"Hitting time","score":0.5383786559104919},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5343503355979919},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.5173275470733643},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.48310279846191406},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.47783637046813965},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4633773863315582},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3749270439147949},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36364710330963135},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.34358519315719604},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.16196808218955994},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.12763869762420654},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11681288480758667}],"concepts":[{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.742959201335907},{"id":"https://openalex.org/C199277547","wikidata":"https://www.wikidata.org/wiki/Q5872687","display_name":"Hitting time","level":2,"score":0.5383786559104919},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5343503355979919},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.5173275470733643},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.48310279846191406},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47783637046813965},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4633773863315582},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3749270439147949},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36364710330963135},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.34358519315719604},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.16196808218955994},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.12763869762420654},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11681288480758667},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/19m1268707","is_oa":false,"landing_page_url":"https://doi.org/10.1137/19m1268707","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"},{"id":"mag:2999575915","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/eccc/eccc25.html#HozaZ18","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Electron. Colloquium Comput. Complex.","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G124445579","display_name":null,"funder_award_id":"DGE 1610403","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1723858993","display_name":null,"funder_award_id":"CCF-1705028","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1788275018","display_name":null,"funder_award_id":"#409864","funder_id":"https://openalex.org/F4320306164","funder_display_name":"Simons Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306164","display_name":"Simons Foundation","ror":"https://ror.org/01cmst727"},{"id":"https://openalex.org/F4320310620","display_name":"University of Texas at Austin","ror":"https://ror.org/00hj54h04"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W91979434","https://openalex.org/W1488557728","https://openalex.org/W1982129592","https://openalex.org/W2041210515","https://openalex.org/W2060474153","https://openalex.org/W2118541957","https://openalex.org/W2141149699","https://openalex.org/W2611754984"],"related_works":["https://openalex.org/W2787135910","https://openalex.org/W3007807100","https://openalex.org/W2144912241","https://openalex.org/W3168351449","https://openalex.org/W2467022100","https://openalex.org/W2790797854","https://openalex.org/W2952166707","https://openalex.org/W3133801428","https://openalex.org/W2099329366","https://openalex.org/W2737593370","https://openalex.org/W2030962460","https://openalex.org/W3042717943","https://openalex.org/W2130832427","https://openalex.org/W180518165","https://openalex.org/W2900692061","https://openalex.org/W2952150297","https://openalex.org/W1486749018","https://openalex.org/W2102595618","https://openalex.org/W2145392412","https://openalex.org/W3199018719"],"abstract_inverted_index":{"We":[0],"give":[1],"a":[2,181],"simple":[3],"explicit":[4],"hitting":[5],"set":[6],"generator":[7,33,48,93],"for":[8,121,265],"read-once":[9],"branching":[10],"programs":[11],"of":[12,60,140,148,169,183],"width":[13],"$w$":[14],"and":[15,22,83,94,135,156,251],"length":[16,36,52,65,75,114],"$r$":[17,194],"with":[18,225],"known":[19],"variable":[20],"order":[21],"acceptance":[23],"probability":[24,228],"at":[25],"least":[26],"$\\epsilon$.":[27],"When":[28,41,107],"$r":[29,42],"=":[30,43],"w$,":[31,46],"our":[32,47,62,92,111,184],"has":[34,49],"seed":[35,51,64,74,113],"$O(\\log^2":[37],"r":[38],"+":[39,55,238,277],"\\log(1/\\epsilon))$.":[40,56,242,280],"\\text{polylog":[44],"}":[45],"optimal":[50],"$O(\\log":[53],"w":[54],"For":[57],"intermediate":[58],"values":[59],"$r$,":[61],"generator's":[63,73,112],"smoothly":[66],"interpolates":[67],"between":[68],"these":[69,170],"two":[70],"extremes.":[71],"Our":[72],"improves":[76,115,246],"on":[77,116,146,247],"recent":[78],"work":[79,102,248],"by":[80,103,200,249],"Braverman,":[81],"Cohen,":[82],"Garg":[84],"[SIAM":[85],"J.":[86,159],"Comput.,":[87],"(2020),":[88],"doi:10.1137/18M1197734].":[89],"In":[90],"addition,":[91],"its":[95],"analysis":[96],"are":[97],"dramatically":[98],"simpler":[99],"than":[100,177],"the":[101,118,141,266],"Braverman":[104],"et":[105],"al.":[106],"$\\epsilon$":[108,229],"is":[109,213],"small,":[110],"all":[117,168],"classic":[119],"generators":[120],"space-bounded":[122],"computation":[123],"[N.":[124],"Nisan,":[125,134],"Combinatorica,":[126],"12":[127],"(1992),":[128],"pp.":[129,152,165,259],"449--461;":[130],"R.":[131],"Impagliazzo,":[132],"N.":[133,154],"A.":[136],"Wigderson,":[137],"in":[138,234,273],"Proceedings":[139],"26th":[142],"Annual":[143],"ACM":[144],"Symposium":[145],"Theory":[147],"Computing,":[149],"ACM,":[150],"1994,":[151],"356--364;":[153],"Nisan":[155],"D.":[157],"Zuckerman,":[158],"Comput.":[160,254],"System":[161,255],"Sci.,":[162,256],"52":[163],"(1996),":[164],"43--52].":[166],"However,":[167],"other":[171],"works":[172],"construct":[173],"more":[174,267],"general":[175,268],"objects":[176],"we":[178,186,219],"do.":[179],"As":[180],"corollary":[182],"construction,":[185],"show":[187,220],"that":[188,192,204,221,271],"every":[189],"${RL}$":[190,223],"algorithm":[191,203,224,264],"uses":[193,205],"random":[195],"bits":[196],"can":[197,230],"be":[198,231],"simulated":[199,232],"an":[201,214,263],"${NL}$":[202],"only":[206],"$O(r/\\log^c":[207],"n)$":[208],"nondeterministic":[209],"bits,":[210],"where":[211],"$c$":[212],"arbitrarily":[215],"large":[216],"constant.":[217],"Finally,":[218],"any":[222],"small":[226],"success":[227],"deterministically":[233],"space":[235,244,274],"$O(\\log^{3/2}":[236,275],"n":[237,240,276],"\\log":[239,241],"This":[243],"bound":[245],"Saks":[250],"Zhou":[252],"[J.":[253],"58":[257],"(1999),":[258],"376--403],":[260],"who":[261],"gave":[262],"\u201ctwo-sided\u201d":[269],"problem":[270],"runs":[272],"\\sqrt{\\log":[278],"n}":[279]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}