SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "L773:3540228233 "

Sökning: L773:3540228233

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Nordh, Gustav (författare)
  • The complexity of equivalence and isomorphism of systems of equations over finite groups
  • 2004
  • Ingår i: Mathematical Foundations of Computer Science 2004. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 3540228233 - 9783540228233 - 9783540286295 ; , s. 380-391
  • Bokkapitel (refereegranskat)abstract
    • We study the computational complexity of the isomorphism and equivalence problems on systems of equations over a fixed finite group. We show that the equivalence problem is in P if the group is Abelian, and coNP-complete if the group is non-Abelian. We prove that if the group is non-Abelian, then the problem of deciding whether two systems of equations over the group are isomorphic is coNP-hard. If the group is Abelian, then the isomorphism problem is graph isomorphism hard. Moreover, if we impose the restriction that all equations are of bounded length, then we prove that the isomorphism. problem for systems of equations over finite Abelian groups is graph isomorphism complete. Finally we prove that the problem of counting the number of isomorphisms of systems of equations is no harder than deciding whether there exist any isomorphisms at all.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-2 av 2

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy