HDU 6172 and HDU 6185 【线性递推 + 思维 + 板子】

最新推荐文章于 2019-08-08 23:27:50 发布
最新推荐文章于 2019-08-08 23:27:50 发布
阅读量1.2k 收藏 3
点赞数 2
分类专栏： 板子
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Anxdada/article/details/77817850
版权

这两道题都是给的线性递推式(输入只有一个未知数n), 那么我写这个博客的目的就是保存一个超强模板, 可以解决任何线性递推式. 这个板子是我从百度之星复赛上”偷”的杜教的板子. 所以我们现在要做的是用绝对正确的方法求出递推式的前几项. 然后扔进这个板子就可以了.

//这些板子都可以直接用, 不用管mod, 带了mod的. 所以用的时候只用改mod的值和前几项的数值. 当然前几项丢的越多越好, 一般8个是绝对可以推出来的. 个别的少一点也行.
HDU 6172
//题意不多说.
AC Code

#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <vector>
#include <string>
#include <map>
#include <set>
#include <cassert>
using namespace std;
typedef long long ll;
#define rep(i,a,n) for (int i=a;i<n;i++)
#define per(i,a,n) for (int i=n-1;i>=a;i--)
#define pb push_back
#define mp make_pair
#define all(x) (x).begin(),(x).end()
#define fi first
#define se second
#define SZ(x) ((ll)(x).size())
typedef vector<ll> VI;
typedef pair<ll,ll> PII;
const ll mod = 1000000007;
ll powmod(ll a,ll b) {ll res=1;a%=mod; assert(b>=0); for(;b;b>>=1){if(b&1)res=res*a%mod;a=a*a%mod;}return res;}
// head

ll _,n;
namespace linear_seq {
    const int N=10010;
    ll res[N],base[N],_c[N],_md[N];

    vector<ll> Md;
    void mul(ll *a,ll *b,ll k) {
        rep(i,0,k+k) _c[i]=0;
        rep(i,0,k) if (a[i]) rep(j,0,k) _c[i+j]=(_c[i+j]+a[i]*b[j])%mod;
        for (ll i=k+k-1;i>=k;i--) if (_c[i])
            rep(j,0,SZ(Md)) _c[i-k+Md[j]]=(_c[i-k+Md[j]]-_c[i]*_md[Md[j]])%mod;
        rep(i,0,k) a[i]=_c[i];
    }
    ll solve(ll n,VI a,VI b) {
        // a 系数 b 初值 b[n+1]=a[0]*b[n]+...
//        printf("%d\n",SZ(b));
        ll ans=0,pnt=0;
        ll k=SZ(a);
        assert(SZ(a)==SZ(b));
        rep(i,0,k) _md[k-1-i]=-a[i];_md[k]=1;
        Md.clear();
        rep(i,0,k) if (_md[i]!=0) Md.push_back(i);
        rep(i,0,k) res[i]=base[i]=0;
        res[0]=1;
        while ((1ll<<pnt)<=n) pnt++;
        for (ll p=pnt;p>=0;p--) {
            mul(res,res,k);
            if ((n>>p)&1) {
                for (ll i=k-1;i>=0;i--) res[i+1]=res[i];res[0]=0;
                rep(j,0,SZ(Md)) res[Md[j]]=(res[Md[j]]-res[k]*_md[Md[j]])%mod;
            }
        }
        rep(i,0,k) ans=(ans+res[i]*b[i])%mod;
        if (ans<0) ans+=mod;
        return ans;
    }
    VI BM(VI s) {
        VI C(1,1),B(1,1);
        ll L=0,m=1,b=1;
        rep(n,0,SZ(s)) {
            ll d=0;
            rep(i,0,L+1) d=(d+(ll)C[i]*s[n-i])%mod;
            if (d==0) ++m;
            else if (2*L<=n) {
                VI T=C;
                ll c=mod-d*powmod(b,mod-2)%mod;
                while (SZ(C)<SZ(B)+m) C.pb(0);
                rep(i,0,SZ(B)) C[i+m]=(C[i+m]+c*B[i])%mod;
                L=n+1-L; B=T; b=d; m=1;
            } else {
                ll c=mod-d*powmod(b,mod-2)%mod;
                while (SZ(C)<SZ(B)+m) C.pb(0);
                rep(i,0,SZ(B)) C[i+m]=(C[i+m]+c*B[i])%mod;
                ++m;
            }
        }
        return C;
    }
    ll gao(VI a,ll n) {
        VI c=BM(a);
        c.erase(c.begin());
        rep(i,0,SZ(c)) c[i]=(mod-c[i])%mod;
        return solve(n,c,VI(a.begin(),a.begin()+SZ(c)));
    }
};

