{"id":"https://openalex.org/W243027042","doi":"https://doi.org/10.1137/s0097539793252444","title":"The Sublogarithmic Alternating Space World","display_name":"The Sublogarithmic Alternating Space World","publication_year":1996,"publication_date":"1996-08-01","ids":{"openalex":"https://openalex.org/W243027042","doi":"https://doi.org/10.1137/s0097539793252444","mag":"243027042"},"language":"en","primary_location":{"id":"doi:10.1137/s0097539793252444","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539793252444","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/A5001544783","display_name":"Maciej Li\u015bkiewicz","orcid":"https://orcid.org/0000-0003-0059-5086"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Maciej Li\u015bkiewicz","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5089868014","display_name":"R\u00fcdiger Reischuk","orcid":"https://orcid.org/0000-0003-2031-3664"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"R\u00fcdiger Reischuk","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5001544783"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02762746,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"4","first_page":"828","last_page":"861"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","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/T12002","display_name":"Computability, Logic, AI Algorithms","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/T12162","display_name":"Cellular Automata and Applications","score":0.9947999715805054,"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/T11567","display_name":"semigroups and automata theory","score":0.989300012588501,"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/combinatorics","display_name":"Combinatorics","score":0.5814948081970215},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5079174637794495},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4318726658821106},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43058711290359497},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.4240341782569885},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.23900488018989563}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5814948081970215},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5079174637794495},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4318726658821106},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43058711290359497},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.4240341782569885},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.23900488018989563},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1137/s0097539793252444","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539793252444","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":"pmh:oai:CiteSeerX.psu:10.1.1.53.5201","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.5201","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.tcs.uni.wroc.pl/~liskiewi/Papers/siam96.ps","raw_type":"text"},{"id":"mag:243027042","is_oa":false,"landing_page_url":"http://eccc.hpi-web.de/eccc-reports/1995/TR95-005/index.html","pdf_url":null,"source":{"id":"https://openalex.org/S11189987","display_name":"Electronic colloquium on computational complexity","issn_l":"1433-8092","issn":["1433-8092"],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":"Electronic colloquium on computational complexity","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1495746704","https://openalex.org/W1590283810","https://openalex.org/W1819104613","https://openalex.org/W1964179274","https://openalex.org/W1974877361","https://openalex.org/W1974938157","https://openalex.org/W1975698236","https://openalex.org/W1980884852","https://openalex.org/W1981296138","https://openalex.org/W2022693656","https://openalex.org/W2043360684","https://openalex.org/W2044579324","https://openalex.org/W2064465758","https://openalex.org/W2066080128","https://openalex.org/W2074574452","https://openalex.org/W4210271619"],"related_works":["https://openalex.org/W267972510","https://openalex.org/W2550490491","https://openalex.org/W2053805167","https://openalex.org/W2798622610","https://openalex.org/W3014226464","https://openalex.org/W1985572324","https://openalex.org/W2951642689","https://openalex.org/W2398977735","https://openalex.org/W2038705764","https://openalex.org/W2300174248","https://openalex.org/W2951718110","https://openalex.org/W3185894269","https://openalex.org/W3210909212","https://openalex.org/W2952693876","https://openalex.org/W2263327792","https://openalex.org/W3207594656","https://openalex.org/W1682673340","https://openalex.org/W1981433559","https://openalex.org/W2170001390","https://openalex.org/W2075551673"],"abstract_inverted_index":{"This":[0,156],"paper":[1],"tries":[2],"to":[3,47,68,211,239,316],"fully":[4],"characterize":[5],"the":[6,60,74,91,124,169,225,319,331,350,364],"properties":[7,244],"and":[8,40,80,86,106,264,273,282,294,352,356],"relationships":[9],"of":[10,37,59,321,366],"space":[11,212,354,361],"classes":[12,93,170,213],"defined":[13,94,214],"by":[14,95,215],"Turing":[15],"machines":[16,44],"(TMs)":[17],"that":[18,42,98,118,158,224,241,253,307],"use":[19],"less":[20],"than":[21],"logarithmic":[22,75,359],"space\u2014be":[23],"they":[24],"deterministic,":[25],"nondeterministic,":[26],"or":[27,31],"alternating":[28,69],"(DTMs,":[29],"NTMs,":[30],"ATMs).":[32],"We":[33,251],"provide":[34],"several":[35],"examples":[36],"specific":[38],"languages":[39,311,323],"show":[41,240],"such":[43,249],"are":[45,152,277],"unable":[46],"accept":[48],"these":[49],"languages.":[50,369],"The":[51],"basic":[52,242],"proof":[53],"method":[54],"is":[55,209,289,298,304],"a":[56,218,347,358],"nontrivial":[57],"extension":[58],"$1^n":[61],"\\mapsto":[62],"1^{n":[63],"+":[64,193],"n!}":[65],"$":[66,85,272,288],"technique":[67],"TMs.":[70],"Let":[71],"1log":[72],"denote":[73],"function":[76],"log":[77],"iterated":[78],"twice,":[79],"let":[81],"$\\Sigma":[82,269,285],"_k":[83,88,130,134,142,146,270,275,286,296,334,338],"{\\textit{Space}}(S)":[84,175,179,183],"$\\prod":[87,274,295],"{\\textit{Space}}(S)$":[89,276,297],"be":[90,237,314],"complexity":[92],"S-space-bounded":[96],"ATMs":[97,216,308],"alternate":[99],"at":[100],"most":[101],"$k":[102,121,266],"-":[103],"1$":[104],"times":[105],"start":[107],"in":[108],"an":[109,203],"existential":[110],"(resp.,":[111],"universal)":[112],"state.":[113],"Our":[114],"first":[115],"result":[116],"shows":[117],"for":[119,159,248,254,341,363],"each":[120,160],">":[122,267],"1$,":[123,268],"sets":[125],"\\[":[126,171],"\\begin{gathered}":[127,172],"\\hfill":[128,140],"\\Sigma":[129,145,173,177,181],"{\\textit{Space}}(1\\log":[131,143],")\\backslash":[132,144],"\\Pi":[133,141,337],"Space(o(\\log":[135],"))":[136,148],"\\quad":[137],"{\\text{and}}":[138],"\\\\":[139,149,186,199],"{\\textit{Space}}(o(\\log":[147],"\\end{gathered}":[150,200],"\\]":[151,201],"both":[153],"not":[154,246,278,290,299],"empty.":[155],"implies":[157],"$S":[161,256],"\\in":[162,257],"\\Omega":[163,258],"(1\\log":[164,259],")":[165,260],"\\cap":[166,261],"o(\\log":[167,262],")$,":[168],"_1":[174],"\\subset":[176,180,184,187,190,196],"_2":[178],"_3":[182],"\\cdots":[185,198],"\\sum\\nolimits_k":[188],"{Space(S)":[189,195],"}":[191,197],"\\sum\\nolimits_{k":[192],"1}":[194],"form":[202],"infinite":[204],"hierarchy.":[205],"Furthermore,":[206],"this":[207],"separation":[208,348],"extended":[210],"with":[217,324],"nonconstant":[219],"alternation":[220],"bound":[221,362],"A":[222],"provided":[223],"product":[226],"$A":[227],"\\cdot":[228],"S$":[229],"grows":[230],"sublogarithmically.":[231],"These":[232],"lower":[233,360],"bounds":[234],"can":[235,312],"also":[236,305],"used":[238],"closure":[243],"do":[245],"hold":[247],"classes.":[250],"obtain":[252,330],"any":[255],")$":[263],"all":[265],"{Space(S)}":[271],"closed":[279,291,300],"under":[280,292,301],"complementation":[281],"concatenation.":[283],"Moreover,":[284],"{{\\textit{Space}}(S)}":[287,335],"intersection":[293],"union.":[302],"It":[303],"shown":[306],"recognizing":[309],"bounded":[310,343],"always":[313],"guaranteed":[315],"halt.":[317],"For":[318],"class":[320],"Z-bounded":[322],"$Z":[325],"\\leqslant":[326],"\\exp":[327],"S$,":[328],"we":[329,345],"equality":[332],"co-$\\Sigma":[333],"=":[336],"{\\textit{Space}}(S)$.":[339],"Finally,":[340],"sublogarithmic":[342],"ATMs,":[344],"give":[346],"between":[349],"weak":[351],"strong":[353],"measure":[355],"prove":[357],"recognition":[365],"nonregular":[367],"context-free":[368]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}