标签：判别 algebraic 函数 读书笔记 生成 GF rational finite Nice

目录

• Nice Families Of GF
  • rational
  • rational algebraic D-finite总览
    • 下定义
    • 逻辑关系
  • 例子
  • 更多的例子和判别法
    • 运算是否有性质？
    • 运算是否有性质？-补充
    • 判别级数不是algebraic的方法
    • 判别级数不是D-finite的方法

Nice Families Of GF

Handbook的第61页开始，大概6，7页这样

做笔记，不然学了忘

---

这里讨论三个nice properties某些生成函数可能会具有的。

rational

algebraic

D-finite(also known as “differentially finite” or “holonomic”)

具有这样的性质的生成函数会有一些良性质

---

rational

满足这3个之一就可以叫做rational，这3点是等价的

rational algebraic D-finite总览

下定义

想当然地看，c-recursive和P-recursive简单的区别就是递归方程的系数是不是常数

逻辑关系

可以看到D-finite是三者中最弱的
rational的生成函数=>algebraic的生成函数=>D-finite的生成函数 生成函数
逻辑关系类比上类似于

正方形=>矩形=>平行四边形 凸四边形

例子

Example	rational	algebraic	D-finite
\(\frac{1}{1-2x}\)	√	√	√
\(\frac{x}{1-x-x^2}\)	√	√	√
\(\sqrt{1+x}\)	×	√	√
\(\frac{1}{\sqrt{1-4x}}\)	×	√	√
\(e^x\)	×	×	√
\(log(1-x)\)	×	×	√
\(sin(x)\)	×	×	√
$arctan(x) $	×	×	√
\(\sqrt{1+log(1+x^2)}\)	×	×	×
\(sec(x)\)	×	×	×
\(tan(x)\)	×	×	×

更多的例子和判别法

运算是否有性质？

compositional inverse是说A(x)对于x为自变量的反函数

运算是否有性质？-补充

判别级数不是algebraic的方法

判别级数不是D-finite的方法

---

书用的是handbook of enumerative combinatorics
资料来源网络

标签：判别,algebraic,函数,读书笔记,生成,GF,rational,finite,Nice
来源： https://blog.51cto.com/u_15247503/2871586

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。