{"id":"https://openalex.org/W2918956746","doi":"https://doi.org/10.1142/s0129054119400057","title":"On the Interplay Between \u010cern\u00fd and Babai\u2019s Conjectures","display_name":"On the Interplay Between \u010cern\u00fd and Babai\u2019s Conjectures","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2918956746","doi":"https://doi.org/10.1142/s0129054119400057","mag":"2918956746"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054119400057","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054119400057","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10831/48992","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030983122","display_name":"Fran\u00e7ois Gonze","orcid":null},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Fran\u00e7ois Gonze","raw_affiliation_strings":["ICTEAM Institute, Universit\u00e9 Catholique de Louvain, Louvain-la-Neuve, Belgium"],"affiliations":[{"raw_affiliation_string":"ICTEAM Institute, Universit\u00e9 Catholique de Louvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067994724","display_name":"Vladimir V. Gusev","orcid":"https://orcid.org/0000-0002-2815-607X"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Vladimir V. Gusev","raw_affiliation_strings":["ICTEAM Institute, Universit\u00e9 Catholique de Louvain, Louvain-la-Neuve, Belgium"],"affiliations":[{"raw_affiliation_string":"ICTEAM Institute, Universit\u00e9 Catholique de Louvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056625594","display_name":"Rapha\u00ebl M. Jungers","orcid":"https://orcid.org/0000-0002-7789-0940"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Rapha\u00ebl M. Jungers","raw_affiliation_strings":["ICTEAM Institute, Universit\u00e9 Catholique de Louvain, Louvain-la-Neuve, Belgium"],"affiliations":[{"raw_affiliation_string":"ICTEAM Institute, Universit\u00e9 Catholique de Louvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060910753","display_name":"Bal\u00e1zs Gerencs\u00e9r","orcid":"https://orcid.org/0000-0002-3885-4146"},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]},{"id":"https://openalex.org/I127817813","display_name":"Alfr\u00e9d R\u00e9nyi Institute of Mathematics","ror":"https://ror.org/03vw74f64","country_code":"HU","type":"facility","lineage":["https://openalex.org/I127817813","https://openalex.org/I7597260"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Bal\u00e1zs Gerencs\u00e9r","raw_affiliation_strings":["Alfr\u00e9d R\u00e9nyi Institute of Mathematics and ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"],"affiliations":[{"raw_affiliation_string":"Alfr\u00e9d R\u00e9nyi Institute of Mathematics and ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary","institution_ids":["https://openalex.org/I127817813","https://openalex.org/I106118109"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079604981","display_name":"Mikhail V. Volkov","orcid":"https://orcid.org/0000-0002-9327-243X"},"institutions":[{"id":"https://openalex.org/I130823665","display_name":"Ural Federal University","ror":"https://ror.org/00hs7dr46","country_code":"RU","type":"education","lineage":["https://openalex.org/I130823665"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Mikhail V. Volkov","raw_affiliation_strings":["Ural Federal University, Ekaterinburg, Russia"],"affiliations":[{"raw_affiliation_string":"Ural Federal University, Ekaterinburg, Russia","institution_ids":["https://openalex.org/I130823665"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5030983122"],"corresponding_institution_ids":["https://openalex.org/I95674353"],"apc_list":null,"apc_paid":null,"fwci":0.4,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.62450622,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"30","issue":"01","first_page":"93","last_page":"114"},"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/T11130","display_name":"Coding theory and cryptography","score":0.9980999827384949,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.7385930418968201},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.7284055948257446},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.7255644798278809},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7199265956878662},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6689577698707581},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5387121438980103},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5160695910453796},{"id":"https://openalex.org/keywords/reset","display_name":"Reset (finance)","score":0.5026121139526367},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5005557537078857},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.45450857281684875},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4454023241996765},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.43654394149780273},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4122456908226013},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.14459934830665588},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.10918736457824707},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0537322461605072}],"concepts":[{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.7385930418968201},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.7284055948257446},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7255644798278809},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7199265956878662},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6689577698707581},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5387121438980103},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5160695910453796},{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.5026121139526367},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5005557537078857},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.45450857281684875},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4454023241996765},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.43654394149780273},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4122456908226013},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14459934830665588},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.10918736457824707},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0537322461605072},{"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/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1142/s0129054119400057","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054119400057","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:real.mtak.hu:92048","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400081","display_name":"Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210140733","host_organization_name":"Library and Information Centre of the Hungarian Academy of Sciences","host_organization_lineage":["https://openalex.org/I4210140733"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:edit.elte.hu:10831/48992","is_oa":true,"landing_page_url":"http://hdl.handle.net/10831/48992","pdf_url":null,"source":{"id":"https://openalex.org/S4306400126","display_name":"ELTE Digital Institutional Repository (EDIT) (E\u00f6tv\u00f6s Lor\u00e1nd University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I106118109","host_organization_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","host_organization_lineage":["https://openalex.org/I106118109"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:elar.urfu.ru:10995/102723","is_oa":true,"landing_page_url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-85062518493&doi=10.1142%2fS0129054119400057&partnerID=40&md5=5b2dc76d177c6d46a5a848f8343aac91","pdf_url":null,"source":{"id":"https://openalex.org/S4306401522","display_name":"Electronic scientific archive of UrFU (Ural Federal University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130823665","host_organization_name":"Ural Federal University","host_organization_lineage":["https://openalex.org/I130823665"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:edit.elte.hu:10831/48992","is_oa":true,"landing_page_url":"http://hdl.handle.net/10831/48992","pdf_url":null,"source":{"id":"https://openalex.org/S4306400126","display_name":"ELTE Digital Institutional Repository (EDIT) (E\u00f6tv\u00f6s Lor\u00e1nd University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I106118109","host_organization_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","host_organization_lineage":["https://openalex.org/I106118109"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6058804733","display_name":null,"funder_award_id":"16-01-00795","funder_id":"https://openalex.org/F4320321079","funder_display_name":"Russian Foundation for Basic Research"}],"funders":[{"id":"https://openalex.org/F4320321079","display_name":"Russian Foundation for Basic Research","ror":"https://ror.org/02mh1ke95"},{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"},{"id":"https://openalex.org/F4320321584","display_name":"F\u00e9d\u00e9ration Wallonie-Bruxelles","ror":"https://ror.org/04q01pf08"},{"id":"https://openalex.org/F4320325921","display_name":"Ural Federal University","ror":"https://ror.org/00hs7dr46"},{"id":"https://openalex.org/F4320336675","display_name":"National Research, Development and Innovation Office","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1207259902","https://openalex.org/W1551139065","https://openalex.org/W1610769795","https://openalex.org/W1716012257","https://openalex.org/W1967689296","https://openalex.org/W1977703234","https://openalex.org/W1985459513","https://openalex.org/W1993694495","https://openalex.org/W2027529831","https://openalex.org/W2034962669","https://openalex.org/W2038128483","https://openalex.org/W2058434075","https://openalex.org/W2062377295","https://openalex.org/W2076973717","https://openalex.org/W2121681477","https://openalex.org/W2140147014","https://openalex.org/W2265316437","https://openalex.org/W2284475030","https://openalex.org/W2333783987","https://openalex.org/W2488025056","https://openalex.org/W2786516640","https://openalex.org/W2962940319","https://openalex.org/W2963569553","https://openalex.org/W2963907663","https://openalex.org/W3101430836","https://openalex.org/W3103079404","https://openalex.org/W3104052932","https://openalex.org/W4206405967"],"related_works":["https://openalex.org/W350273603","https://openalex.org/W2393495588","https://openalex.org/W96259911","https://openalex.org/W4385608460","https://openalex.org/W2168225754","https://openalex.org/W2370772865","https://openalex.org/W2000034628","https://openalex.org/W1528611913","https://openalex.org/W4247734921","https://openalex.org/W2145224012"],"abstract_inverted_index":{"Motivated":[0],"by":[1,49],"the":[2,6,11,17,22,28,44,56,67],"Babai":[3],"conjecture":[4],"and":[5,53,73],"\u010cern\u00fd":[7],"conjecture,":[8],"we":[9,41,63],"study":[10,64],"reset":[12,45],"thresholds":[13],"of":[14,25,27,66,70],"automata":[15,32,72,79],"with":[16,33,80],"transition":[18],"monoid":[19,24],"equal":[20],"to":[21],"full":[23],"transformations":[26],"state":[29],"set.":[30],"For":[31],"[Formula:":[34,50,58,75,82],"see":[35,51,59,76,83],"text]":[36,52],"states":[37],"in":[38],"this":[39],"class,":[40],"prove":[42],"that":[43],"threshold":[46],"is":[47],"upper-bounded":[48],"can":[54],"attain":[55],"value":[57],"text].":[60,84],"In":[61],"addition,":[62],"diameters":[65],"pair":[68],"digraphs":[69],"permutation":[71,78],"construct":[74],"text]-state":[77],"diameter":[81]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2019-03-11T00:00:00"}