{"id":"https://openalex.org/W4366503918","doi":"https://doi.org/10.1007/978-3-031-30829-1_21","title":"Pebble minimization: the last theorems","display_name":"Pebble minimization: the last theorems","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4366503918","doi":"https://doi.org/10.1007/978-3-031-30829-1_21"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-30829-1_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30829-1_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_21.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087114677","display_name":"Ga\u00ebtan Dou\u00e9neau-Tabot","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I95583923","display_name":"Direction G\u00e9n\u00e9rale de l'Armement","ror":"https://ror.org/04wsqd844","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2799681489","https://openalex.org/I2802818602","https://openalex.org/I95583923"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Ga\u00ebtan Dou\u00e9neau-Tabot","raw_affiliation_strings":["Direction g\u00e9n\u00e9rale de l\u2019armement - Ing\u00e9nierie des projets, Paris, France","Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, 75013, Paris, France"],"affiliations":[{"raw_affiliation_string":"Direction g\u00e9n\u00e9rale de l\u2019armement - Ing\u00e9nierie des projets, Paris, France","institution_ids":["https://openalex.org/I95583923"]},{"raw_affiliation_string":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, 75013, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5087114677"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I95583923"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.9632,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71886192,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"436","last_page":"455"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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/T11567","display_name":"semigroups and automata theory","score":1.0,"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.9991000294685364,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9962000250816345,"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/pebble","display_name":"Pebble","score":0.885979175567627},{"id":"https://openalex.org/keywords/transducer","display_name":"Transducer","score":0.7031639814376831},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.6889656186103821},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6284270286560059},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5279285907745361},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.5241632461547852},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5182980895042419},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.4799478352069855},{"id":"https://openalex.org/keywords/quadratic-function","display_name":"Quadratic function","score":0.47582533955574036},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.47101151943206787},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3136328458786011},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1561981439590454},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.13976919651031494},{"id":"https://openalex.org/keywords/acoustics","display_name":"Acoustics","score":0.1260157823562622},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10105839371681213},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06559553742408752}],"concepts":[{"id":"https://openalex.org/C2777760186","wikidata":"https://www.wikidata.org/wiki/Q14673","display_name":"Pebble","level":2,"score":0.885979175567627},{"id":"https://openalex.org/C56318395","wikidata":"https://www.wikidata.org/wiki/Q215928","display_name":"Transducer","level":2,"score":0.7031639814376831},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.6889656186103821},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6284270286560059},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5279285907745361},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.5241632461547852},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5182980895042419},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.4799478352069855},{"id":"https://openalex.org/C166437778","wikidata":"https://www.wikidata.org/wiki/Q50695","display_name":"Quadratic function","level":3,"score":0.47582533955574036},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.47101151943206787},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3136328458786011},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1561981439590454},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.13976919651031494},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.1260157823562622},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10105839371681213},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06559553742408752},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","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},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C114793014","wikidata":"https://www.wikidata.org/wiki/Q52109","display_name":"Geomorphology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-30829-1_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30829-1_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-30829-1_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-30829-1_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-30829-1_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4366503918.pdf"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W773965","https://openalex.org/W1606880850","https://openalex.org/W1973145926","https://openalex.org/W1978177681","https://openalex.org/W1978405212","https://openalex.org/W1991376038","https://openalex.org/W2034701711","https://openalex.org/W2087397784","https://openalex.org/W2106181999","https://openalex.org/W2964036194","https://openalex.org/W4210631930","https://openalex.org/W4289856124","https://openalex.org/W4384344728","https://openalex.org/W6604069327"],"related_works":["https://openalex.org/W4200088481","https://openalex.org/W2146545591","https://openalex.org/W2334606969","https://openalex.org/W2052387254","https://openalex.org/W2968367996","https://openalex.org/W2038610180","https://openalex.org/W2034513372","https://openalex.org/W2895038486","https://openalex.org/W2046565574","https://openalex.org/W2776328748"],"abstract_inverted_index":{"Abstract":[0],"Pebble":[1],"transducers":[2,6],"are":[3],"nested":[4],"two-way":[5],"which":[7],"can":[8,19,34,100,148,179],"drop":[9],"marks":[10,89],"(named":[11],"\u201cpebbles\u201d)":[12],"on":[13],"their":[14,31],"input":[15],"word.":[16],"Such":[17],"machines":[18,177],"compute":[20,55],"functions":[21],"whose":[22,41,139,155],"output":[23,140],"size":[24,29,141],"is":[25,44,135,142,158],"polynomial":[26],"in":[27,132],"the":[28,70,73,88,103,125],"of":[30,72,82],"input.":[32],"They":[33],"be":[35,150],"seen":[36],"as":[37,172,174],"simple":[38],"recursive":[39],"programs":[40],"recursion":[42,62,126,156],"height":[43,157],"bounded.":[45],"A":[46],"natural":[47],"problem":[48,65],"is,":[49],"given":[50],"a":[51,137,153],"pebble":[52,58,83,91,108],"transducer,":[53],"to":[54],"an":[56,120],"equivalent":[57],"transducer":[59],"with":[60],"minimal":[61],"height.":[63,127],"This":[64],"has":[66],"been":[67],"open":[68],"since":[69],"introduction":[71],"model.":[74],"In":[75],"this":[76,168],"paper,":[77],"we":[78,118,175],"study":[79],"two":[80],"restrictions":[81],"transducers,":[84],"that":[85,99,136,167,178],"cannot":[86],"see":[87,102,180],"(\u201cblind":[90],"transducers\u201d":[92,109],"introduced":[93,110],"by":[94,111,152],"Nguy\u00ean":[95],"et":[96,113],"al.),":[97],"or":[98],"only":[101],"last":[104],"mark":[105],"dropped":[106],"(\u201clast":[107],"Engelfriet":[112],"al.).":[114],"For":[115],"both":[116,133],"models,":[117],"provide":[119],"effective":[121],"algorithm":[122],"for":[123],"minimizing":[124],"The":[128],"key":[129,169],"property":[130,170],"used":[131],"cases":[134],"function":[138],"linear":[143],"(resp.":[144,160],"quadratic,":[145],"cubic,":[146],"etc.)":[147],"always":[149],"computed":[151],"machine":[154],"1":[159],"2,":[161],"3,":[162],"etc.).":[163],"We":[164],"finally":[165],"show":[166],"fails":[171],"soon":[173],"consider":[176],"more":[181],"than":[182],"one":[183],"mark.":[184]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-01-22T23:29:09.771500","created_date":"2025-10-10T00:00:00"}