【JZOJ4819】【NOIP2016提高A组模拟10.15】算循环
2024-09-06 14:20:01
题目描述
输入
输出
样例输入
167 198
样例输出
906462341
数据范围
解法
令f(n)=∑ni=1i,g(n)=∑ni=1i2
易得ans=∑ni=1∑mj=1f(n−i+1)∗f(m−j+1)
等价于ans=∑ni=1∑mj=1f(i)∗f(j)
显然f(n)=n∗(n−1)/2;
拆开得ans=14∑ni=1∑mj=1i∗(i+1)∗j∗(j+1)
再得
ans=14∑i=1ni∗(i+1)∗∑j=1mj∗(j+1)=14∑i=1n∗(f(i)+g(i))∗∑j=1m∗(f(j)+g(j))
其中g(n)=16n(n+1)(2n+1)
时间复杂度为O(log),逆元有复杂度。
代码
#include<iostream>
#include<stdio.h>
#include<math.h>
#include<string.h>
#include<algorithm>
#define ll long long
#define ln(x,y) ll(log(x)/log(y))
#define sqr(x) ((x)*(x))
using namespace std;
const char* fin="loop.in";
const char* fout="loop.out";
const ll inf=0x7fffffff;
const ll mo=1000000007;
ll n,m,i,j,k,l,tmp,tmd,num,ans;
ll qpower(ll a,ll b){
ll c=1;
while (b){
if (b&1) c=a*c%mo;
a=a*a%mo;
b>>=1;
}
return c;
}
ll N(int a){
return qpower(a,mo-2);
}
ll sum(ll st,ll num){
st%=mo;
num%=mo;
ll en=(st+num-1)%mo;
return (st+en)%mo*num%mo*N(2)%mo;
}
ll xsum(ll n){
n%=mo;
return n*(n+1)%mo*(2*n+1)%mo*N(6)%mo;
}
ll count(ll v){
return (sum(1,v)+xsum(v))%mo;
}
int main(){
freopen(fin,"r",stdin);
freopen(fout,"w",stdout);
scanf("%lld%lld",&n,&m);
ans=count(n)*count(m)%mo*N(4)%mo;
printf("%lld",ans);
return 0;
}
启发
∑的运算性质
1.∑(a+b)=∑a+∑b
2.∑a∑ba∗b=∑aa∗∑bb
3.∑ik∗f(i)=k∗∑f(i)
∑ni=1i2公式
∑ni=1i2=16n(n+1)(2n+1)
证明:
利用数学归纳法检验。
设g(n)=∑ni=1i2;
先有
g(1)=16∗1∗2∗3=1=∑i=1ni2
如果g(x)满足g(x)=16x(x+1)(2x+1);
则
g(x+1)=16x(x+1)(2x+1)+(x+1)2=16(x+1)(6x+6+x(2x+1))=16(x+1)(2x2+7x+6)=16(x+1)(x+2)(2x+3)=16(x+1)[(x+1)+1][2(x+1)+1]
综上得证。
最新文章
- OC与JavaScript的交互
- docfx预热中
- .net一次连接执行多条sql语句
- Solr -- 实时搜索
- 安装绿色版mysql
- MySQL Cluster在线备份和恢复
- Delphi的windows剪切板操作函数
- The Promise of Deep Learning
- 把WinXP装进内存 性能飚升秒杀固态硬盘
- STL__queue_的应用
- [置顶] C++为什么是C++而不是++C
- Markdown语法入门
- Lintcode177-Convert Sorted Array to Binary Search Tree With Minimal Height-Easy
- Leetcode:0002(两数之和)
- tensorflow 使用预训练好的模型的一部分参数
- Cocos2d-X研究之v3.x 事件分发机制具体解释
- 微信小程序:wx.navigateTo中url无法跳转问题(app.json中配置的tabBar与wx.navigateTo中url引用相同页面导致)
- 4.keras实现-->;生成式深度学习之DeepDream
- python下编译py成pyc和pyo和pyd
- JavaScript 之 回调函数的返回值给全局变量赋值问题