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?

$\endgroup$
  • 6
    $\begingroup$ See rjlipton.wordpress.com/2011/10/08/an-annoying-open-problem $\endgroup$ – Colin McQuillan Aug 12 '12 at 20:57
  • $\begingroup$ Interesting. Thank you. $\endgroup$ – Ido Aug 12 '12 at 21:06
  • $\begingroup$ Good question. I'd be interested to know more about the hardest case: p-groups. $\endgroup$ – user641 Aug 12 '12 at 22:53
  • $\begingroup$ Also, are things easier when the groups are permutation groups? $\endgroup$ – user641 Aug 12 '12 at 22:54
4
$\begingroup$

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/

$\endgroup$
  • $\begingroup$ 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.. $\endgroup$ – tomasz Aug 12 '12 at 21:05
  • $\begingroup$ @tomasz To be quite fair, the comment entirely escaped my attention while posting. I was quite surprised to see it had an earlier timestamp. $\endgroup$ – Erick Wong Aug 12 '12 at 21:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.