五个顶点的不同构图有多少种

先写下答案：

$\frac{1\times 1024+15\times 64+10\times 128+20\times 16+20\times 8+30\times 8+24\times 4}{120}$

$=\frac{4080}{120}$

$=34$

方法是用 Burnside 引理计算：
5 个顶点，任意两个顶点可以画一条边，因此不考虑变换的情况下，有 $2^{10}=1024$ 种图（其中有同构的），另一方面，5 个点的变换共有 $5!=120$ 个，也就是有 120 种变换，所以这个问题本质上就是 120 阶变换群$(G)$作用于 1024 阶集合$(X)$的轨道数量问题。

Recall 一下 Burnside 引理：

$N=\frac{1}{|G|}{\sum }_{g\in G}\chi (g)$
$\chi (g)$ 表示 $g$ 在 $X$ 上的不动点数目。

$N$ 就是我们要求的，$|G|=120$，因此要做的计算就是针对每个 $g$，求出其作用于 $X$ 的不动点数目，120 个逐个计算会比较繁琐，因此分以下几类讨论：

• 形似 { 1 } , { 2 } , { 3 } , { 4 } , { 5 } \{1\},\{2\},\{3\},\{4\},\{5\} {1},{2},{3},{4},{5} 的变换，也就是不变换，有 1 个
• 形似 { 1 , 2 } , { 3 , 4 } , { 5 } \{1,2\},\{3,4\},\{5\} {1,2},{3,4},{5} 的变换，也就是顶点 1 和 2 对换，3 和 4 对换，5 不动，这样的变换有 $C_5^2\times C_3^2/2=15$ 种
• 形似 { 1 , 2 } , { 3 } , { 4 } , { 5 } \{1,2\},\{3\},\{4\},\{5\} {1,2},{3},{4},{5} 的变换，也就是顶点 1 和 2 对换，其余不动，这样的变换有 $C_5^2=10$ 种
• 形似 { 1 , 2 , 3 } , { 4 } , { 5 } \{1,2,3\},\{4\},\{5\} {1,2,3},{4},{5} 的变换，也就是顶点 1，2，3 轮换，4 和 5 不动，这样的变换有 $C_5^3\times 2=20$ 种
• 形似 { 1 , 2 , 3 } , { 4 , 5 } \{1,2,3\},\{4,5\} {1,2,3},{4,5} 的变换，也就是顶点 1，2，3 轮换，4 和 5 对换，这样的变换有 $C_5^3\times 2=20$ 种
• 形似 { 1 , 2 , 3 , 4 } , { 5 } \{1,2,3,4\},\{5\} {1,2,3,4},{5} 的变换，也就是顶点 1，2，3，4 轮换，5 不动，这样的变换有 $C_5^4\times 3!=30$ 种
• 形似 { 1 , 2 , 3 , 4 , 5 } \{1,2,3,4,5\} {1,2,3,4,5} 的变换，也就是顶点 1，2，3，4，5 轮换，这样的变换有 $4!=24$ 种

针对上述七种形式，逐一计算：

