組合せ関数

順列組合せの関数

階乗関数 は， 個のものの並べ方の総数を与える． が整数でないとき，の数値は「特殊関数」で説明するガンマ関数から求められる．

二項係数の関数Binomial[n, m]は，と書ける．この関数は，並び順を考慮しないとき， 個のものの中からの 個のものの取出し方の数を与える．また，各種の木の枚挙問題に現れるカタラン数は，二項係数により，の関係式で与えられる．

かく乱順列Subfactorial[n]は，オブジェクトがひとつも固定されない 個のオブジェクトの置換の数を与える．このような置換は乱列と呼ばれる．かく乱順列は で与えられる．

多項係数Multinomial[n₁, n₂, ...]は，と書け， 個の異なるものを大きさ の 個の集合に分ける方法の総数を表す()．

フィボナッチの数Fibonacci[n]は，のときに漸化式 を満たす．この数は離散数学で広く使われる． を増加させると，は黄金比に近付く．リュカ数LucasL[n]は，初期値が と の，フィボナッチ数と同じ循環関係を満足する．

フィボナッチの多項式Fibonacci[n, x]は，式 の展開で得られる項 の係数に当たる．

調和数HarmonicNumber[n]は で与えられる． 次の調和数HarmonicNumber[n, r]は で与えられる．調和数は多くの組合せ論の推定問題で現れ，しばしば離散化された対数に相当する役割を演じる．

ベルヌーイの多項式BernoulliB[n, x]は，母関数の関係式 を満たす．また，ベルヌーイ数BernoulliB[n]は，で与えられる． は，近似積分で使われるオイラー・マクローリン(Euler-Maclaurin)総和の式における項の係数に当たる．ベルヌーイ数はジェノッチ数と の関係にある．

ベルヌーイ数の近似値はさまざまな数値計算アルゴリズムで使われる．ベルヌーイ数の数値は，まずBernoulliB[n]を使い厳密な有理値として求めておき，それにNを適用することで求められる．

オイラーの多項式EulerE[n, x]は，母関数の関係式を満たす．また，オイラー数EulerE[n]は，で与えられる．

ネールルンド多項式NorlundB[n, a]は母関数の関係式 を満足する．ネールルンドは，のときベルヌーイ数を返す． が他の正の整数値である場合，ネールルンド多項式は高次のベルヌーイ数を返す．一般化されたベルヌーイ多項式NorlundB[n, a, x] は，母関数の関係式 を満足する．

スターリング数は組合せ理論の枚挙問題によく現れる．第一種のスターリング数StirlingS1[n, m]に対して，は，ちょうど 回循環する 個の要素の順列の個数を返す．スターリング数は，母関数の関係式 を満たす．注意点として， の定義によっては， の係数が付くため Mathematica の定義と異なる場合がある．

第二種のスターリング数StirlingS2[n, m]は と記述されることもあるが， 個の要素を空でない 組の部分集合に分ける上で何通りの分け方があるかを返す．第二種のスターリング数は，の関係式を満たす．

ベル数BellB[n]は，要素数 個の集合を空ではない部分集合分割する方法の総数を与える．ベル多項式BellB[n, x]は，生成関数関係 を満足する．

分割関数PartitionsP[n]は，整数 を正整数の和として順不同で組み合すとき，組合せ方が何通りあるかを返す．PartitionsQ[n]は，和を構成する整数成分が相異するとき，整数 の組合せ方が何通りあるかを返す．

IntegerPartitions[n]は，長さがの の分割のリストを与える．

ここで説明してきた関数のほとんどは，各種の組合せの数を数えるのに使われる．これらとは違って，IntegerPartitionsやPermutationsのような関数は，要素の組合せそのもののリストを生成するために使われる．

符号関数Signature[{i₁, i₂, ...}]は順列の符号を返す．偶順列ならを返し，奇順列ならを返す．偶順列（もしくは，奇順列）とは順列が偶数回（奇数回）の互換（2つの要素の入れ替え）で得られることを指す．符号関数は，交代テンソルであるレヴィ・チヴィタ(Levi-Civita)の記号，または，イプシロン記号としてとらえることができる．

角運動量の合成に関する係数

クレプシュ・ゴルダンの係数と -j記号は，量子力学における角運動量の解析や，その他の回転群の応用の問題で使われる．クレプシュ・ゴルダンの係数ClebschGordan[{j₁, m₁}, {j₂, m₂}, {j, m}]は，量子化された角運動量の状態を展開したとき得られる項の係数を状態の積で与える．

3-j記号あるいはウィグナー係数のThreeJSymbol[{j₁, m₁}, {j₂, m₂}, {j₃, m₃}]は，クレプシュ・ゴルダンの係数より高い対称性を持つ．Mathematica における定義では，クレプシュ・ゴルダンの係数は，3-j記号に基づいた の関係式で与えられる．

ラカーの6-j記号SixJSymbol[{j₁, j₂, j₃}, {j₄, j₅, j₆}]は，3つの量子論的な角運動量の取る結合状態を与える．ラカーの係数と6-j記号は1位相を介し関連している．