Consider the next decision problem:
Given two finite groups represented by their multiplicity table, determine if they are isomorphic or not.
Clearly, this problem belongs to NP since given a witness in the form of an isomorphism between the groups it can be verified in polynomial time (to the input size). But what more can be said about this problem in terms of complexity?
Complexity of finite group isomorphism problem
6
$\begingroup$
group-theory
finite-groups
computational-complexity
-
0Also, are things easier when the groups are permutation groups? – 2012-08-12
1 Answers
4
As Colin McQuillan mentions above, this is an excellent survey of the state of the art: http://rjlipton.wordpress.com/2011/10/08/an-annoying-open-problem/
-
0@tomasz To be quite fair, the comment entirely escaped my attention while posting. I was quite surprised to see it had an earlier timestamp. – 2012-08-12