int main()
{
    for (scanf("%lld",&_);_;_--){
        scanf("%lld",&n);
        printf("%lld\n",linear_seq::gao(VI{31,197,1255,7997},n-2));
    }
}

HDU 6185
//题意不多说.
AC Code

#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <vector>
#include <string>
#include <map>
#include <set>
#include <cassert>
using namespace std;
typedef long long ll;
#define rep(i,a,n) for (int i=a;i<n;i++)
#define per(i,a,n) for (int i=n-1;i>=a;i--)
#define pb push_back
#define mp make_pair
#define all(x) (x).begin(),(x).end()
#define fi first
#define se second
#define SZ(x) ((ll)(x).size())
typedef vector<ll> VI;
typedef pair<ll,ll> PII;
const ll mod = 1000000007;
ll powmod(ll a,ll b) {ll res=1;a%=mod; assert(b>=0); for(;b;b>>=1){if(b&1)res=res*a%mod;a=a*a%mod;}return res;}
// head

ll _,n;
namespace linear_seq {
    const int N=10010;
    ll res[N],base[N],_c[N],_md[N];

    vector<ll> Md;
    void mul(ll *a,ll *b,ll k) {
        rep(i,0,k+k) _c[i]=0;
        rep(i,0,k) if (a[i]) rep(j,0,k) _c[i+j]=(_c[i+j]+a[i]*b[j])%mod;
        for (ll i=k+k-1;i>=k;i--) if (_c[i])
            rep(j,0,SZ(Md)) _c[i-k+Md[j]]=(_c[i-k+Md[j]]-_c[i]*_md[Md[j]])%mod;
        rep(i,0,k) a[i]=_c[i];
    }
    ll solve(ll n,VI a,VI b) {
        // a 系数 b 初值 b[n+1]=a[0]*b[n]+...
//        printf("%d\n",SZ(b));
        ll ans=0,pnt=0;
        ll k=SZ(a);
        assert(SZ(a)==SZ(b));
        rep(i,0,k) _md[k-1-i]=-a[i];_md[k]=1;
        Md.clear();
        rep(i,0,k) if (_md[i]!=0) Md.push_back(i);
        rep(i,0,k) res[i]=base[i]=0;
        res[0]=1;
        while ((1ll<<pnt)<=n) pnt++;
        for (ll p=pnt;p>=0;p--) {
            mul(res,res,k);
            if ((n>>p)&1) {
                for (ll i=k-1;i>=0;i--) res[i+1]=res[i];res[0]=0;
                rep(j,0,SZ(Md)) res[Md[j]]=(res[Md[j]]-res[k]*_md[Md[j]])%mod;
            }
        }
        rep(i,0,k) ans=(ans+res[i]*b[i])%mod;
        if (ans<0) ans+=mod;
        return ans;
    }
    VI BM(VI s) {
        VI C(1,1),B(1,1);
        ll L=0,m=1,b=1;
        rep(n,0,SZ(s)) {
            ll d=0;
            rep(i,0,L+1) d=(d+(ll)C[i]*s[n-i])%mod;
            if (d==0) ++m;
            else if (2*L<=n) {
                VI T=C;
                ll c=mod-d*powmod(b,mod-2)%mod;
                while (SZ(C)<SZ(B)+m) C.pb(0);
                rep(i,0,SZ(B)) C[i+m]=(C[i+m]+c*B[i])%mod;
                L=n+1-L; B=T; b=d; m=1;
            } else {
                ll c=mod-d*powmod(b,mod-2)%mod;
                while (SZ(C)<SZ(B)+m) C.pb(0);
                rep(i,0,SZ(B)) C[i+m]=(C[i+m]+c*B[i])%mod;
                ++m;
            }
        }
        return C;
    }
    ll gao(VI a,ll n) {
        VI c=BM(a);
        c.erase(c.begin());
        rep(i,0,SZ(c)) c[i]=(mod-c[i])%mod;
        return solve(n,c,VI(a.begin(),a.begin()+SZ(c)));
    }
};

