{"id":"https://openalex.org/W2407021550","doi":"https://doi.org/10.1137/15m1009767","title":"Algorithms for Group Isomorphism via Group Extensions and Cohomology","display_name":"Algorithms for Group Isomorphism via Group Extensions and Cohomology","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2407021550","doi":"https://doi.org/10.1137/15m1009767","mag":"2407021550"},"language":"en","primary_location":{"id":"doi:10.1137/15m1009767","is_oa":true,"landing_page_url":"https://doi.org/10.1137/15m1009767","pdf_url":"https://epubs.siam.org/doi/pdf/10.1137/15M1009767","source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://epubs.siam.org/doi/pdf/10.1137/15M1009767","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062065155","display_name":"Joshua A. Grochow","orcid":"https://orcid.org/0000-0002-6466-0476"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Joshua A. Grochow","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5054605479","display_name":"Youming Qiao","orcid":"https://orcid.org/0000-0003-4334-1449"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Youming Qiao","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5062065155"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04966443,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"46","issue":"4","first_page":"1153","last_page":"1216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.9843000173568726,"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"}},"topics":[{"id":"https://openalex.org/T10849","display_name":"Finite Group Theory Research","score":0.9843000173568726,"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"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9828000068664551,"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/T13768","display_name":"Oral and gingival health research","score":0.972000002861023,"subfield":{"id":"https://openalex.org/subfields/3611","display_name":"Pharmacy"},"field":{"id":"https://openalex.org/fields/36","display_name":"Health Professions"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.6594094038009644},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6257318258285522},{"id":"https://openalex.org/keywords/abelian-group","display_name":"Abelian group","score":0.6070197820663452},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.586356520652771},{"id":"https://openalex.org/keywords/group-isomorphism","display_name":"Group isomorphism","score":0.5780588388442993},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5191327929496765},{"id":"https://openalex.org/keywords/divide-and-conquer-algorithms","display_name":"Divide and conquer algorithms","score":0.49799370765686035},{"id":"https://openalex.org/keywords/cohomology","display_name":"Cohomology","score":0.4783441722393036},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.45947474241256714},{"id":"https://openalex.org/keywords/quotient-group","display_name":"Quotient group","score":0.4351658225059509},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4328823983669281},{"id":"https://openalex.org/keywords/group-cohomology","display_name":"Group cohomology","score":0.42505255341529846},{"id":"https://openalex.org/keywords/normal-subgroup","display_name":"Normal subgroup","score":0.4243369698524475},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4172130525112152},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3770645260810852},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3662217855453491},{"id":"https://openalex.org/keywords/cyclic-group","display_name":"Cyclic group","score":0.2660517692565918},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2466621696949005},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.23727616667747498},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1665772795677185}],"concepts":[{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.6594094038009644},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6257318258285522},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.6070197820663452},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.586356520652771},{"id":"https://openalex.org/C155190451","wikidata":"https://www.wikidata.org/wiki/Q742064","display_name":"Group isomorphism","level":5,"score":0.5780588388442993},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5191327929496765},{"id":"https://openalex.org/C71559656","wikidata":"https://www.wikidata.org/wiki/Q671298","display_name":"Divide and conquer algorithms","level":2,"score":0.49799370765686035},{"id":"https://openalex.org/C78606066","wikidata":"https://www.wikidata.org/wiki/Q1198376","display_name":"Cohomology","level":2,"score":0.4783441722393036},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.45947474241256714},{"id":"https://openalex.org/C95627345","wikidata":"https://www.wikidata.org/wiki/Q1138961","display_name":"Quotient group","level":4,"score":0.4351658225059509},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4328823983669281},{"id":"https://openalex.org/C155751095","wikidata":"https://www.wikidata.org/wiki/Q1408937","display_name":"Group cohomology","level":3,"score":0.42505255341529846},{"id":"https://openalex.org/C105515060","wikidata":"https://www.wikidata.org/wiki/Q743179","display_name":"Normal subgroup","level":3,"score":0.4243369698524475},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4172130525112152},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3770645260810852},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3662217855453491},{"id":"https://openalex.org/C20725272","wikidata":"https://www.wikidata.org/wiki/Q245462","display_name":"Cyclic group","level":3,"score":0.2660517692565918},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2466621696949005},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.23727616667747498},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1665772795677185},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C124453015","wikidata":"https://www.wikidata.org/wiki/Q1139583","display_name":"Inner automorphism","level":4,"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/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C2988750069","wikidata":"https://www.wikidata.org/wiki/Q60790315","display_name":"Automorphism group","level":3,"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/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1137/15m1009767","is_oa":true,"landing_page_url":"https://doi.org/10.1137/15m1009767","pdf_url":"https://epubs.siam.org/doi/pdf/10.1137/15M1009767","source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1309.1776","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1309.1776","pdf_url":"https://arxiv.org/pdf/1309.1776","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":"text"},{"id":"pmh:oai:opus.lib.uts.edu.au:10453/121611","is_oa":false,"landing_page_url":"http://hdl.handle.net/10453/121611","pdf_url":null,"source":{"id":"https://openalex.org/S4306401357","display_name":"UTS ePRESS (University of Technology Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114017466","host_organization_name":"University of Technology Sydney","host_organization_lineage":["https://openalex.org/I114017466"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceeding"},{"id":"pmh:oai:opus.lib.uts.edu.au:10453/127009","is_oa":false,"landing_page_url":"http://hdl.handle.net/10453/127009","pdf_url":null,"source":{"id":"https://openalex.org/S4306401357","display_name":"UTS ePRESS (University of Technology Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114017466","host_organization_name":"University of Technology Sydney","host_organization_lineage":["https://openalex.org/I114017466"],"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"},{"id":"doi:10.48550/arxiv.1309.1776","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1309.1776","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"article"},{"id":"mag:2407021550","is_oa":false,"landing_page_url":"http://eccc.weizmann.ac.il/report/2013/123","pdf_url":null,"source":{"id":"https://openalex.org/S11189987","display_name":"Electronic colloquium on computational complexity","issn_l":"1433-8092","issn":["1433-8092"],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":"Electronic colloquium on computational complexity","raw_type":null}],"best_oa_location":{"id":"doi:10.1137/15m1009767","is_oa":true,"landing_page_url":"https://doi.org/10.1137/15m1009767","pdf_url":"https://epubs.siam.org/doi/pdf/10.1137/15M1009767","source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G220452113","display_name":null,"funder_award_id":"482671","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G3277130425","display_name":null,"funder_award_id":"DECRA DE150100720","funder_id":"https://openalex.org/F4320334704","funder_display_name":"Australian Research Council"},{"id":"https://openalex.org/G4037562067","display_name":"Collaborative Research: New Algorithms for Group Isomorphism","funder_award_id":"1620484","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5308233165","display_name":null,"funder_award_id":"DMS-1620484","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8146696586","display_name":"Variational Problems and Dynamics","funder_award_id":"1501007","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320334704","display_name":"Australian Research Council","ror":"https://ror.org/05mmh0f86"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2407021550.pdf","grobid_xml":"https://content.openalex.org/works/W2407021550.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W1632324834","https://openalex.org/W1905051757","https://openalex.org/W1970862394","https://openalex.org/W1974672137","https://openalex.org/W1976677460","https://openalex.org/W1981433559","https://openalex.org/W1989359050","https://openalex.org/W1999377233","https://openalex.org/W2009944783","https://openalex.org/W2015332959","https://openalex.org/W2015910906","https://openalex.org/W2015970419","https://openalex.org/W2023033882","https://openalex.org/W2031385132","https://openalex.org/W2034592750","https://openalex.org/W2036256728","https://openalex.org/W2038660785","https://openalex.org/W2039498982","https://openalex.org/W2045979097","https://openalex.org/W2046433533","https://openalex.org/W2053269728","https://openalex.org/W2055472648","https://openalex.org/W2058463226","https://openalex.org/W2060107734","https://openalex.org/W2060880193","https://openalex.org/W2064162562","https://openalex.org/W2068243918","https://openalex.org/W2068948309","https://openalex.org/W2071772182","https://openalex.org/W2075388334","https://openalex.org/W2077202644","https://openalex.org/W2077723005","https://openalex.org/W2109616743","https://openalex.org/W2148957455","https://openalex.org/W2156052684","https://openalex.org/W2156088544","https://openalex.org/W2160461541","https://openalex.org/W2176761779","https://openalex.org/W2313857119","https://openalex.org/W2325418462","https://openalex.org/W2963331108","https://openalex.org/W3104785372"],"related_works":["https://openalex.org/W2724664870","https://openalex.org/W2963982514","https://openalex.org/W2954610481","https://openalex.org/W2398407923","https://openalex.org/W2952568090","https://openalex.org/W1854099214","https://openalex.org/W1500831987","https://openalex.org/W2044388955","https://openalex.org/W2335514958","https://openalex.org/W2113555467","https://openalex.org/W1927651268","https://openalex.org/W1689419065","https://openalex.org/W4737311","https://openalex.org/W2049341040","https://openalex.org/W2005141339","https://openalex.org/W103515877","https://openalex.org/W2087893947","https://openalex.org/W2435207847","https://openalex.org/W2982093247","https://openalex.org/W2197950459"],"abstract_inverted_index":{"The":[0,49],"isomorphism":[1,212],"problem":[2],"for":[3,28,41,133,214,255,262,277,330,339,375,395],"finite":[4],"groups":[5,184,215,237,278,331,340],"of":[6,47,128,163,183,202,266,315,345,367,383],"order":[7],"$n$":[8],"(GpI)":[9],"has":[10,191],"long":[11],"been":[12,303],"known":[13],"to":[14,60,68,106,110,123,141,320],"be":[15],"solvable":[16,280],"in":[17,152,161,223,250,259,273],"$n^{\\log":[18],"n+O(1)}$":[19],"time,":[20],"but":[21,286],"only":[22],"recently":[23],"were":[24,335],"polynomial-time":[25,131],"algorithms":[26,132,329,357],"designed":[27],"several":[29,263,360,392],"interesting":[30],"group":[31,80,88,135,159,204],"classes.":[32,136],"Inspired":[33],"by":[34,138,207],"recent":[35,130],"progress,":[36],"we":[37,147,247,293,358],"revisit":[38],"the":[39,44,91,112,164,181,203,244,298,323,364],"strategy":[40,71,98,109],"GpI":[42,74,249,272],"via":[43,62],"extension":[45,50,201],"theory":[46,51],"groups.":[48,268],"describes":[52],"how":[53],"a":[54,69,125,199,342],"normal":[55,92,194,219,241,281],"subgroup":[56,93],"$N$":[57,94,115],"is":[58,95,99,105,116,198,297],"related":[59],"$G/N$":[61],"$G$,":[63],"and":[64,85,158,229,258,317,380],"this":[65,97,108,139,296,321],"naturally":[66],"leads":[67],"divide-and-conquer":[70],"that":[72,186,311],"\u201csplits\u201d":[73],"into":[75],"two":[76],"subproblems:":[77],"one":[78,86],"regarding":[79,87],"actions":[81],"on":[82,145,169,226,306,328,363],"other":[83],"groups,":[84,150,257],"cohomology.":[89],"When":[90],"abelian,":[96],"well":[100,371],"known.":[101],"Our":[102],"first":[103,299],"contribution":[104],"extend":[107],"handle":[111],"case":[113],"when":[114],"not":[117,287],"necessarily":[118,288],"abelian.":[119],"This":[120,196],"allows":[121],"us":[122],"provide":[124],"unified":[126],"explanation":[127],"all":[129],"special":[134],"Guided":[137],"strategy,":[140,246],"make":[142],"further":[143],"progress":[144],"GpI,":[146],"consider":[148],"central-radical":[149,256,267],"proposed":[151],"Babai":[153,208],"et":[154,209],"al.":[155,210],"[Code":[156],"equivalence":[157],"isomorphism,":[160],"Proceedings":[162],"22nd":[165],"Annual":[166],"ACM--SIAM":[167],"Symposium":[168],"Discrete":[170],"Algorithms":[171],"(SODA'11),":[172],"SIAM,":[173],"Philadelphia,":[174],"2011,":[175],"ACM,":[176],"New":[177],"York,":[178],"pp.":[179,233],"1395--1408]:":[180],"class":[182,197,205],"such":[185,348],"$G$":[187],"modulo":[188],"its":[189],"center":[190],"no":[192,217,239],"abelian":[193,218,240,285],"subgroups.":[195,242],"natural":[200],"considered":[206],"[Polynomial-time":[211],"test":[213],"with":[216,238,332,341],"subgroups":[220,282],"(extended":[221],"abstract),":[222],"International":[224],"Colloquium":[225],"Automata,":[227],"Languages,":[228],"Programming":[230],"(ICALP),":[231],"2012,":[232],"51--62],":[234],"namely":[235],"those":[236],"Following":[243],"above":[245],"solve":[248,271],"$n^{O(\\log":[251,336],"\\log":[252],"n)}$":[253,275],"time":[254,261,276,300],"polynomial":[260],"prominent":[264],"subclasses":[265],"We":[269,389],"also":[270,390],"$n^{O(\\log\\log":[274],"whose":[279],"are":[283,294],"elementary":[284],"central.":[289],"As":[290],"far":[291],"as":[292,349,370,372],"aware,":[295],"there":[301],"have":[302],"worst-case":[304],"guarantees":[305],"an":[307],"$n^{o(\\log":[308],"n)}$-time":[309],"algorithm":[310],"tackles":[312],"both":[313],"aspects":[314],"GpI---actions":[316],"cohomology---simultaneously.":[318],"Prior":[319],"work,":[322],"best":[324],"proven":[325],"upper":[326],"bounds":[327],"central":[333,343],"radicals":[334],"n)}$,":[337],"even":[338],"radical":[344],"constant":[346],"size,":[347],"${Rad}(G)":[350],"=":[351],"Z(G)=\\mathbb{Z}_2$.":[352],"To":[353],"develop":[354],"our":[355],"new":[356],"utilize":[359],"mathematical":[361],"results":[362,374],"detailed":[365],"structure":[366],"cohomology":[368],"classes,":[369],"algorithmic":[373],"code":[376],"equivalence,":[377],"coset":[378],"intersection,":[379],"cyclicity":[381],"testing":[382],"modules":[384],"over":[385],"finite-dimensional":[386],"associative":[387],"algebras.":[388],"suggest":[391],"promising":[393],"directions":[394],"future":[396],"work.":[397]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}