{"id":"https://openalex.org/W4400018272","doi":"https://doi.org/10.1007/s00224-025-10243-w","title":"Space-Efficient SLP Encoding for $$O(\\log N)$$-Time Random Access","display_name":"Space-Efficient SLP Encoding for $$O(\\log N)$$-Time Random Access","publication_year":2026,"publication_date":"2026-04-13","ids":{"openalex":"https://openalex.org/W4400018272","doi":"https://doi.org/10.1007/s00224-025-10243-w"},"language":"en","primary_location":{"id":"doi:10.1007/s00224-025-10243-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-025-10243-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-025-10243-w.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00224-025-10243-w.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5099480659","display_name":"Akito Takasaka","orcid":null},"institutions":[{"id":"https://openalex.org/I207014233","display_name":"Kyushu Institute of Technology","ror":"https://ror.org/02278tr80","country_code":"JP","type":"education","lineage":["https://openalex.org/I207014233"]},{"id":"https://openalex.org/I4210143983","display_name":"Kyushu Art Institute of Technology","ror":"https://ror.org/03t4t2e74","country_code":"JP","type":"education","lineage":["https://openalex.org/I4210143983"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Akito Takasaka","raw_affiliation_strings":["Department of Artificial Intelligence, Kyushu Institute of Technology, 680-4 Kawazu, Iizuka, 820-8502, Fukuoka, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence, Kyushu Institute of Technology, 680-4 Kawazu, Iizuka, 820-8502, Fukuoka, Japan","institution_ids":["https://openalex.org/I4210143983","https://openalex.org/I207014233"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022431253","display_name":"I Tomohiro","orcid":null},"institutions":[{"id":"https://openalex.org/I207014233","display_name":"Kyushu Institute of Technology","ror":"https://ror.org/02278tr80","country_code":"JP","type":"education","lineage":["https://openalex.org/I207014233"]},{"id":"https://openalex.org/I4210143983","display_name":"Kyushu Art Institute of Technology","ror":"https://ror.org/03t4t2e74","country_code":"JP","type":"education","lineage":["https://openalex.org/I4210143983"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Tomohiro I","raw_affiliation_strings":["Department of Artificial Intelligence, Kyushu Institute of Technology, 680-4 Kawazu, Iizuka, 820-8502, Fukuoka, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Artificial Intelligence, Kyushu Institute of Technology, 680-4 Kawazu, Iizuka, 820-8502, Fukuoka, Japan","institution_ids":["https://openalex.org/I4210143983","https://openalex.org/I207014233"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5022431253"],"corresponding_institution_ids":["https://openalex.org/I207014233","https://openalex.org/I4210143983"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00271313,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"70","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9988999962806702,"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"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9988999962806702,"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/T12029","display_name":"DNA and Biological Computing","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11321","display_name":"Error Correcting Code Techniques","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/random-access","display_name":"Random access","score":0.6262036561965942},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.6033040881156921},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4953090250492096},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4745015799999237},{"id":"https://openalex.org/keywords/binary-logarithm","display_name":"Binary logarithm","score":0.45921775698661804},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32249826192855835},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.28312766551971436},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.17537832260131836},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13251882791519165},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09593239426612854}],"concepts":[{"id":"https://openalex.org/C101722063","wikidata":"https://www.wikidata.org/wiki/Q218825","display_name":"Random access","level":2,"score":0.6262036561965942},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.6033040881156921},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4953090250492096},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4745015799999237},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.45921775698661804},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32249826192855835},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.28312766551971436},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.17537832260131836},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13251882791519165},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09593239426612854}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00224-025-10243-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-025-10243-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-025-10243-w.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2406.15011","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2406.15011","pdf_url":"https://arxiv.org/pdf/2406.15011","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.2406.15011","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2406.15011","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1007/s00224-025-10243-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-025-10243-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-025-10243-w.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4225369301","display_name":"\u8f9e\u66f8\u5f0f\u5727\u7e2e\u3068\u5727\u7e2e\u60c5\u5831\u51e6\u7406\u306e\u6df1\u5316","funder_award_id":"24K02899","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7070780964","display_name":null,"funder_award_id":"JPMJCR24U4","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"},{"id":"https://openalex.org/G8763348588","display_name":"Study on compressibility measures of highly repetitive data and applications to compressed data processing","funder_award_id":"22K11907","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320334789","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400018272.pdf","grobid_xml":"https://content.openalex.org/works/W4400018272.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["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","https://openalex.org/W4238204885"],"abstract_inverted_index":{"Abstract":[0],"A":[1],"Straight-Line":[2],"Program":[3],"(SLP)":[4],"$$\\mathcal":[5,14,27,43,58,144,187,211,244],"{G}$$":[6,59,212,245],"<mml:math":[7,16,29,45,60,85,146,166,189,196,213,221,246,267],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[8,17,30,46,61,86,147,167,190,197,214,222,247,268],"<mml:mi>G</mml:mi>":[9,62,215,248],"</mml:math>":[10,19,32,48,63,135,157,179,192,199,216,231,249],"for":[11,243],"a":[12,21,39],"string":[13],"{T}$$":[15,28,44,188],"<mml:mi>T</mml:mi>":[18,31,47,149,191],"is":[20,183,200,205,232,254],"context-free":[22],"grammar":[23],"(CFG)":[24],"that":[25,264],"derives":[26],"only,":[33],"which":[34],"can":[35],"be":[36],"considered":[37],"as":[38],"compressed":[40],"representation":[41,242],"of":[42,142,186,208,235],".":[49,250],"In":[50],"this":[51],"paper,":[52],"we":[53],"show":[54],"how":[55],"to":[56,137],"encode":[57],"in":[64,158,210,239],"$$n":[65],"\\lceil":[66,74],"\\lg":[67,75],"N":[68,161,182],"\\rceil":[69,78],"+":[70,72,79,83,162],"(n":[71],"n')":[73],"(n+\\sigma":[76],")":[77],"4n":[80],"-":[81,164],"2n'":[82],"o(n)$$":[84],"<mml:mrow>":[87,89,96,106,109,129,148,168,223,269],"<mml:mi>n</mml:mi>":[88,98,101,111,120,124,131,225,229],"<mml:mo>\u2308</mml:mo>":[90,107],"<mml:mo>lg</mml:mo>":[91,108],"<mml:mi>N</mml:mi>":[92,172],"<mml:mo>\u2309</mml:mo>":[93,116],"</mml:mrow>":[94,105,115,117,133,134,156,178,230],"<mml:mo>+</mml:mo>":[95,99,112,118,127,173],"<mml:mo>(</mml:mo>":[97,110,130,170,271],"<mml:msup>":[100,123,224],"<mml:mo>\u2032</mml:mo>":[102,125,226],"</mml:msup>":[103,126,227],"<mml:mo>)</mml:mo>":[104,114,132,177],"<mml:mi>\u03c3</mml:mi>":[113,198],"<mml:mn>4</mml:mn>":[119],"<mml:mo>-</mml:mo>":[121,175],"<mml:mn>2</mml:mn>":[122],"<mml:mi>o</mml:mi>":[128],"bits":[136],"support":[138],"random":[139],"access":[140],"queries":[141],"extracting":[143],"{T}[p..q]$$":[145],"<mml:mo>[</mml:mo>":[150],"<mml:mi>p</mml:mi>":[151,176],"<mml:mo>.</mml:mo>":[152,153],"<mml:mi>q</mml:mi>":[154,174],"<mml:mo>]</mml:mo>":[155],"worst-case":[159],"$$O(\\log":[160,265],"q":[163],"p)$$":[165],"<mml:mi>O</mml:mi>":[169,270],"<mml:mo>log</mml:mo>":[171],"time,":[180],"where":[181],"the":[184,201,206,233,240],"length":[185],",":[193],"$$\\sigma":[194],"$$":[195],"alphabet":[202],"size,":[203],"n":[204],"number":[207,234],"variables":[209],"and":[217,259],"$$n'":[218],"\\le":[219],"n$$":[220],"<mml:mo>\u2264</mml:mo>":[228],"symmetric":[236],"centroid":[237],"paths":[238],"DAG":[241],"The":[251],"time":[252],"complexity":[253],"almost":[255],"optimal":[256],"because":[257],"Verbin":[258],"Yu":[260],"[CPM":[261],"2013]":[262],"proved":[263],"N)$$":[266],"<mml:mo>log</mml":[272]},"counts_by_year":[],"updated_date":"2026-07-01T08:55:40.977307","created_date":"2025-10-10T00:00:00"}