CycleIndexPolynomial

CycleIndexPolynomial[perm,{x1,…,xn}]

置換 perm の変数 xiにおける巡回指標単項式を構築する．

CycleIndexPolynomial[group,{x1,…,xn}]

group の変数 xiにおける巡回指標多項式を構築する．

詳細

  • 置換群の巡回指標多項式は，対象の集合に対するその群の動作に関連する列挙の問題を解決するための有用な情報を提供する．これが，ポリア(Polya)理論の基本的な目的である．
  • CycleIndexPolynomial[perm,{x1,…,xk}]は，巡回構造が a1の1巡回，a2 の2巡回というような巡回を含む置換 perm に対してモニックな単項式 x1a1x2a2 … xkak を返す．
  • CycleIndexPolynomial[group,{x1,…,xk}]は，単項式 x1a1x2a2 … xkak の係数が群の元の数を多項式を返す．この元の巡回構造は，a1の1巡回，a2 の2巡回というような巡回を群の位数で割ったものを含む．これは，その元の巡回指標多項式の平均である．
  • 置換あるいは群 p について， CycleIndexPolynomial[p,vars,n]は p が n 個の点の領域に作用することを示す．ただし，n はPermutationMax[p]以上でなければならない．
  • 置換あるいは群 p について，CycleIndexPolynomial[p,vars]はCycleIndexPolynomial[p,vars,PermutationMax[p]]に等しい．
  • 群の元には存在しない巡回の長さに対応する変数は無視される．
  • 群の元が与えられた変数の数を超える巡回の長さを含む場合，結果は事実上欠損した変数の代りに値1を使う．
  • 置換あるいは置換群の巡回の長さは常にその台によって，PermutationLengthで与えられるように上に有界である．したがって，CycleIndexPolynomialの第2引数として変数の数が含まれることはほぼ間違いのないことである．

例題

すべて開くすべて閉じる

例  (2)

置換の巡回指標単項式：

5つの点についての交代群の巡回指標多項式：

スコープ  (4)

置換の巡回指標単項式：

作用領域の大きさを指定する：

置換群の巡回指標多項式：

作用領域の大きさを指定する：

アプリケーション  (1)

巡回指標多項式は，計数のポリヤ(Pólya)理論にとって絶対不可欠なものである．古典的な例としてさまざまな色のビーズで何本のネックレスが作れるかという問題がある：

巡回回転のもとで不変の10個のビーズが付いたネックレスがある：

この紐には，r，g，bで示される3色のビーズが付いている：

例えば，r色のビーズが3個，g色のビーズが5個，b色のビーズが2個付いたネックレスが252本あるとする：

これは実際にネックレスを作って確かめることができる：

ネックレスが直径に沿った鏡映でも不変だとすると，対称群は二面角である：

ここで，総数は異なる：

特性と関係  (4)

恒等置換は次数0であり，したがって点は移動されない：

これが4つの点の集合に作用すると，巡回指標多項式は4つのシングルトンの存在を反映する：

動かされない各点が第1変数による乗算に貢献する：

欠損変数は事実上1で置き換えられる：

群の直積の巡回指標多項式は，群の巡回指標多項式の積である：

Wolfram Research (2012), CycleIndexPolynomial, Wolfram言語関数， https://reference.wolfram.com/language/ref/CycleIndexPolynomial.html.

テキスト

Wolfram Research (2012), CycleIndexPolynomial, Wolfram言語関数， https://reference.wolfram.com/language/ref/CycleIndexPolynomial.html.

CMS

Wolfram Language. 2012. "CycleIndexPolynomial." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/CycleIndexPolynomial.html.

APA

Wolfram Language. (2012). CycleIndexPolynomial. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CycleIndexPolynomial.html

BibTeX

@misc{reference.wolfram_2024_cycleindexpolynomial, author="Wolfram Research", title="{CycleIndexPolynomial}", year="2012", howpublished="\url{https://reference.wolfram.com/language/ref/CycleIndexPolynomial.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_cycleindexpolynomial, organization={Wolfram Research}, title={CycleIndexPolynomial}, year={2012}, url={https://reference.wolfram.com/language/ref/CycleIndexPolynomial.html}, note=[Accessed: 22-November-2024 ]}