传送门

题意:

  给出自然数 n,计算出 Sn 的值,其中 [ x ]表示不大于 x 的最大整数。

题解:

  根据威尔逊定理,如果 p 为素数,那么 (p-1)! ≡ -1(mod p),即 (p-1)! + 1 = p*q.

  令 f(K) = 

  ①如果 3K+7 为素数,则 (3K+7-1)! ≡ -1(mod 3K+7),即 (3K+6)! = (3K+7)*q -1.

  那么表达式 可化简为 [ (3K+7)*q / (3K+7) - 1 / (3K+7) ] = [ q - 1 / (3K+7)].

  易得 q-1 < q - 1 / (3K+7) < q ,所以=q-1,那么 f(K) = q-(q-1) = 1.

  ②如果 3K+7 为合数,则 (3K+6)! 能被 (3K+7) 整除,f(K) = 0;

  由此,本题转化为求解K在[1,n]范围内 (3K+7) 的素数个数。

  对②的证明:

令p=a*b,(<a<=b)
①若a!=b,则(p-)!=**..*a*..*b*..*(p-),显然 (a*b) | (p-)!;
②若a==b且为素数,则当a>2时,a*b=a*a>*a,
若p>,则(p-)! = **..*a*..*(2a)*..(p-),同样有(a*b)|(p-)!;
综上,如果p为合数,则 p | (p-)!;

AC代码:

 #include<iostream>
#include<cstdio>
#include<cmath>
using namespace std;
const int maxn=1e6+; int n;
int ans[maxn];//ans[i]:[1,i]中,满足 3K+7 为素数的整数个数 bool isPrime(int num)
{
int x=sqrt(num);
for(int i=;i <= x;++i)
if(num%i == )
return ;
return ;
}
void primeTable()
{
ans[]=;
for(int i=;i < maxn;++i)//离散计算出所有的结果
ans[i]=ans[i-]+isPrime(*i+);
}
int main()
{
int test;
scanf("%d",&test);
primeTable();
while(test--)
{
scanf("%d",&n);
printf("%d\n",ans[n]);
}
return ;
}

  

最新文章

  1. cin.ignore()函数的用法
  2. GridView中的GridView1_RowCommand事件
  3. Linux用户组管理
  4. javabean实体类对象转为Map类型对象的方法(转发)
  5. hdu 1074(状态压缩dp+记录路径)
  6. c#调用钩子
  7. Automatically watermark all uploaded photos (给所有上传的相片加水印)
  8. PipedInputStream/PipedOutputStream原理
  9. access 数据更新password列为空出问题?
  10. 简学Python第六章__class面向对象编程与异常处理
  11. 排序分析函数中对null的处理
  12. linux测试noatime对文件访问时间的影响
  13. 数据分析三剑客之Matplotlib
  14. javascript生成指定范围的随机整数
  15. 分布式事务、多数据源、分库分表中间件之spring boot基于Atomikos+XADataSource分布式事务配置(100%纯动态)
  16. gcc 编译 汇编 链接
  17. 【iCore4 双核心板_uC/OS-II】例程十一:内存管理
  18. appium 获取android 粘贴板上的内容
  19. abp项目中无法使用HttpContext.Current.Session[&quot;&quot;]的问题
  20. HDU 4585 Shaolin (STL)

热门文章

  1. ASP.NET Web.config文件的配置(Configuration API)
  2. Shell 编程和Python编程的那些不同之处(一)
  3. Windows上安装 TensorFlow及简单命令
  4. Supervisord管理进程实践
  5. ASP.NET MVC和Web API中的Angular2 - 第1部分
  6. Android组件化、模块化、插件化
  7. Spring Boot自动配置与Spring 条件化配置
  8. Codeforces Round #449 Div. 1
  9. CODEFORCES掉RATING记 #5
  10. Nagios 监控windows server Apache 服务