程序员社区

【组合数学】生成函数 ( 生成函数示例 | 给定通项公式求生成函数 | 给定生成函数求通项公式 )

文章目录

  • 一、给定级数求生成函数
  • 二、给定生成函数求级数

参考博客 :

  • 【组合数学】生成函数 简要介绍 ( 生成函数定义 | 牛顿二项式系数 | 常用的生成函数 | 与常数相关 | 与二项式系数相关 | 与多项式系数相关 )
  • 【组合数学】生成函数 ( 线性性质 | 乘积性质 )
  • 【组合数学】生成函数 ( 移位性质 )
  • 【组合数学】生成函数 ( 求和性质 )
  • 【组合数学】生成函数 ( 换元性质 | 求导性质 | 积分性质 )
  • 【组合数学】生成函数 ( 性质总结 | 重要的生成函数 ) ★

数列的 通项公式 就是 级数

一、给定级数求生成函数


b

n

=

7

3

n

b_n = 7\cdot 3^n

bn=73n 的生成函数 ;

已知数列是

1

n

1^n

1n , 对应的生成函数是

{

a

n

}

\{a_n\}

{an} ,

a

n

=

1

n

a_n = 1^n

an=1n ;

A

(

x

)

=

n

=

0

x

n

=

1

1

x

\begin{aligned} A(x) = \sum_{n=0}^{\infty} x^n = \frac{1}{1-x} \end{aligned}

A(x)=n=0xn=1x1

先根据 数列 通项表示 , 写出级数之和 :

G

(

x

)

=

7

×

3

0

x

0

+

7

×

3

1

x

1

+

7

×

3

2

x

2

+

+

7

×

3

n

x

n

+

G(x) = 7 \times 3^0x^0 + 7 \times 3^1x^1 + 7 \times 3^2x^2 + \cdots + 7 \times 3^nx^n + \cdots

G(x)=7×30x0+7×31x1+7×32x2++7×3nxn+

将常数提取到外部 :

G

(

x

)

=

7

(

3

0

x

0

+

3

1

x

1

+

3

2

x

2

+

+

3

n

x

n

+


)

G(x) = 7 ( 3^0x^0 + 3^1x^1 + 3^2x^2 + \cdots + 3^nx^n + \cdots )

G(x)=7(30x0+31x1+32x2++3nxn+)

写成合式 :

G

(

x

)

=

7

n

=

0

3

n

x

n

G(x) = 7 \sum\limits_{n=0}^\infty 3^nx^n

G(x)=7n=03nxn

根据生成函数换元性质 : 通过换元 , 将

3

x

3x

3x 看做一项 :

G

(

x

)

=

7

n

=

0

(

3

x

)

n

G(x) = 7 \sum\limits_{n=0}^\infty (3x)^n

G(x)=7n=0(3x)n

根据 常用生成函数

A

(

x

)

=

n

=

0

x

n

=

1

1

x

A(x) = \sum\limits_{n=0}^{\infty} x^n = \cfrac{1}{1-x}

A(x)=n=0xn=1x1

可以得出 :

n

=

0

(

3

x

)

n

=

1

1

3

x

\sum\limits_{n=0}^\infty (3x)^n =\cfrac{1}{1-3x}

n=0(3x)n=13x1

根据生成函数线性性质 , 乘法性质 :

b

n

=

α

a

n

b_n = \alpha a_n

bn=αan ,

B

(

x

)

=

α

A

(

x

)

B(x) = \alpha A(x)

B(x)=αA(x)

可以得出最终的生成函数

G

(

x

)

=

7

n

=

0

(

3

x

)

n

=

7

1

3

x

G(x) = 7 \sum\limits_{n=0}^\infty (3x)^n = \cfrac{7}{1-3x}

G(x)=7n=0(3x)n=13x7

二、给定生成函数求级数


给定序列

{

b

n

}

\{b_n\}

{bn} 的生成函数

G

(

x

)

=

2

1

3

x

+

2

x

2

G(x) = \cfrac{2}{1-3x + 2x^2}

G(x)=13x+2x22 , 求

{

b

n

}

\{b_n\}

{bn}

先将 生成函数 转化为 其它 生成函数 之和 ;

G

(

x

)

=

2

1

3

x

+

2

x

2

G(x) = \cfrac{2}{1-3x + 2x^2}

G(x)=13x+2x22

