<--Previous  Up  Next-->



Is there a subgraph?

We can write a fomula which is true iff the graph contains an instance of the given subgraph.