{"id":"https://openalex.org/W1974039980","doi":"https://doi.org/10.1137/0405034","title":"Short Encodings of Evolving Structures","display_name":"Short Encodings of Evolving Structures","publication_year":1992,"publication_date":"1992-08-01","ids":{"openalex":"https://openalex.org/W1974039980","doi":"https://doi.org/10.1137/0405034","mag":"1974039980"},"language":"en","primary_location":{"id":"doi:10.1137/0405034","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0405034","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"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 Discrete Mathematics","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/A5003281880","display_name":"Daniel D. Sleator","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]},{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Daniel D. Sleator","raw_affiliation_strings":[", Carnegie Mellon University, Pittsburgh, Pennsylvania 15213","NEC Research Institute, Princeton, New Jersey 08540","Department of Mathematics, University of California at Berkeley, Berkeley, California 94720","Computer Science Department, Princeton University, Princeton, New Jersey 08544 and"],"affiliations":[{"raw_affiliation_string":", Carnegie Mellon University, Pittsburgh, Pennsylvania 15213","institution_ids":[]},{"raw_affiliation_string":"NEC Research Institute, Princeton, New Jersey 08540","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Department of Mathematics, University of California at Berkeley, Berkeley, California 94720","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Computer Science Department, Princeton University, Princeton, New Jersey 08544 and","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5097087001","display_name":"Robert E. Trajan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert E. Trajan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5040489403","display_name":"William P. Thurston","orcid":"https://orcid.org/0000-0003-4157-517X"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William P. Thurston","raw_affiliation_strings":["Computer Science Department, Princeton University, Princeton, New Jersey 08544 and","NEC Research Institute, Princeton, New Jersey 08540",", Carnegie Mellon University, Pittsburgh, Pennsylvania 15213","Department of Mathematics, University of California at Berkeley, Berkeley, California 94720"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Princeton University, Princeton, New Jersey 08544 and","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"NEC Research Institute, Princeton, New Jersey 08540","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":", Carnegie Mellon University, Pittsburgh, Pennsylvania 15213","institution_ids":[]},{"raw_affiliation_string":"Department of Mathematics, University of California at Berkeley, Berkeley, California 94720","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5003281880"],"corresponding_institution_ids":["https://openalex.org/I20089843","https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":47,"citation_normalized_percentile":{"value":0.0993697,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"5","issue":"3","first_page":"428","last_page":"450"},"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.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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9812999963760376,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.7971678972244263},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6325869560241699},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.6095654964447021},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.5952193737030029},{"id":"https://openalex.org/keywords/diagonal","display_name":"Diagonal","score":0.516177237033844},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5115240812301636},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.46644163131713867},{"id":"https://openalex.org/keywords/associative-property","display_name":"Associative property","score":0.45719969272613525},{"id":"https://openalex.org/keywords/noncommutative-geometry","display_name":"Noncommutative geometry","score":0.44539573788642883},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.11947742104530334}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7971678972244263},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6325869560241699},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6095654964447021},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.5952193737030029},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.516177237033844},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5115240812301636},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.46644163131713867},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.45719969272613525},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.44539573788642883},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.11947742104530334},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/0405034","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0405034","pdf_url":null,"source":{"id":"https://openalex.org/S117679221","display_name":"SIAM Journal on Discrete Mathematics","issn_l":"0895-4801","issn":["0895-4801","1095-7146"],"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 Discrete Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.111.2033","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.2033","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.cmu.edu/~sleator/papers/evolving-structures.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6812465095","display_name":"Mathematical Sciences: Manifolds and Algebraic Topology","funder_award_id":"8806067","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6902374775","display_name":"Data Structures and Combinatorial Algorithms","funder_award_id":"8920505","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309292","display_name":"Princeton University","ror":"https://ror.org/00hx57361"},{"id":"https://openalex.org/F4320310882","display_name":"Center for Discrete Mathematics and Theoretical Computer Science","ror":"https://ror.org/00k551w06"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320337532","display_name":"Space and Naval Warfare Systems Command","ror":"https://ror.org/000ztjy10"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2050065904","https://openalex.org/W2095120546","https://openalex.org/W2114279441","https://openalex.org/W2172042336","https://openalex.org/W2989713547","https://openalex.org/W4213048098","https://openalex.org/W4237169760","https://openalex.org/W4238812576"],"related_works":["https://openalex.org/W1582288575","https://openalex.org/W954675015","https://openalex.org/W4280536022","https://openalex.org/W2026323096","https://openalex.org/W929035266","https://openalex.org/W1582143549","https://openalex.org/W4381740117","https://openalex.org/W2036976332","https://openalex.org/W2170841880","https://openalex.org/W2522209621"],"abstract_inverted_index":{"A":[0],"derivation":[1],"in":[2,14,74,124,158],"a":[3,8,65,134],"transformational":[4],"system":[5],"such":[6,59],"as":[7],"graph":[9,169],"grammar":[10],"may":[11,24],"be":[12,72,93],"redundant":[13],"the":[15,18,22,27,42,117,125,159],"sense":[16],"that":[17,31,34,108,148],"exact":[19],"order":[20],"of":[21,48,67,77,84,101,116,175],"transformations":[23],"not":[25],"affect":[26],"final":[28],"outcome;":[29],"all":[30],"matters":[32],"is":[33,39,104,146,209],"each":[35],"transformation,":[36],"when":[37],"applied,":[38],"applied":[40],"to":[41,95,128,162],"correct":[43],"substructure.":[44],"By":[45],"taking":[46],"advantage":[47],"this":[49],"redundancy,":[50],"we":[51],"can":[52,71,91],"develop":[53],"an":[54,130,199],"efficient":[55,75],"encoding":[56,62],"scheme":[57,63],"for":[58,81,106,190,206],"derivations.":[60,102],"This":[61],"has":[64],"number":[66],"diverse":[68],"applications.":[69],"It":[70,90,103],"used":[73,94],"enumeration":[76],"combinatorial":[78],"objects":[79],"or":[80],"compact":[82],"representation":[83],"program":[85],"and":[86,119],"data":[87],"structure":[88],"transformations.":[89],"also":[92],"derive":[96],"lower":[97,177],"bounds":[98,178],"on":[99],"lengths":[100],"shown,":[105],"example,":[107],"$\\Omega":[109,149],"(":[110,150],"n":[111,113,152,186,202],"\\log":[112],")$":[114,153,187,203],"applications":[115],"associative":[118],"commutative":[120,137,192],"laws":[121],"are":[122,156],"required":[123,157],"worst":[126,160],"case":[127,161],"transform":[129,163],"n-variable":[131],"expression":[132],"over":[133],"binary":[135],"associative,":[136,191],"operation":[138],"into":[139,170],"some":[140,171],"other":[141,172],"equivalent":[142],"expression.":[143],"Similarly,":[144],"it":[145],"shown":[147],"n\\log":[151,185,201],"\u201cdiagonal":[154],"flips\u201d":[155],"one":[164],"n-vertex":[165],"numbered":[166],"triangulated":[167],"planar":[168],"one.":[173],"Both":[174],"these":[176],"have":[179],"matching":[180],"upper":[181,188,204],"bounds.":[182],"An":[183],"$O(":[184,200],"bound":[189,205],"operations":[193],"was":[194],"known":[195],"previously,":[196],"whereas":[197],"here":[198],"diagonal":[207],"flips":[208],"obtained.":[210]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}