Subdue icon indicating copy to clipboard operation
Subdue copied to clipboard

GraphMatch fix

Open liunicholas6 opened this issue 1 year ago • 0 comments

Some subgraphs are being incorrectly flagged as isomorphic in GraphMatch. This is due to the fact that checking that all edges are individually isomorphic between two graphs is not a sufficient condition in GraphMatch. The code in the commit PR maintains a map of vertices throughout GraphMatch to address the issue.

I have example failing tests on the failed-tests branch of the fork (the commands run are in failed-tests.txt and the bad outputs are at tris.txt and hexes.txt).

Corrected outputs are on the passed-tests branch on the fork.

liunicholas6 avatar Jun 18 '24 07:06 liunicholas6