求形式化证明
  • 板块学术版
  • 楼主Cypher_404
  • 当前回复3
  • 已保存回复3
  • 发布时间2024/6/30 18:47
  • 上次更新2024/6/30 21:22:00
查看原帖
求形式化证明
1039274
Cypher_404楼主2024/6/30 18:47

为什么

∑i=1n⌊n/a[i]⌋\sum_{i=1}^{n} \lfloor {n/a[i]}\rfloor

可以这样写

inline int H(int n){
	int m=sqrt(n);
	int res=0;
	for(register int i=1;i<=m;i++)
      res+=n/i;
	return res*2-m*m;
}
2024/6/30 18:47
加载中...