プリューファー列
組み合わせ数学において、ラベル付きの木に対するプリューファー列(英: Prüfer sequence) あるいはプリューファーコード とは、その木から生成できる一意な数列である。 n {\displaystyle n} 頂点の木のプリューファー列の長さは n − 2 {\displaystyle n-2} であり、単純なアルゴリズムで生成できる。プリューファー列は、ハインツ・プリューファー(英語版)がケイリーの公式を証明するためにはじめて使ったといわれる。