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
-
6See http://rjlipton.wordpress.com/2011/10/08/an-annoying-open-problem/ – 2012-08-12
-
0Interesting. Thank you. – 2012-08-12
-
0Good question. I'd be interested to know more about the hardest case: p-groups. – 2012-08-12
-
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/
-
0When posting (almost verbatim) something that has already been posted as a comment by someone else, the common courtesy would be to at least mention the author of the comment and post as community wiki.. – 2012-08-12
-
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