[baddox]

Is brute force the only way to solve the game? I only glanced over the rules so I'm not sure, but it seems like a solution would involve finding subgraph isomorphisms (which is NP-complete) or something along those lines.