hdu 4651 Partition (利用五边形定理求解切割数)

摘要:
算法>#包括<sizeof(a))使用namespacestd;常量MOD=1000000007;fiv[tot-1]<i<最大值;切割数p(i){p[i]=0;j++){if(fiv[j]<=i){p[i]+=flag*p[i-fiv[j]];if(j%2==0)flag=-flag;
下面内容摘自维基百科:五边形数定理[编辑]

五边形数定理是一个由欧拉发现的数学定理,描写叙述欧拉函数展开式的特性[1] [2]。欧拉函数的展开式例如以下:

prod_{n=1}^infty (1-x^n)=sum_{k=-infty}^infty(-1)^kx^{k(3k-1)/2}=sum_{k=0}^infty(-1)^kx^{k(3kpm 1)/2}.

亦即

(1-x)(1-x^2)(1-x^3) cdots = 1 - x - x^2 + x^5 + x^7 - x^{12} - x^{15} + x^{22} + x^{26} + cdots.

欧拉函数展开后,有些次方项被消去,仅仅留下次方项为1, 2, 5, 7, 12, ...的项次,留下来的次方恰为广义五边形数

当中符号为- - + + - - + + .....

若将上式视为幂级数,其收敛半径为1,只是若仅仅是当作形式幂级数formal power series)来考虑,就不会考虑其收敛半径。

和切割函数的关系

欧拉函数的倒数是切割函数母函数,亦即:

frac{1}{phi(x)}=sum_{k=0}^infty p(k) x^k

当中p(k)为k的切割函数。

上式配合五边形数定理,能够得到

(1 - x - x^2 + x^5 + x^7 - x^{12} - x^{15} + x^{22} + x^{26} + cdots)(1 + p(1)x + p(2)x^2 + p(3)x^3 + cdots)=1

考虑x^n项的系数,在 n>0 时,等式右側的系数均为0,比較等式二側的系数,可得

p(n) - p(n-1) - p(n-2) + p(n-5) + p(n-7) + cdots=0

因此可得到切割函数p(n)的递归

p(n) = p(n-1) + p(n-2) - p(n-5) - p(n-7) + cdots

以n=10为例

p(10) = p(9) + p(8) - p(5) - p(3) = 30 + 22 - 7 - 3 = 42
知道这个定理的话,hdu 4651就能够直接套模板了
#include<algorithm>
#include<iostream>
#include<cstring>
#include<vector>
#include<cstdio>
#include<cmath>
#include<queue>
#include<stack>
#include<map>
#include<set>
#define MP make_pair
#define LL long long
#define CLR(a, b) memset(a, b, sizeof(a))

using namespace std;

const int maxn = 100100;
const int INF = 0x3f3f3f3f;
const LL MOD = 1000000007;

int fiv[maxn];
LL p[maxn];

void init()
{
    int tot = 1;
    for(int i = 1; fiv[tot - 1] < maxn; i ++)///五边形数
    {
        fiv[tot ++] = i*(3*i-1)/2;
        fiv[tot ++] = i*(3*i+1)/2;
    }
    p[0] = 1;
    for(int i = 1; i < maxn; i ++)///i的切割数p(i)
    {
        p[i] = 0;int flag = 1;
        for(int j = 1; ; j ++)
        {
            if(fiv[j] <= i)
            {
                p[i] += flag * p[i - fiv[j]];
                p[i] = (p[i] % MOD + MOD) % MOD;
            }
            else break;
            if(j % 2 == 0) flag = -flag;
        }
    }
}

int main()
{
    int T, n;
    init();
    scanf("%d", &T);
    while(T --)
    {
        scanf("%d", &n);
        printf("%lld
", p[n]);
    }
}


免责声明:文章转载自《hdu 4651 Partition (利用五边形定理求解切割数)》仅用于学习参考。如对内容有疑问,请及时联系本站处理。

上篇替换"marquee",实现无缝滚动分享C#原生ID(流水号)生成功能实现下篇

宿迁高防,2C2G15M,22元/月;香港BGP,2C5G5M,25元/月 雨云优惠码:MjYwNzM=

相关文章

CSS3 实现DIV放大和缩小

.zoom { transform: scale(1,1); -ms-transform: scale(1,1); /* IE 9 */ -webkit-transform: scale(0.8,0.8); /* Safari and Chrome */ } <!DOCTYPE html> <html> <head>...

关于php使用xpath解析html中文乱码问题

1 $str2 = '<div id="content">我很好 </div>'; 2 $dom = new DOMDocument(); 3 //load之前强转字符编码 4 $str2 = mb_convert_encoding($str2 ,'HTML-ENTITIES',"UTF-8"); 5 $dom-&...

Snack3 一个新的微型JSON框架

Snack3 一个新的微型JSON框架 一个作品,一般表达作者的一个想法。因为大家想法不同,所有作品会有区别。就做技术而言,因为有很多有区别的框架,所以大家可以选择的框架很丰富。 snack3。基于jdk8,60kb,无其它依赖,非常小巧。 强调文档树的链式操控和构建能力 强调中间媒体,方便不同格式互转 支持序列化、反序列化 支持Json path查询...

用jq中jSignature做手动签名

<!DOCTYPE html><html lang="zh-CN"><head> <title>手写板签名demo</title> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1" /> <...

layui动态创建Tab、Tab右键功能

1 <!DOCTYPE html> 2 <html> 3 <head> 4 <meta charset="utf-8"> 5 <meta name="viewport" content="width=device-width, initial-scale=1, maximum-...

Bmob云IM实现头像更换并存入Bmob云数据库中(1.拍照替换,2.相册选择)

看图效果如下: 1.个人资料界面 2.点击头像弹出对话框 3.点击拍照 4.切割图片,选择合适的部分   5.点击保存,头像替换完毕,下面看从相册中选择图片。 6.点击相册 7.任选一张图片 8.切割图片  9.图片替换成功 亲测退出账户后重新登陆或者换模拟器登陆有效!!! 图片已经上传到云端了!!! 下面先上xml代码: 里面出现的可能报...