int main() {
    while(~scanf("%lld",&n)){
        printf("%lld\n",linear_seq::gao(VI{1,5,11,36,95,281,781,2245},n-1));
    }
}

//对比一下这两个板子也可以知道就是改的那部分. 还有注意的是具体传多少项, 和后面那个传n的什么样子, 都是试出来的, 要自己感觉对了, 即把后面的几项打出来看. 那么才有可能对. 所以还是要试出来的.
//需要声明的一点是这个序列前几项怎么推出. 第一个例题前面几项还是比较好推的, 根据题目所给的式子.
那么后面一个例题, 前面几项怎么推的还是有一定难度的(其实知道前面几项了, 也是可以找到递推式子的, 当然用矩阵快速幂做也是可以的, 但是明显这个板子是很强的呀(矩阵快速幂写起来还是非常复杂的)!!! 但注意这个板子只能适用于任何的线性递推式子, 其他的递推式不一定适用), 所以正解就是用二进制枚举或者是dfs深搜出前面几项. 然后套一套杜教的板子就可以了. (或者是自己根据这几项找递推式子)

附上打表找前几项的代码: 只要能准确的找出来, 再暴力的方法都是允许的.
dfs版本: (也是比较容易想到的, 注意细节处理就行)

/** @Cain*/
int n,cnt;
int mapp[7][15];

bool ok(int &x,int &y)
{
    for(int i=1;i<=4;i++){
        for(int j=1;j<=n;j++){
            if(!mapp[i][j]){
                x = i;
                y = j;
                return false;
            }
        }
    }
    return true;
}

void dfs(int x,int y)
{
    if(!mapp[x+1][y] && x+1<=4){
        mapp[x][y] = mapp[x+1][y] = 1;   // 纵向的填.
        int tmpx,tmpy;
        if(ok(tmpx,tmpy)){
            mapp[x][y] = mapp[x+1][y] = 0; //注意填满的时候的处理.
            cnt++;
            return ;
        }
        dfs(tmpx,tmpy);   // 从没有填满的地方继续搜索.
        mapp[x][y] = mapp[x+1][y] = 0;  //回溯的时候注意处理.
    }
    if(!mapp[x][y+1] && y+1<=n){  
        mapp[x][y] = mapp[x][y+1] = 1;   // 横向的填.模仿着上面的来做.
        int tmpx,tmpy;
        if(ok(tmpx,tmpy)){
            mapp[x][y] = mapp[x][y+1] = 0;
            cnt++;
            return ;
        }
        dfs(tmpx,tmpy);
        mapp[x][y] = mapp[x][y+1] = 0;  
    }
}

int main()
{
    for(int i=1;i<=10;i++){
        n = i;
        cnt = 0;
        dfs(1,1);
        printf("%d%c",cnt,i==10?'\n':',');
    }
} //然后直接丢进杜教的板子就可以了.xx

二进制枚举版本: (这个想法是非常重要的, 很多题都可以用这样打出表来) 跑前几项还是要跑一会的. 但跑出来了就是赢了. 这个版本相对于dfs的肯定是要慢很多的. 但是在有些情况下是非常有用的.

/** @Cain*/
typedef long long int ll ;
int mapp[10][20];
bool ok(int n, int m) {
    int vis[10][20] = {0};   //表示当前这个格子是否用过. 保证只用一次.
    for (int i = 1; i <= n; i++) {
        for (int j = 1; j <= m; j++) {
            if (vis[i][j] == 0) {
                int f = 0;
                if (mapp[i][j] == 0) {
                    int tx = i;
                    int ty = j + 1;
                    if (ty <= m && vis[tx][ty] == 0 && mapp[tx][ty] == mapp[i][j]) {
                        f = 1;
                        vis[tx][ty] = 1;
                        vis[i][j] = 1;
                    }
                }
                else {
                    int tx = i + 1;
                    int ty = j;
                    if (tx <= n && vis[tx][ty] == 0 && mapp[tx][ty] == mapp[i][j]) {
                        f = 1;
                        vis[tx][ty] = 1;
                        vis[i][j] = 1;
                    }
                }
                if (!f) return false;
            }
        }
    }
    return true;
}

