I did some digging around and found that VF3L works with non-induced subgraphs, which means look-ahead in VF3 probably breaks monomorphism. Disabling that for non-induced subgraphs in IsFeasiblePair makes it correct, but I guess it also reduces VF3 to VF3L.
I wasn't able to dig any further as I couldn't correspond some terminologies in the code with the paper.
I did some digging around and found that VF3L works with non-induced subgraphs, which means look-ahead in VF3 probably breaks monomorphism. Disabling that for non-induced subgraphs in
IsFeasiblePair
makes it correct, but I guess it also reduces VF3 to VF3L.I wasn't able to dig any further as I couldn't correspond some terminologies in the code with the paper.
Is monomorphism still being worked on?