グラフ理論において、グラフの併合とは、 2つのグラフの関係(一方のグラフがもう一方のグラフの併合である関係)のことです。同様の関係には、サブグラフやマイナーグラフなどがあります。併合は、グラフの構造を維持しながら、グラフをより単純なグラフに縮小する方法を提供します。併合は、元のグラフの特性をより理解しやすい文脈で研究するために使用できます。応用分野としては、埋め込み[ 1 ] 、種数分布の計算[ 2 ] 、ハミルトン分解などがあります。
と を、辺の数が同じ2つのグラフとし、 はよりも頂点が多いものとします。このとき、 はの併合であるとは、全単射と全射が存在し、次が成り立つ場合をいいます。
はグラフまたは擬似グラフになることができますが、通常は が擬似グラフになることに注意してください。
辺の色付けは併合に対して不変です。これは、2つのグラフ間のすべての辺が互いに単射であることから明らかです。しかし、明らかではないかもしれませんが、が の完全グラフである場合、ハミルトン分解(ハミルトンパスへの分解)を指定するために辺を として色付けすると、それらの辺も におけるハミルトン分解を形成します。

図1は の併合を示しています。辺の色付けとハミルトン分解の不変性が明確に示されています。関数 は一対一であり、図中の文字で示されています。関数 は下の表に示されています。
融合を利用する方法の一つは、2 n + 1 個の頂点を持つ完全グラフのハミルトン分解を求めることです。[ 4 ]アイデアとしては、グラフを取り、辺を色で塗り分け、特定の性質を満たす融合(アウトライン・ハミルトン分解と呼ばれる)を作成します。そして、この融合を「逆」に行うことで、ハミルトン分解で色付けされたグラフ が得られます。
[ 3 ]において、ヒルトンはこれを行う方法と、すべてのハミルトン分解を重複なく見つける方法を概説している。これらの方法は、彼が提示した定理に基づいており、その定理は(大まかに言えば)概略的なハミルトン分解があれば、まず完全グラフのハミルトン分解から始めて、次にそのアマルガムを求めることで、その分解に到達できるというものである。