1

3

x

+

2

x

2

1-3x + 2x^2

13x+2x2 分解因式 , 分解为

(

1

x

)

(

1

2

x

)

(1-x)(1-2x)

(1x)(12x)

将其转为 如下形式的和 , 分子

A

,

B

A,B

A,B 是待定常数 ;

G

(

x

)

=

2

1

3

x

+

2

x

2

=

A

1

x

+

B

1

2

x

G(x) = \cfrac{2}{1-3x + 2x^2} = \cfrac{A}{1-x} + \cfrac{B}{1-2x}

G(x)=13x+2x22=1xA+12xB

将上述式子同分 , 表达成

A

,

B

A, B

A,B 的分式 :

G

(

x

)

=

A

1

x

+

B

1

2

x

=

A

(

1

2

x

)

+

B

(

1

x

)

(

1

x

)

(

1

2

x

)

G(x) = \cfrac{A}{1-x} + \cfrac{B}{1-2x} = \cfrac{A(1-2x) + B(1-x)}{(1-x)(1-2x)}

G(x)=1xA+12xB=(1x)(12x)A(12x)+B(1x)

          

=

A

2

A

x

+

B

B

x

(

1

x

)

(

1

2

x

)

\ \ \ \ \ \ \ \ \ \ = \cfrac{A-2Ax + B- Bx}{(1-x)(1-2x)}

          =(1x)(12x)A2Ax+BBx

          

=

(

A

+

B

)

(

2

A

+

B

)

x

(

1

x

)

(

1

2

x

)

\ \ \ \ \ \ \ \ \ \ = \cfrac{(A + B) - (2A + B ) x}{(1-x)(1-2x)}

          =(1x)(12x)(A+B)(2A+B)x

          

=

(

A

+

B

)

(

2

A

+

B

)

x

1

3

x

+

2

x

2

\ \ \ \ \ \ \ \ \ \ = \cfrac{(A + B) - (2A + B ) x}{1-3x + 2x^2}

          =13x+2x2(A+B)(2A+B)x

G

(

x

)

=

2

1

3

x

+

2

x

2

G(x) = \cfrac{2}{1-3x + 2x^2}

G(x)=13x+2x22 的分子的

x

x

x 项 与 常数项 对比 :

x

x

x 一次方项是

0

0

0 , 即

2

A

+

B

=

0

2A + B = 0

2A+B=0

常数项是

2

2

2 , 即

A

+

B

=

2

A + B = 2

A+B=2

得到方程组 :

{

A

+

B

=

2

2

A

+

B

=

0

\begin{cases} A + B = 2 \\\\ 2A + B = 0 \end{cases}

A+B=22A+B=0

解上述方程组 , 得到结果 :

{

A

=

2

B

=

4

\begin{cases} A = -2 \\\\ B = 4 \end{cases}

A=2B=4

则生成函数最终分解成了 :

G

(

x

)

=

2

1

3

x

+

2

x

2

=

2

1

x

+

4

1

2

x

G(x) = \cfrac{2}{1-3x + 2x^2} = \cfrac{-2}{1-x} + \cfrac{4}{1-2x}

G(x)=13x+2x22=1x2+12x4

使用线性性质 :

2

1

x

\cfrac{-2}{1-x}

1x2 对应的级数是 :

n

=

0

(

2

)

x

n

\sum\limits_{n=0}^\infty(-2)x^n

n=0(2)xn , 数列通项是

c

n

=

2

c_n=-2

cn=2 ;

使用线性性质 , 换元性质 :

4

1

2

x

\cfrac{4}{1-2x}

12x4 对应的级数是 :

n

=

0

4

(

2

x

)

n

=

n

=

0

4

2

n

x

n

\sum\limits_{n=0}^\infty4(2x)^n=\sum\limits_{n=0}^\infty4\cdot 2^nx^n

n=04(2x)n=n=042nxn , 数列通项是

4

2

n

4\cdot 2^n

42n

最终的数列是 :

b

n

=

2

+

4

2

n

b_n = -2 + 4\cdot 2^n

bn=2+42n

赞(0) 打赏
未经允许不得转载:IDEA激活码 » 【组合数学】生成函数 ( 生成函数示例 | 给定通项公式求生成函数 | 给定生成函数求通项公式 )

相关推荐

  • 暂无文章

一个分享Java & Python知识的社区