void solve() {
    for (int i = 1; i <= 10; i++) {   //i 是列数.
        int tot = i * 4;
        ll num = 0;
        for (ll st = 0; st < (1ll<<tot); st++) {   //将这些所有的格子看成二进制的一位.
            ll cur = st;                       //通过二进制枚举就可以一个不漏的枚举出来.
            for (int x = 1; x <= 4; x++) {
                for (int y = 1; y <= i; y++) {
                    mapp[x][y] = cur % 2;       //用当前这个数的二进制去填这些框框.
                    cur /= 2;
                }
            }
            num += ok(4, i);
        }
        printf("%d%c",num,i==10?'\n':',');
    }
}

// 所以对于二进制枚举的, 请多想想!!!

Anxdada
关注
专栏目录
线性递推求值问题
Clin的博客
10-09 782
常系数线性递推关系的定义 对于满足 an=∑i=1kcian−i+f(n)a_n=\sum_{i=1}^{k}c_ia_{n-i}+f(n)an​=i=1∑k​ci​an−i​+f(n) 的递推关系（其中 c,kc,kc,k 为常数），我们称之为常系数线性递推关系。 只要给定 a0,a1,…,ak−1a_0,a_1,\dots,a_{k-1}a0​,a1​,…,ak−1​ 以及 c1,c2,…,c...
[HDU1588]Gauss Fibonacci（递推+矩阵快速幂）
zyf2000
05-22 732
不觉碧山暮，但闻万壑松。
HDU6172-Array Challenge
algzjh的博客
08-24 1165
Array ChallengeTime Limit: 2000/1000 MS (Java/Others) Memory Limit: 153428/153428 K (Java/Others) Total Submission(s): 60 Accepted Submission(s): 24Problem Description There’s an array that is
HDU6172
qq_36876305的博客
08-25 264
套了杜教的板子。能力够了在手推 #include using namespace std; #define rep(i,a,n) for (int i=a;i<n;i++) #define per(i,a,n) for (int i=n-1;i>=a;i--) #define pb push_back #define mp make_pair #define all(x) (x).begin
HDU 6172 Array Challenge (打表找规律+矩阵快速幂 17多校第十场第2题)
歪歪T的拿金之路
08-25 501
题目链接HDU6172题意分析不得不佩服AC这道题的人脑洞，为什么你们这么熟练。。。打表找规律无所不能。 因为我们无法处理开方的取模问题，因此我们不能一步步求。我们令fn=⌊an−−√⌋f_n=\lfloor \sqrt{a_n} \rfloor，则打表看fnf_n的前几项，f2=31f_2=31 ,f3=197f_3=197 ,f4=1255f_4=1255 发现fnf_n符合类似于hnh_n
hdu6172-(矩阵快速幂)
Soul
08-25 345
题解:打表后你会找到规律an = 4an-1+17an-2-12an-3，然后套个矩阵快速幂就可以了 #include #include #include #include using namespace std; const int mod = 1e9+7; typedef long long int ll; struct mat{ ll a[3][3]; }; mat ope
（HDUACM201403版_04）递推求解
08-23
杭电ACM课件2014版之 （HDUACM201403版_04）递推求解
HDU刷题地图+精选详细笔记
10-26
本人准备2020年保研机试时刷的题目（虽然最后机试取消了，...来自某中流985，在HDU和vjudge平台上大概刷了400道。本文件地图（excel表格）包含了绝大部分我刷过的题目，笔记中具有思路、代码、总结和心得。 大佬勿入！
HDU_2010.rar_hdu 2010_hdu 20_hdu acm20
09-14
【标题】"HDU_2010.rar"是一个压缩包文件，其中包含了与"HDU 2010"相关的资源，特别是针对"HDU ACM20"比赛的编程题目。"hdu 2010"和"hdu 20"可能是该比赛的不同简称或分类，而"hdu acm20"可能指的是该赛事的第20届...
hdu6579 线性基+区间最值
Sarah_Wang0220的博客
08-04 296
hdu6579 Operation【2019多校第一场1002】 【知识点】 线性基，其实就是线性代数里的线性无关基向量，可以通过加减和异或得到所有给定的数，附上几个博客 线性基总结 线性基详解 【思考】 线性基+区间最大，首先线性基求最大是有模板的，然而加了区间限制，而且题目要异或之前的结果所以是强制在线的（一开始以为要用可持续化线段树，不知道能不能写反正我是想不出来），仔细研究一下发现线性基是...
HDU 6172 Array Challenge【推公式/猜+矩阵快速幂】
hxh的博客
08-24 580
题目链接题意：给一堆公式，求⌊a[n]‾‾‾‾√⌋\lfloor\sqrt{a[n]}\rfloor的值。官方题解的公式推的实在是没什么道理，但是这个xjb乱猜我真的是一口老血喷出来。。。令f(n)=⌊a[n]‾‾‾‾√⌋f(n)=\lfloor\sqrt{a[n]}\rfloor，则f(n)=4f(n−1)+17f(n−2)−12f(n−3)f(n)=4f(n-1)+17f(n-2)-12f(n-
HDU 6172 Array Challenge 找规律+矩阵快速幂
每天都要进步哦~
08-24 1311
题目      HDU 6172 分析      这道题目一看就想到矩阵快速幂。可以先把hnh_{n}算出来，进而把bnb_{n}，ana_{n}都算出来。但是发现一个问题，题目中是要求⌊an−−√⌋\lfloor\sqrt{a_{n}}\rfloor对1e9+71e^9+7取模之后的值。但是开根号没法取模啊，所以就要换个思路了。       把⌊an−−√⌋\lfloor\sqrt{a_{n}
[bsoj2258] 线性递推式
Bill_Yang_2016的博客
01-20 1059
题目描述　　动态规划的实现形式之一是递推，因此递推在OI中十分重要。在某信息学的分支学科中，LC学会了如何求一阶线性递推数列。由于他想在正在学习主干学科，因此希望知道求出N阶线性递推数列。为此，他了解到了以下的内容： 一个N阶线性递推式是这样的式子： 　　 　　也就是说，这个数列的每一项都是由他之前连续N项相加所得。其中还包括一个常数An。 　　例如，当N=2，A0=A1=1，A2=0时，这
Berlekamp Massey算法(HDU6172)
米夏
08-27 967
用途：常系数k阶递推式求值 #include &amp;amp;lt;bits/stdc++.h&amp;amp;gt; using namespace std; #define rep(i, a, n) for (ll i=a;i&amp;amp;lt;n;i++) #define SZ(x) ((ll)(x).size()) typedef long long ll; const ll mod = 1000000007; ll p...
hdu 6172（递推式
twh233的算法blog
08-24 610
传送门 Array Challenge Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 153428/153428 K (Java/Others) Total Submission(s): 143    Accepted Submission(s): 64 Problem Description Th
HDU 6172 Array Challenge 【线性递推式模板】
Dust_heart的博客
10-25 618
HDU 6172 Array Challenge 【线性递推式模板】 Problem Description There’s an array that isgenerated by following rule. h0=2,h1=3,h2=6,hn=4hn−1+17hn−2−12hn−3−16 And let us define two arrays bn and an asbelow. bn=3hn+1hn+9hn+1hn−1+9h2n+27hnhn−1−18hn+1−126hn−81hn−1+192
hdu6172 Array Challenge（BM+常系数齐次线性递推）
苟为蒟蒻又何妨
08-08 286
传送门 思路：大胆猜想其有常系数线性递推式，然后BMBMBM算法加上多项式取模就可以 水过去。 BMBMBM出来发现最短线性递推式只有两项真是妙极了 BMBMBM算法讲解 常系数齐次线性递推讲解 代码： #include<bits/stdc++.h> #define ri register int using namespace std; const int mod=1e9+7; ty...
HDU6172 Array Challenge(BM线性递推)
riba2534的博客
09-16 626
Problem Description There’s an array that is generated by following rule. h0=2,h1=3,h2=6,hn=4hn−1+17hn−2−12hn−3−16h0=2,h1=3,h2=6,hn=4hn−1+17hn−2−12hn−3−16h_0=2,h_1=3,h_2=6,h_n=4h_{n-1}+17h_{n-2...
HDU2222+WA
最新发布
03-08
HDU2222+WA 是指杭电OJ（杭州电子科技大学在线评测系统）上的一道题目，题目编号为2222，题目名称为"WA"。这道题目是一个字符串匹配的问题，要求判断一个字符串中是否包含另一个字符串中的所有字符（不考虑顺序）。...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值