■同型でない木グラフ

 まず最初に高校の化学の授業を思い出してもらいたい.炭化水素の中で単結合のみで構成されている飽和炭化水素(アルカン,パラフィン系)は分子式CkH2k+2をもつ.炭素原子Cの原子値は4,水素原子Hの原子値は1である.

    H       H H       H H H

    |       | |       | | |

  H−C−H   H−C−C−H   H−C−C−C−H

    |       | |       | | |

    H       H H       H H H

メタン,エタン,プロパンのCを・(頂点),C−C結合を−(辺)で表すことにすると,それぞれ

    ・       ・−・       ・−・−・

のようにグラフで表現できる.

 ブタン,ペンタン,ヘキサンは

  ・−・−・−・  ・−・−・−・−・   ・−・−・−・−・−・

となるが,それぞれに構造異性体があり,

(k=4)

    ・

  ・−・−・

(k=5)

      ・       ・

      |       |

  ・−・−・−・   ・−・−・

              |

              ・

(k=6)

        ・        ・        ・

        |        |        |

  ・−・−・−・−・  ・−・−・−・−・  ・−・−・−・

                          |

                          ・

    ・ ・

    | |

  ・−・−・−・

 すなわち,

  位数  :1,2,3,4,5,6,7, 8, 9,10, 11, 12, 13,・・・,k,・・・

  異性体数:1,1,1,2,3,5,9,18,35,75,159,357,799,・・・,f(k),・・・

となる.

===================================

【1】木グラフ

 グラフとは点(頂点v)とそれらを結ぶ線(辺e)とからできている1次元図形のことであるが,そのうち,閉路を含まない連結グラフのことを木(グラフ)と呼ぶ.

 炭素の原子値は4であるが,そのような制限を取り除けば,

    ・

    |

  ・−・−・

   / \

  ・   ・

も可能となる.

 これも木グラフであるから,同型でない木グラフの総数をg(k)とおくと

  位数  :1,2,3,4,5,6, 7, 8, 9, 10, 11,12,   13,・・・,k,・・・

  g(k):1,1,1,2,3,6,11,23,47,106,235,551,1301,・・・,g(k),・・・

となる.

===================================

【2】6つの頂点をもつ木グラフ

   ・−・−・−・−・−・

        ・        ・        ・

        |        |        |

  ・−・−・−・−・  ・−・−・−・−・  ・−・−・−・

                          |

                          ・

    ・ ・

    | |

  ・−・−・−・

    ・

    |

  ・−・−・

   / \

  ・   ・

 6つの頂点をもつ木グラフは上の図の必ずひとつと同型となる.6つしかないから,もし7つ以上あればいくつかは互いに同型である.

===================================