{"id":"https://openalex.org/W2026468639","doi":"https://doi.org/10.1142/s0218196703001365","title":"BREADTH-FIRST SEARCH AND THE ANDREWS\u2013CURTIS CONJECTURE","display_name":"BREADTH-FIRST SEARCH AND THE ANDREWS\u2013CURTIS CONJECTURE","publication_year":2003,"publication_date":"2003-02-01","ids":{"openalex":"https://openalex.org/W2026468639","doi":"https://doi.org/10.1142/s0218196703001365","mag":"2026468639"},"language":"en","primary_location":{"id":"doi:10.1142/s0218196703001365","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196703001365","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"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 Algebra and Computation","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/A5085365702","display_name":"George Havas","orcid":null},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"GEORGE HAVAS","raw_affiliation_strings":["Centre for Discrete Mathematics and Computing, School of Information Technology and Electrical Engineering, The University of Queensland, Queensland 4072, Australia","Centre for Discrete Mathematics and Computing, School of Information Technology and Electrical Engineering , The University of Queensland , Queensland , 4072 , Australia"],"affiliations":[{"raw_affiliation_string":"Centre for Discrete Mathematics and Computing, School of Information Technology and Electrical Engineering, The University of Queensland, Queensland 4072, Australia","institution_ids":["https://openalex.org/I165143802"]},{"raw_affiliation_string":"Centre for Discrete Mathematics and Computing, School of Information Technology and Electrical Engineering , The University of Queensland , Queensland , 4072 , Australia","institution_ids":["https://openalex.org/I165143802"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007851164","display_name":"Colin M. Ramsay","orcid":"https://orcid.org/0009-0003-0801-153X"},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"COLIN RAMSAY","raw_affiliation_strings":["Centre for Discrete Mathematics and Computing, School of Information Technology and Electrical Engineering, The University of Queensland, Queensland 4072, Australia","Centre for Discrete Mathematics and Computing, School of Information Technology and Electrical Engineering , The University of Queensland , Queensland , 4072 , Australia"],"affiliations":[{"raw_affiliation_string":"Centre for Discrete Mathematics and Computing, School of Information Technology and Electrical Engineering, The University of Queensland, Queensland 4072, Australia","institution_ids":["https://openalex.org/I165143802"]},{"raw_affiliation_string":"Centre for Discrete Mathematics and Computing, School of Information Technology and Electrical Engineering , The University of Queensland , Queensland , 4072 , Australia","institution_ids":["https://openalex.org/I165143802"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5085365702"],"corresponding_institution_ids":["https://openalex.org/I165143802"],"apc_list":null,"apc_paid":null,"fwci":1.0903,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.77117559,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"13","issue":"01","first_page":"61","last_page":"68"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"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":0.9998999834060669,"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.9984999895095825,"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/mathematics","display_name":"Mathematics","score":0.7747728228569031},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.746993362903595},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.680246889591217},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.6637285351753235},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.554117739200592},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.4805774688720703},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.45703139901161194},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.361808180809021},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3219011723995209}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7747728228569031},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.746993362903595},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.680246889591217},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6637285351753235},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.554117739200592},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4805774688720703},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.45703139901161194},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.361808180809021},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3219011723995209},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1142/s0218196703001365","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196703001365","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"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 Algebra and Computation","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.20.7253","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.7253","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.csee.uq.edu.au/~cram/ijac.ps.gz","raw_type":"text"},{"id":"pmh:oai:espace.library.uq.edu.au:UQ:66246","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402388","display_name":"Queensland's institutional digital repository (The University of Queensland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I165143802","host_organization_name":"The University of Queensland","host_organization_lineage":["https://openalex.org/I165143802"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1650551768","https://openalex.org/W1807656625","https://openalex.org/W1971506185","https://openalex.org/W2053384159","https://openalex.org/W2055356126","https://openalex.org/W2059812428","https://openalex.org/W2072937648","https://openalex.org/W2075891690","https://openalex.org/W4250077446"],"related_works":["https://openalex.org/W4309222106","https://openalex.org/W2012590989","https://openalex.org/W4385681624","https://openalex.org/W2049783774","https://openalex.org/W4240581084","https://openalex.org/W2049141591","https://openalex.org/W2952569802","https://openalex.org/W2950489642","https://openalex.org/W1734188852","https://openalex.org/W2624451057"],"abstract_inverted_index":{"Andrews":[0],"and":[1,33,64,85],"Curtis":[2],"conjectured":[3],"in":[4],"1965":[5],"that":[6,46,68],"every":[7],"balanced":[8],"presentation":[9,20],"of":[10,25,55,58],"the":[11,56,88],"trivial":[12],"group":[13],"can":[14],"be":[15],"transformed":[16],"into":[17],"a":[18,22,47,52,103],"standard":[19],"by":[21,31],"finite":[23],"sequence":[24],"elementary":[26],"transformations.":[27],"Recent":[28],"computational":[29,48],"work":[30],"Miasnikov":[32],"Myasnikov":[34],"on":[35,41,51,70],"this":[36],"problem":[37],"has":[38],"been":[39],"based":[40,50,69],"genetic":[42,71],"algorithms.":[43,72],"We":[44,95],"show":[45],"attack":[49],"breadth-first":[53],"search":[54],"tree":[57],"equivalent":[59],"presentations":[60],"is":[61,102],"also":[62],"viable,":[63],"seems":[65],"to":[66,76,86,99],"outperform":[67],"It":[73],"allows":[74],"us":[75],"extract":[77],"shorter":[78],"proofs":[79],"(in":[80],"some":[81],"cases,":[82],"provably":[83],"shortest)":[84],"consider":[87],"length":[89],"thirteen":[90],"case":[91],"for":[92],"two":[93],"generators.":[94],"prove":[96],"that,":[97],"up":[98],"equivalence,":[100],"there":[101],"unique":[104],"minimum":[105],"potential":[106],"counterexample.":[107]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}