IsomorphicHypergraphQ

[daneelsan]

The problem

Implement the IsomorphicHypergraphQ function, which tests isomorphism between two hypergraphs. See:

• https://resources.wolframcloud.com/FunctionRepository/resources/IsomorphicHypergraphQ
• Uniqueness Trees: A Possible Polynomial Approach to the Graph Isomorphism Problem

Comment

The resource function works for undirected hypergraphs.

Possible Solution

In[]:= IsomorphicHypergraphQ[{{a, e, d}, {d, c}, {c, b}, {b, a}}, {{2, 4}, {4, 5, 1}, {1, 3}, {3, 2}}]
Out[]= True

In[]:= IsomorphicHypergraphQ[{{a, e, d}, {d, c}, {c, b}, {b, a}}, {{2, 4}, {4, 3, 1}, {1, 3}, {5, 2}}]
Out[]= False

[maxitg]

There is also IsomorphicOrderedHypergraphQ, but I don't know if it works.