技术标签： oracle求非偶非素数的和
本帖最后由 老顽童 于 2019-7-17 19:06 编辑
每个大于2的偶数都是2个素数之和,
N=P+P',偶数N≥4、素数P、P'
作者：崔坤
单位：即墨市瑞达包装辅料厂
联系方式：[email protected]
摘要：每个大于2的偶数都是2个素数之和
关键词：偶数表法数公式
证明：
第一步，偶数4=素数2+素数2，这是众所周知的。
第二步，分析每个大于等于6的偶数N中的奇数对个数：
N=2n+4中共有n个不相同的奇数，共有n个不相同的奇数对。
奇数对分类与N相关的有四种：
[1](奇素数，奇素数)，简称：1+1，令有r2(N)个
[2](奇合数，奇合数)，简称：C+C,令有C(N)个
[3](奇素数，奇合数)，简称：1+C,令有M(N)个
[4](奇合数，奇素数)，简称：C+1,令有W(N)个
根据其对称性则有：M(N)=W(N)
设N=2n+4中共有π(N-3)-1个不相同的奇素数，则：
r2(N)+C(N)+W(N)+M(N)=n…〈1〉
M(N)= π(N-3)-1- r2(N)…〈2〉
M(N)=W(N)…〈3〉
有上述〈1〉、〈2〉、〈3〉式得：r2(N)=C(N)+2π(N-3)-2-n
其中，r2(N)、C(N)均为自然数，π(N-3)、n均为非零自然数。
偶数表法数公式：
r2(N)=C(N)+2π(N-3)-N/2
2C(N)+2[π(N-3)-1]>n
由此推得：r2(N)+C(N)>0
令函数f(N)=r2(N)+C(N)
则：f(N)>0
因为N≥6，所以N的最小值是6，那么函数C(N)的最小值是0。
又3个不同函数f(N)、r2(N)、C(N)，它们共同的自变量都是N。
所以在N是最小值时，f(N)有最小值，f(N)=r2(N)，也就是r2(N)有最小值，
从而r2(N)的最小值>0。
用区间表示： r2(N)∈(0，∞)
综上所述：每个大于2的偶数都是2个素数之和，
这就是哥德巴赫猜想的严谨证明。
根据埃氏筛法结合连乘积公式，
增加筛孔密度得出r2(N)的下限值公式：[N/4Pr],
Pr是N^1/2内的最大素数，[]是取整符号。
r2(N)>[N/4Pr]是下限公式，Pr属于N^1/2内的最大素数,N≥12
r2(12)>[12/4*3]=1
r2(14)>[14/4*3]=1
r2(16)>[16/4*3]=1
r2(18)>[18/4*3]=1
r2(20)>[20/4*3]=1
r2(22)>[22/4*3]=1
r2(24)>[24/4*3]=2
r2(26)>[26/4*5]=1
r2(28)>[28/4*5]=1
r2(30)>[30/4*5]=1
r2(32)>[32/4*5]=1
r2(100)>[100/4*7]=3
r2(1000)>[1000/4*31]=8
r2(10000)>[10000/4*97]=25
r2(100000)>[100000/4*313]=79
r2(10^6)>[10^6/4*997]=250
r2(10^7)>[10^7/4*3137]=796
r2(10^8)>[10^8/4*9973]=2506
r2(10^9)>[10^9/4*31607]=7909
r2(10^10)>[10^10/4*99991]=25002
r2(10^11)>[10^11/4*316223]=79058
r2(10^12)>[10^12/4*999983]=250004
r2(10^13)>[10^13/4*3162277 ]=790569
文章浏览阅读2.8k次。虚拟机，添加新的硬盘进行分区，格式化，挂载的操作_centos 永久挂载
文章浏览阅读504次。2、只要建立索引就能显著提高查询速度 事实上，我们可以发现上面的例子中，第2、3条语句完全相同，且建立索引的字段也相同;不同的仅是前者在fariqi字段上建立的是非聚合索引，后者在此字段上建立的是聚合索引，但查询速度却有着天壤之别。所以，并非是在任何字段上简单地建立索引就能提高查询速度。 从建表的语句中，我们可以看到这个有着1000万数据的表中fariqi字段有5003个不同记录。在此..._索引对查询效率非常有用,在建表时就应该建好且建完整
文章浏览阅读3.2w次，点赞20次，收藏180次。当前分为以下四个阶段第一阶段库/框架选型（暂定react）第二阶段简单构建优化 NPM管理包node+webpack打包第三阶段JS、CSS模块化开发第四阶段组件化开发 开发过程当中注意：前端安全XSS CSRF攻击等 后期文章中将讲述如何_前端开发流程sop
文章浏览阅读1w次。个人云电脑-推荐方案 - Parsec / FastlinkParsec安利原文局域网游戏串流：让我们都做一回「云」玩家Parsec 是游戏串流工具中的新秀。与其他不同的是，Parsec 推荐 PC-PC 间云游戏，不论是局域网还是公网通吃，这就是 Parsec 比较厉害的地方。两台设备之间的流量不通过 Parsec 云服务器，而是 Peer to Peer，Parsec 自己宣称自己使用了很多技术来保证玩家的联机体验。但国内的家庭宽带一般都是 NAT 环境（部分运营商可以._parsec 局域网
文章浏览阅读148次。在运维人员操作系统时，要接触大量的文件，为了避免忘记文件存放位置的尴尬，就需要我们有一种文件查找工具的帮忙，下面是两个文件查找工具的详解，locate以及find，分别分享给大家。第一款工具: Locatelocate - find files by namelocate的工作依赖于事先构建好的索引库;查找文件时,直接搜索索引库里记载的文件的位置;索引库的构建:系统自动实现(周期性任务);手动更新..._find -name -r
文章浏览阅读6.7k次，点赞7次，收藏87次。SpringSecurity Oauth2 jwtSpringSecurity Oauth2 jwt1 用户认证分析1.1 单点登录1.2 第三方账号登录2 认证解决方案2.1 单点登录技术方案2.2 第三方登录技术方案2.2.1 Oauth2认证流程2.2.2 Oauth2在项目的应用2.3 Spring security Oauth2认证解决方案3 Jwt令牌回顾3.1 令牌结构3.2 生成私钥公钥3.3 基于私钥生成jwt令牌3.3.1导入认证服务3.3.2 认证服务中创建测试类3.4 基于公_spring security 6+oauth2 +jwt+密码认证
文章浏览阅读1.3w次。金山软件办公套件的最新更新 WPS 2016 for Linux，日前发布了几项新功能，性能改进和各种修复。为什么选择WPS办公套件？WPS Office由三个主要组件组成：WPS 文字，WPS 演示和WPS 表格。它看起来非常类似于Microsoft Office！ 与Microsoft Office提供的文档格式（包括PPT，DOC，DOCX，XLS和XLSX）完全兼容性。WPS的个人版是供个..._wps office 2016 for linux
文章浏览阅读8k次，点赞8次，收藏95次。用自己数据实现偏最小二乘回归。用Hitters数据集做演示如何使用自己的数据实现偏最小二乘回归。 此数据集有322个运动员的20个变量的数据， 其中的变量Salary（工资）是我们关心的。数据下载百度网盘链接：https://pan.baidu.com/s/13pb7VN_kTzV0hUEsg-1S1A提取码：3333import pandas as pdimport numpy as npfrom sklearn.cross_decomposition import PLSRegression_python 偏最小二乘回归
文章浏览阅读368次，点赞7次，收藏8次。记住常用的基本数据类型int,double熟悉位数: byte8位,int 32位等等记住特性: long需要加L,flaot需要加F,char必须是单引号且只有一个2.1类型转换数据类型转换, 即 它们之间可以变换.2.1.1默认转换按照数据的表示范围, 小范围向大范围转换,可以默认进行// 类型转换默认进行(小转大)long b = a;2.1.2强制转换通过强制转换,可以将数据转换过去,但是有可能丢失精度口诀: 小转大默认进行,大转小强制进行3.1字符串。
文章浏览阅读2.5k次。"h5" : { "sdkConfigs" : { "maps" : {} }, "router" : { "base" : "./" }, "devServer" : { "port" : 8080, "disableHostCheck" : true, "proxy" : { ..._uniapp配置后台ip
文章浏览阅读1k次。1、概述日志管理工具journalctl是centos7上专有的日志管理工具，该工具是从message这个文件里读取信息。Systemd统一管理所有Unit的启动日志。带来的好处就是，可以只用journalctl一个命令，查看所有日志(内核日志和应用日志)。日志的配置文件是/etc/systemd/journald.conf。2、查看所有日志(默认情况下 ，只保存本次启动的日志)[root@CEN..._journalctl -b 0
文章浏览阅读535次。前言： 在属性被 static 修饰后，Spring 便不能直接对变量进行直接注入，这是因为被 static 修饰后，会被放到常量池中，而Spring 需要使用set方法进行注入，这是就需要我们手动进行配置注入成员变量第一步：在类上添加@Component注解，让Spring扫描到这个类第二步：为成员变量添加set方法，注意去掉static关键字，否则会导致注入失败第三步：在set方法上添加@Resource注解，告诉Spring自动注入这个方法/** * @author: mi_静态成员变量怎么注入