• 因为不变换，所以所有的都是不动点，也就是 $2^{10}=1024$ 个
• 集合 $X$ 上 10 条边就有 10 个自由度，要保证 { 1 , 2 } , { 3 , 4 } , { 5 } \{1,2\},\{3,4\},\{5\} {1,2},{3,4},{5} 作用下不发生变换，也就是要求 { 1 , 3 } , { 2 , 4 } \{1,3\},\{2,4\} {1,3},{2,4}、 { 1 , 4 } , { 2 , 3 } \{1,4\},\{2,3\} {1,4},{2,3}、 { 1 , 5 } , { 2 , 5 } \{1,5\},\{2,5\} {1,5},{2,5}、 { 3 , 5 } , { 4 , 5 } \{3,5\},\{4,5\} {3,5},{4,5} 必须同时存在或同时不存在，相当于失去了 4 个自由度，因此这种形式一共有 $2^6=64$ 个不动点。
• 要保证 { 1 , 2 } , { 3 } , { 4 } , { 5 } \{1,2\},\{3\},\{4\},\{5\} {1,2},{3},{4},{5} 作用下不发生变换，也就是要求 { 1 , 3 } , { 2 , 3 } \{1,3\},\{2,3\} {1,3},{2,3}、 { 1 , 4 } , { 2 , 4 } \{1,4\},\{2,4\} {1,4},{2,4}、 { 1 , 5 } , { 2 , 5 } \{1,5\},\{2,5\} {1,5},{2,5} 必须同时存在或同时不存在，相当于失去了 3 个自由度，因此这种形式一共有 $2^7=128$ 个不动点。
• 要保证 { 1 , 2 , 3 } , { 4 } , { 5 } \{1,2,3\},\{4\},\{5\} {1,2,3},{4},{5} 作用下不发生变换，也就是要求 { 1 , 3 } , { 2 , 3 } , { 3 , 1 } \{1,3\},\{2,3\},\{3,1\} {1,3},{2,3},{3,1}、 { 1 , 4 } , { 2 , 4 } , { 3 , 4 } \{1,4\},\{2,4\},\{3,4\} {1,4},{2,4},{3,4}、 { 1 , 5 } , { 2 , 5 } , { 3 , 5 } \{1,5\},\{2,5\},\{3,5\} {1,5},{2,5},{3,5} 必须同时存在或同时不存在，相当于失去了 6 个自由度，因此这种形式一共有 $2^4=16$ 个不动点。
• 要保证 { 1 , 2 , 3 } , { 4 , 5 } \{1,2,3\},\{4,5\} {1,2,3},{4,5} 作用下不发生变换，也就是要求 { 1 , 3 } , { 2 , 3 } , { 3 , 1 } \{1,3\},\{2,3\},\{3,1\} {1,3},{2,3},{3,1}、 { 1 , 4 } , { 2 , 5 } , { 3 , 4 } , { 1 , 5 } , { 2 , 4 } , { 3 , 5 } \{1,4\},\{2,5\},\{3,4\},\{1,5\},\{2,4\},\{3,5\} {1,4},{2,5},{3,4},{1,5},{2,4},{3,5} 必须同时存在或同时不存在，相当于失去了 7 个自由度，因此这种形式一共有 $2^3=8$ 个不动点。
• 要保证 { 1 , 2 , 3 , 4 } , { 5 } \{1,2,3,4\},\{5\} {1,2,3,4},{5} 作用下不发生变换，也就是要求 { 1 , 3 } , { 2 , 3 } , { 3 , 4 } , { 4 , 1 } \{1,3\},\{2,3\},\{3,4\},\{4,1\} {1,3},{2,3},{3,4},{4,1}、 { 1 , 3 } , { 2 , 4 } \{1,3\},\{2,4\} {1,3},{2,4}、 { 1 , 5 } , { 2 , 5 } , { 3 , 5 } , { 4 , 5 } \{1,5\},\{2,5\},\{3,5\},\{4,5\} {1,5},{2,5},{3,5},{4,5} 必须同时存在或同时不存在，相当于失去了 7 个自由度，因此这种形式一共有 $2^3=8$ 个不动点。
• 要保证 { 1 , 2 , 3 , 4 , 5 } \{1,2,3,4,5\} {1,2,3,4,5} 作用下不发生变换，也就是要求 { 1 , 2 } , { 2 , 3 } , { 3 , 4 } , { 4 , 5 } , { 5 , 1 } \{1,2\},\{2,3\},\{3,4\},\{4,5\},\{5,1\} {1,2},{2,3},{3,4},{4,5},{5,1}、 { 1 , 3 } , { 2 , 4 } , { 3 , 5 } , { 4 , 1 } , { 5 , 2 } \{1,3\},\{2,4\},\{3,5\},\{4,1\},\{5,2\} {1,3},{2,4},{3,5},{4,1},{5,2} 必须同时存在或同时不存在，相当于失去了 8 个自由度，因此这种形式一共有 $2^2=4$ 个不动点。

故得到答案。