{"id":"https://openalex.org/W1779684050","doi":"https://doi.org/10.1145/3389396","title":"Beating the Generator-Enumeration Bound for Solvable-Group Isomorphism","display_name":"Beating the Generator-Enumeration Bound for Solvable-Group Isomorphism","publication_year":2020,"publication_date":"2020-05-03","ids":{"openalex":"https://openalex.org/W1779684050","doi":"https://doi.org/10.1145/3389396","mag":"1779684050"},"language":"en","primary_location":{"id":"doi:10.1145/3389396","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3389396","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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":"ACM Transactions on Computation Theory","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1412.0639","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114030765","display_name":"David J. Rosenbaum","orcid":null},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"David J. Rosenbaum","raw_affiliation_strings":["University of Washington"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Washington","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5114030765"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00284571,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":"2","first_page":"1","last_page":"18"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9987000226974487,"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.9987000226974487,"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.998199999332428,"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/T10237","display_name":"Cryptography and Data Security","score":0.996999979019165,"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/enumeration","display_name":"Enumeration","score":0.7864577770233154},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7372217178344727},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.6871836185455322},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6711532473564148},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6339660882949829},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.5842185616493225},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5839776396751404},{"id":"https://openalex.org/keywords/sylow-theorems","display_name":"Sylow theorems","score":0.5237060785293579},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.5236772894859314},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.49054187536239624},{"id":"https://openalex.org/keywords/graph-isomorphism","display_name":"Graph isomorphism","score":0.4840947389602661},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.48069363832473755},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4778556227684021},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.4353978931903839},{"id":"https://openalex.org/keywords/finite-group","display_name":"Finite group","score":0.21345257759094238}],"concepts":[{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.7864577770233154},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7372217178344727},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.6871836185455322},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6711532473564148},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6339660882949829},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.5842185616493225},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5839776396751404},{"id":"https://openalex.org/C124535231","wikidata":"https://www.wikidata.org/wiki/Q1057919","display_name":"Sylow theorems","level":4,"score":0.5237060785293579},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.5236772894859314},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.49054187536239624},{"id":"https://openalex.org/C61665672","wikidata":"https://www.wikidata.org/wiki/Q303100","display_name":"Graph isomorphism","level":4,"score":0.4840947389602661},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.48069363832473755},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4778556227684021},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.4353978931903839},{"id":"https://openalex.org/C2777404646","wikidata":"https://www.wikidata.org/wiki/Q1057968","display_name":"Finite group","level":3,"score":0.21345257759094238},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3389396","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3389396","pdf_url":null,"source":{"id":"https://openalex.org/S205019203","display_name":"ACM Transactions on Computation Theory","issn_l":"1942-3454","issn":["1942-3454","1942-3462"],"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":"ACM Transactions on Computation Theory","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1412.0639","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1412.0639","pdf_url":"https://arxiv.org/pdf/1412.0639","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:1779684050","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1412.0639.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1412.0639","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1412.0639","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1412.0639","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1412.0639","pdf_url":"https://arxiv.org/pdf/1412.0639","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1779684050.pdf","grobid_xml":"https://content.openalex.org/works/W1779684050.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W36980914","https://openalex.org/W37340061","https://openalex.org/W162918881","https://openalex.org/W1510779330","https://openalex.org/W1600006951","https://openalex.org/W1854532547","https://openalex.org/W1973322735","https://openalex.org/W1974672137","https://openalex.org/W1989359050","https://openalex.org/W1994990018","https://openalex.org/W2001882515","https://openalex.org/W2031385132","https://openalex.org/W2036256728","https://openalex.org/W2037526361","https://openalex.org/W2053741044","https://openalex.org/W2063860797","https://openalex.org/W2077723005","https://openalex.org/W2398407923","https://openalex.org/W2949255982","https://openalex.org/W2963525423","https://openalex.org/W2963982514","https://openalex.org/W4239350281"],"related_works":["https://openalex.org/W2395349147","https://openalex.org/W2049661027","https://openalex.org/W2750573468","https://openalex.org/W2963204136","https://openalex.org/W3021153856","https://openalex.org/W2792900041","https://openalex.org/W1975124543","https://openalex.org/W2187900714","https://openalex.org/W2272045681","https://openalex.org/W2404079840","https://openalex.org/W2145192475","https://openalex.org/W2224152264","https://openalex.org/W2123734400","https://openalex.org/W2903540361","https://openalex.org/W2735166887","https://openalex.org/W2962948267","https://openalex.org/W2949942456","https://openalex.org/W3128980175","https://openalex.org/W2950262288","https://openalex.org/W195565286"],"abstract_inverted_index":{"We":[0,218],"consider":[1],"the":[2,14,19,24,37,40,45,101,121,149,154,166,182,195,232],"isomorphism":[3,81,109],"problem":[4],"for":[5,18,79,100,107,215],"groups":[6,102,127,229],"specified":[7],"by":[8,23,85,91],"their":[9],"multiplication":[10],"tables.":[11],"Until":[12],"recently,":[13],"best":[15],"published":[16],"bound":[17],"worst-case":[20],"was":[21],"achieved":[22],"n":[25,28,35,50,61,67,71,75,131,137,141],"log":[26,65,73,74,135,143,144],"p":[27,43,66,83,92,136],"+":[29,68,93,138],"O":[30,69,94,139],"(1)":[31,95],"generator-enumeration":[32,167],"algorithm":[33,78,106,214,222],"where":[34],"is":[36,44],"order":[38],"of":[39,49,82,110,125,151,172,184,227],"group":[41],"and":[42,103,207],"smallest":[46],"prime":[47],"divisor":[48],".":[51],"In":[52,113,148],"previous":[53,162],"work":[54],"with":[55,88,188],"Fabian":[56],"Wagner,":[57],"we":[58,116,175,211],"showed":[59],"an":[60,130],"(1":[62,132],"/":[63,72,133,142],"2)":[64,134],"(log":[70,140],")":[76],"-time":[77,146],"testing":[80,108],"-groups":[84],"building":[86],"graphs":[87,202],"degree":[89],"bounded":[90],"that":[96,180,203],"represent":[97,204],"composition":[98,155,186,196],"series":[99,187],"applying":[104],"Luks\u2019":[105,209],"bounded-degree":[111],"graphs.":[112],"this":[114,118],"work,":[115],"extend":[117,220],"improvement":[119],"to":[120,128,223],"more":[122],"general":[123],"class":[124],"solvable":[126,152,228],"obtain":[129,212],"n)":[145],"algorithm.":[147,168],"case":[150],"groups,":[153],"factors":[156,190,197],"can":[157],"be":[158],"large":[159],"which":[160],"prevents":[161],"methods":[163],"from":[164],"outperforming":[165],"Using":[169],"Hall\u2019s":[170],"theory":[171],"Sylow":[173],"bases,":[174],"define":[176],"a":[177,185],"new":[178],"object":[179],"generalizes":[181],"notion":[183],"small":[189],"but":[191],"exists":[192],"even":[193],"when":[194],"are":[198],"large.":[199],"By":[200],"constructing":[201],"these":[205],"objects":[206],"running":[208],"algorithm,":[210],"our":[213,221],"solvable-group":[216],"isomorphism.":[217],"also":[219],"compute":[224],"canonical":[225],"forms":[226],"while":[230],"retaining":[231],"same":[233],"complexity.":[234]},"counts_by_year":[],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}