Analyzes the Butterfly multiprocessor as a platform for subgraph
isomorphism.