24.12.2013 Views

Here - Combinatorial algorithms and algorithmic graph theory

Here - Combinatorial algorithms and algorithmic graph theory

Here - Combinatorial algorithms and algorithmic graph theory

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

28 Generation of cubic <strong>graph</strong>s<br />

|V (G)| # prime <strong>graph</strong>s # cubic <strong>graph</strong>s<br />

4 1 1<br />

6 0 2<br />

8 1 5<br />

10 1 19<br />

12 1 85<br />

14 3 509<br />

16 2 4 060<br />

18 5 41 301<br />

20 4 510 489<br />

22 9 7 319 447<br />

24 11 117 940 535<br />

26 16 2 094 480 864<br />

28 32 40 497 138 011<br />

30 37 845 480 228 069<br />

32 73 18 941 522 184 590<br />

Table 2.1: Number of prime <strong>graph</strong>s vs. number of cubic <strong>graph</strong>s.<br />

2.4 Generation of <strong>graph</strong>s with reducible triangles<br />

2.4.1 Introduction<br />

As can be seen from Table 2.1, the number of prime <strong>graph</strong>s is very small compared<br />

to the number of cubic <strong>graph</strong>s. So the efficiency of the algorithm is entirely determined<br />

by the efficiency of the algorithm to generate non-prime <strong>graph</strong>s. These<br />

<strong>graph</strong>s are constructed by the edge insertion operation from Figure 2.9.<br />

The class of connected cubic <strong>graph</strong>s is closed under the edge insertion operation,<br />

so the only time consuming routines are those that make sure that only<br />

pairwise non-isomorphic <strong>graph</strong>s are generated. As with the generation for prime<br />

<strong>graph</strong>s, we also use the canonical construction path method for this.<br />

When using the canonical construction path method, we first have to define<br />

a canonical reduction which is unique up to isomorphism for every non-prime<br />

<strong>graph</strong>. The inverse of a canonical reduction is a canonical expansion. Recall<br />

from Section 1.3 that the two rules of this method are:<br />

1. Only accept a <strong>graph</strong> if it was constructed by a canonical expansion.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!