{"id":"https://openalex.org/W4396704996","doi":"https://doi.org/10.1007/s00224-024-10173-z","title":"The Power Word Problem in Graph Products","display_name":"The Power Word Problem in Graph Products","publication_year":2024,"publication_date":"2024-05-07","ids":{"openalex":"https://openalex.org/W4396704996","doi":"https://doi.org/10.1007/s00224-024-10173-z"},"language":"lv","primary_location":{"id":"doi:10.1007/s00224-024-10173-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-024-10173-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10173-z.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10173-z.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005500210","display_name":"Markus Lohrey","orcid":"https://orcid.org/0000-0002-4680-7198"},"institutions":[{"id":"https://openalex.org/I206895457","display_name":"University of Siegen","ror":"https://ror.org/02azyry73","country_code":"DE","type":"education","lineage":["https://openalex.org/I206895457"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Markus Lohrey","raw_affiliation_strings":["Universit\u00e4t Siegen, Siegen, 100190, Germany"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Siegen, Siegen, 100190, Germany","institution_ids":["https://openalex.org/I206895457"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062273512","display_name":"Florian Stober","orcid":"https://orcid.org/0000-0002-5516-6660"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Florian Stober","raw_affiliation_strings":["Universit\u00e4t Stuttgart, Stuttgart, 10587, Germany"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Stuttgart, Stuttgart, 10587, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"last","author":{"id":null,"display_name":"Armin Wei\u00df","orcid":null},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Armin Wei\u00df","raw_affiliation_strings":["Universit\u00e4t Stuttgart, Stuttgart, 10587, Germany"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Stuttgart, Stuttgart, 10587, Germany","institution_ids":["https://openalex.org/I100066346"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005500210"],"corresponding_institution_ids":["https://openalex.org/I206895457"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.3649,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59190294,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"68","issue":"3","first_page":"403","last_page":"464"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9991999864578247,"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.9991999864578247,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9829999804496765,"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/T12029","display_name":"DNA and Biological Computing","score":0.9824000000953674,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5305999517440796},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.344315767288208},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.31758829951286316}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5305999517440796},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.344315767288208},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.31758829951286316}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00224-024-10173-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-024-10173-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10173-z.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00224-024-10173-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-024-10173-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10173-z.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1876522549","display_name":null,"funder_award_id":"LO 748/12-2DI 435/7-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320325850","display_name":"Universit\u00e4t Stuttgart","ror":"https://ror.org/04vnq7t77"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4396704996.pdf"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W41330591","https://openalex.org/W128453691","https://openalex.org/W636399398","https://openalex.org/W1529497146","https://openalex.org/W1556583142","https://openalex.org/W1607181875","https://openalex.org/W1708992577","https://openalex.org/W1891894430","https://openalex.org/W1971853570","https://openalex.org/W2009571139","https://openalex.org/W2009964224","https://openalex.org/W2011321017","https://openalex.org/W2024091095","https://openalex.org/W2033064897","https://openalex.org/W2033463487","https://openalex.org/W2035937917","https://openalex.org/W2042740070","https://openalex.org/W2043641704","https://openalex.org/W2065701704","https://openalex.org/W2066971229","https://openalex.org/W2079926883","https://openalex.org/W2094424432","https://openalex.org/W2104952158","https://openalex.org/W2105859078","https://openalex.org/W2166998594","https://openalex.org/W2246792024","https://openalex.org/W2328824725","https://openalex.org/W2332837831","https://openalex.org/W2503299372","https://openalex.org/W2570611167","https://openalex.org/W2577629878","https://openalex.org/W2593181919","https://openalex.org/W2605695276","https://openalex.org/W2623211914","https://openalex.org/W2725306094","https://openalex.org/W2755307960","https://openalex.org/W2888665464","https://openalex.org/W2963314138","https://openalex.org/W2963314562","https://openalex.org/W2963451732","https://openalex.org/W2970986883","https://openalex.org/W2976803513","https://openalex.org/W3037752944","https://openalex.org/W3081879554","https://openalex.org/W3166114698","https://openalex.org/W4205325251","https://openalex.org/W4210972086","https://openalex.org/W4231199984","https://openalex.org/W4240769441","https://openalex.org/W4243237799","https://openalex.org/W4256498606","https://openalex.org/W4285253881","https://openalex.org/W4298227433","https://openalex.org/W4302964898","https://openalex.org/W4312951391"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"The":[1,416],"power":[2,143,149,177,215,257,270,311,376],"word":[3,109,114,144,150,178,216,239,258,271,312,377],"problem":[4,151,179,217,240,272,313,378,402],"for":[5,152,180,241,379],"a":[6,60,104,118,153,181,219,274,291,315,394,420],"group":[7,154,244],"$$\\varvec{G}$$":[8,66,94,126,155,185],"<mml:math":[9,22,48,67,76,95,127,156,164,186,227,246,299,326,360,386,409],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[10,23,49,68,77,96,128,157,165,187,228,247,300,327,361,387,410],"<mml:mrow>":[11,24,50,69,78,97,129,158,166,188,229,248,301,328,333,341,342,362,363,388,411],"<mml:mi>G</mml:mi>":[12,70,98,130,159,189],"</mml:mrow>":[13,42,55,71,83,99,131,160,171,190,234,253,303,346,350,353,354,367,371,390,413],"</mml:math>":[14,43,56,72,84,100,132,161,172,191,235,254,304,355,372,391,414],"asks":[15],"whether":[16],"an":[17,122],"expression":[18],"$$\\varvec{u_1^{x_1}":[19],"\\cdots":[20],"u_n^{x_n}}$$":[21],"<mml:msubsup>":[25,34],"<mml:mi>u</mml:mi>":[26,35,52],"<mml:mn>1</mml:mn>":[27,30,169],"<mml:msub>":[28,37,51,79,249,335],"<mml:mi>x</mml:mi>":[29,38,80],"</mml:msub>":[31,40,54,82,252,338],"</mml:msubsup>":[32,41],"<mml:mo>\u22ef</mml:mo>":[33],"<mml:mi>n</mml:mi>":[36,39],",":[44,356],"where":[45,111,277,357],"the":[46,74,91,107,112,142,148,176,214,238,242,256,261,268,278,282,288,309,374,382,399,423,449,453,464,476],"$$\\varvec{u_i}$$":[47],"<mml:mi>i</mml:mi>":[53,81],"are":[57,285],"words":[58],"over":[59,125],"finite":[61],"set":[62],"of":[63,65,93,106,184,201,208,260,287,293,396,422,460],"generators":[64],"and":[73,255,281,428,432,437,482],"$$\\varvec{x_i}$$":[75],"binary":[85],"encoded":[86],"integers,":[87],"is":[88,103,115,162,224,407,419,485],"equal":[89],"to":[90,175,237],"identity":[92],".":[101,192,392],"It":[102],"restriction":[105],"compressed":[108],"problem,":[110],"input":[113],"represented":[116],"by":[117,136],"straight-line":[119],"program":[120],"(i.e.,":[121],"algebraic":[123],"circuit":[124],").":[133],"We":[134,211],"start":[135],"showing":[137],"some":[138],"easy":[139],"results":[140,441],"concerning":[141],"problem.":[145],"In":[146,435,463],"particular,":[147],"$$\\varvec{\\textsf{uNC}^{1}}$$":[163],"<mml:msup>":[167,230,329,339],"<mml:mi>uNC</mml:mi>":[168],"</mml:msup>":[170,233,332,351],"-many-one":[173],"reducible":[174],"finite-index":[182],"subgroup":[183],"For":[193],"our":[194,397,440,487],"main":[195],"result,":[196],"we":[197,265,467,472],"consider":[198],"graph":[199,222,275,280,316,443],"products":[200,444],"groups":[202,284,296,380,406,455],"that":[203,213,452,475],"do":[204,456],"not":[205,457],"have":[206,458],"elements":[207,459],"order":[209,306,461],"two.":[210,462],"show":[212],"in":[218,273,314,321,403,480],"fixed":[220],"such":[221],"product":[223,317],"$$\\varvec{\\textsf{AC}":[225,322],"^0}$$":[226],"<mml:mi>AC</mml:mi>":[231,330],"<mml:mn>0</mml:mn>":[232,331],"-Turing-reducible":[236],"free":[243],"$$\\varvec{F_2}$$":[245],"<mml:mi>F</mml:mi>":[250],"<mml:mn>2</mml:mn>":[251],"problems":[259],"base":[262,283,454],"groups.":[263],"Furthermore,":[264],"look":[266],"into":[267],"uniform":[269,310,375,400],"product,":[276],"dependence":[279],"part":[286],"input.":[289],"Given":[290],"class":[292,383],"finitely":[294],"generated":[295],"$$\\varvec{\\mathcal":[297,384],"{C}}$$":[298,385],"<mml:mi>C</mml:mi>":[302,336,348,369,389],"without":[305,448],"two":[307,424],"elements,":[308],"can":[318],"be":[319],"solved":[320],"^0[\\textsf{C}_=\\textsf{L}":[323],"^{{{\\,\\textrm{UPowWP}\\,}}(\\mathcal":[324],"{C})}]}$$":[325],"<mml:mo>[</mml:mo>":[334],"<mml:mo>=</mml:mo>":[337],"<mml:mi>L</mml:mi>":[340],"<mml:mspace/>":[343,345,364,366],"<mml:mtext>UPowWP</mml:mtext>":[344,365],"<mml:mo>(</mml:mo>":[347,368],"<mml:mo>)</mml:mo>":[349,370],"<mml:mo>]</mml:mo>":[352],"$$\\varvec{{{\\,\\textrm{UPowWP}\\,}}(\\mathcal":[358],"{C})}$$":[359],"denotes":[373],"from":[381],"As":[393],"consequence":[395],"results,":[398],"knapsack":[401],"right-angled":[404],"Artin":[405],"$$\\varvec{\\textsf{NP}}$$":[408],"<mml:mi>NP</mml:mi>":[412],"-complete.":[415],"present":[417,465],"paper":[418],"combination":[421],"conference":[425],"papers":[426],"(Lohrey":[427],"Wei\u00df":[429,433,438,483],"2019b,":[430],"Stober":[431,436,481],"2022a).":[434],"(2022a)":[439,484],"on":[442,490],"were":[445],"wrongly":[446],"stated":[447,479],"additional":[450,492],"assumption":[451],"work":[466],"correct":[468],"this":[469,491],"mistake.":[470],"While":[471],"strongly":[473],"conjecture":[474],"result":[477],"as":[478],"true,":[486],"proof":[488],"relies":[489],"assumption.":[493]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2025-10-10T00:00:00"}