6
$\begingroup$

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?

  • 6
    See http://rjlipton.wordpress.com/2011/10/08/an-annoying-open-problem/2012-08-12
  • 0
    Interesting. Thank you.2012-08-12
  • 0
    Good question. I'd be interested to know more about the hardest case: p-groups.2012-08-12
  • 0
    Also, are things easier when the groups are permutation groups?2012-08-12

1 Answers 1

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
    When 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