{"id":"https://openalex.org/W2161510308","doi":"https://doi.org/10.1145/2743014","title":"Recompression","display_name":"Recompression","publication_year":2016,"publication_date":"2016-02-12","ids":{"openalex":"https://openalex.org/W2161510308","doi":"https://doi.org/10.1145/2743014","mag":"2161510308"},"language":"en","primary_location":{"id":"doi:10.1145/2743014","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2743014","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/A5066525178","display_name":"Artur Je\u017c","orcid":"https://orcid.org/0000-0003-4321-3105"},"institutions":[{"id":"https://openalex.org/I219388962","display_name":"University of Wroc\u0142aw","ror":"https://ror.org/00yae6e25","country_code":"PL","type":"education","lineage":["https://openalex.org/I219388962"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Artur Je\u017c","raw_affiliation_strings":["University of Wroc\u0142aw, Wroc\u0142aw, Poland"],"affiliations":[{"raw_affiliation_string":"University of Wroc\u0142aw, Wroc\u0142aw, Poland","institution_ids":["https://openalex.org/I219388962"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066525178"],"corresponding_institution_ids":["https://openalex.org/I219388962"],"apc_list":null,"apc_paid":null,"fwci":11.9972,"has_fulltext":false,"cited_by_count":77,"citation_normalized_percentile":{"value":0.98480787,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"63","issue":"1","first_page":"1","last_page":"51"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9998999834060669,"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.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.9991000294685364,"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/T11130","display_name":"Coding theory and cryptography","score":0.9818000197410583,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.6566715836524963},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5974278450012207},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.582486629486084},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4947039783000946},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.48486360907554626},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.47268205881118774},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4494568407535553},{"id":"https://openalex.org/keywords/compression","display_name":"Compression (physics)","score":0.4311479330062866},{"id":"https://openalex.org/keywords/linear-equation","display_name":"Linear equation","score":0.4127601385116577},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.38638532161712646},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33350175619125366},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.294161319732666},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1962031126022339},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.10744303464889526}],"concepts":[{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.6566715836524963},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5974278450012207},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.582486629486084},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4947039783000946},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.48486360907554626},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.47268205881118774},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4494568407535553},{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.4311479330062866},{"id":"https://openalex.org/C77346573","wikidata":"https://www.wikidata.org/wiki/Q484637","display_name":"Linear equation","level":2,"score":0.4127601385116577},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.38638532161712646},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33350175619125366},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.294161319732666},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1962031126022339},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.10744303464889526},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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":1,"locations":[{"id":"doi:10.1145/2743014","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2743014","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/G3497038217","display_name":null,"funder_award_id":"2011/01/D/ST6/0716","funder_id":"https://openalex.org/F4320322511","funder_display_name":"Narodowe Centrum Nauki"}],"funders":[{"id":"https://openalex.org/F4320322511","display_name":"Narodowe Centrum Nauki","ror":"https://ror.org/03ha2q922"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W134255016","https://openalex.org/W1492050056","https://openalex.org/W1502428252","https://openalex.org/W1510722254","https://openalex.org/W1532033082","https://openalex.org/W1546860696","https://openalex.org/W1601888115","https://openalex.org/W1755286175","https://openalex.org/W1976149088","https://openalex.org/W1989660382","https://openalex.org/W1993370765","https://openalex.org/W2006565583","https://openalex.org/W2028685566","https://openalex.org/W2030247517","https://openalex.org/W2037286444","https://openalex.org/W2041189577","https://openalex.org/W2045427051","https://openalex.org/W2054924158","https://openalex.org/W2071228820","https://openalex.org/W2075557785","https://openalex.org/W2119924552","https://openalex.org/W2123995178","https://openalex.org/W2124401866","https://openalex.org/W2132809979","https://openalex.org/W2275139177","https://openalex.org/W2624305728","https://openalex.org/W2761224894","https://openalex.org/W2963645376","https://openalex.org/W3138321435","https://openalex.org/W6632595696","https://openalex.org/W6648519890"],"related_works":["https://openalex.org/W1569283511","https://openalex.org/W2938514635","https://openalex.org/W4360764540","https://openalex.org/W4236193183","https://openalex.org/W2053866214","https://openalex.org/W2607505004","https://openalex.org/W4231657010","https://openalex.org/W2231795205","https://openalex.org/W2523632547","https://openalex.org/W2007917622"],"abstract_inverted_index":{"In":[0],"this":[1,97],"article,":[2],"we":[3,99],"present":[4],"an":[5,242,277],"application":[6],"of":[7,11,40,52,54,72,75,92,106,144,152,156,186,201,221,224,238,245,253,268,273,280,286],"a":[8,61,69,86,219,235],"simple":[9],"technique":[10,34],"local":[12,38],"recompression,":[13],"previously":[14],"developed":[15],"by":[16,44,60,190],"the":[17,20,58,73,76,90,93,117,142,145,150,153,157,165,168,184,187,191,199,225,231,239,251,254,266,271,274,281],"author":[18],"in":[19,57,122,130,133,172],"context":[21,209],"algorithms":[22],"for":[23,89,110,161,196],"compressed":[24],"strings":[25],"[Je\u017c":[26],"2014a,":[27],"2015b,":[28],"2015a],":[29],"to":[30,81,218],"word":[31,78,94,111,158,203,227],"equations.":[32,112],"The":[33,211,257],"is":[35,141,171,183,208],"based":[36],"on":[37,167,250,265,284],"modification":[39],"variables":[41,207],"(replacing":[42],"X":[43],"aX":[45],"or":[46],"Xa":[47],")":[48],"and":[49,103,129,135,148],"iterative":[50],"replacement":[51],"pairs":[53],"letters":[55],"occurring":[56],"equation":[59,147,228],"\u201cfresh\u201d":[62],"letter,":[63],"which":[64],"can":[65,214],"be":[66,82,114,215],"seen":[67],"as":[68],"bottom-up":[70],"compression":[71],"solution":[74,91,155],"given":[77,226],"equation,":[79],"or,":[80],"more":[83,115],"specific,":[84,116],"building":[85],"Straight-Line":[87],"Programme":[88],"equation.":[95,159],"Using":[96],"technique,":[98],"give":[100],"new,":[101],"independent,":[102],"self-contained":[104],"proofs":[105],"many":[107],"known":[108],"results":[109],"To":[113],"presented":[118,212,258],"(nondeterministic)":[119],"algorithm":[120,213,240,259,275],"runs":[121],"O":[123,162,177],"(":[124,178],"n":[125,127,134,140],"log":[126,136],"space":[128,169,188,232],"time":[131],"polynomial":[132],"N":[137,149],",":[138],"where":[139,181],"size":[143,151,185,252],"input":[146],"length-minimal":[154,255],"Furthermore,":[160,234],"(1)":[163],"variables,":[164],"bound":[166,249,264,283],"consumption":[170],"fact":[173],"linear,":[174],"that":[175,195],"is,":[176],"m":[179,182],"),":[180],"used":[189],"input.":[192],"This":[193],"yields":[194,241,276],"each":[197],"k":[198,206],"set":[200],"satisfiable":[202],"equations":[204],"with":[205],"sensitive.":[210],"easily":[216],"generalised":[217],"generator":[220],"all":[222],"solutions":[223],"(without":[229],"increasing":[230],"usage).":[233],"further":[236],"analysis":[237,272],"independent":[243,278],"proof":[244,279],"doubly":[246],"exponential":[247,263,282],"upper":[248],"solution.":[256],"does":[260],"not":[261],"use":[262],"exponent":[267,285],"periodicity.":[269,287],"Conversely,":[270]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}