技术标签： 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
文章浏览阅读5.8k次。RK3399编译调试瑞芯微官方yolov5 C++代码yolov5 C++代码代码地址https://github.com/rockchip-linux/rknpu.git /rknn/rknn_api/example/rknn_yolov5_demorknn 模型使用rknpu/rknn/rknn_api/examples)/rknn_yolov5_demo/model/rk180x/yolov5s_relu_rk180x_out_opt.rknn 地址yolov5s_relu_rk180_yolov9 rk3399
文章浏览阅读5k次。mmdetection3d 源码学习 mvxnet（多模态融合）配置文件dv_mvx-fpn_second_secfpn_adamw_2x8_80e_kitti-3d-3class.py模型# model settingsvoxel_size = [0.05, 0.05, 0.1]point_cloud_range = [0, -40, -3, 70.4, 40, 1]##模型 图像：主干 ResNet，neck FPN；点云：voxel编码，主干second（稀疏编码），neck secon_mvxnet
文章浏览阅读3.3k次，点赞14次，收藏36次。想用C++写项目，数据库是必须的，所以这两天学了一下C++操作Mysql数据库的方法。也没有什么教程，就是在网上搜的知识，下面汇总一下。 连接MySQL数据库有两种方法：第一种是使用ADO连接，不过这种只适合Windows平台；第二种是使用MySQL自己的C API函数连接数据库。我是在Linux平台下开发，所以就采用第二种方法，有很多Api函数，但是常用的就几个，我也是就用到其中的几个。API函_c++ 操作mysql数据库
文章浏览阅读3.9k次。如何在Watir中调用JavaScript脚本？下面的脚本实现了此功能，主要原理是通过IE访问Document，再访问parentWindow，最终还是由IE在执行JavaScript脚本： require watir#定义调用JS的类方法class Watir::IE def run_script(js) ie.Document.parentWindow.execS_watir执行脚本
文章浏览阅读2.1k次。从SUN的官方文档可以得知，调用Thread.stop()方法是不安全的，这是因为当调用Thread.stop()方法时，会发生下面两件事：1. 即刻抛出ThreadDeath异常，在线程的run()方法内，任何一点都有可能抛出ThreadDeath Error，包括在catch或finally语句中。2. 释放该线程所持有的所有的锁 当线程抛出ThreadDeath异常时，会导致_禁止使用thread.stop()来终止线程
文章浏览阅读222次。神秘魔术动作能量冲击波特效音效Arcane Forces第一套 MAGIC - ARCANE FORCES DESIGNED原文地址：https://www.aeziyuan.com/t-20646.html文件格式：.WAV文件大小：1.26 GB（解压包大小）文件数量：124音频码率：96kHz, 24-bit音效适用于任何音/视频后期编辑软件，直接导入即可使用包含：酸，奥术，障壁，呼吸，增益，诅咒，减伤，神圣，电，能量，火，玻璃，冰，冲击，光，液体，金属，加工，抛射，隆隆声，序，召唤，._magic – arcane forces
文章浏览阅读3.5k次。Linux压缩解压tar.gz和zip包命令汇总_加压gz包命令
文章浏览阅读1.5k次。一个合法的身份证号码由17位地区、日期编号和顺序编号加1位校验码组成。校验码的计算规则如下：首先对前17位数字加权求和，权重分配为：{7，9，10，5，8，4，2，1，6，3，7，9，10，5，8，4，2}；然后将计算的和对11取模得到值Z；最后按照以下关系对应Z值与校验码M现在给定一些身份证号码，请你验证校验码的有效性，并输出有问题的号码。_c语言检验身份照
文章浏览阅读450次，点赞4次，收藏6次。CI867AK013BSE092689R1Modbus TCP接口模件模块，通过无线或有线的方式，实现设备之间的数据传输和通信连接。
文章浏览阅读2w次，点赞16次，收藏96次。前言 因为有对GUI界面开发的需求，我前些阵子接触过Qt，一套著名的跨平台的C++图形界面框架。Qt开发最有效的Qt creator，跨平台且集成多款工具，上手体验十分友好。但是，由于C++导入第三方库相对麻烦，而且现有的代码都基于Python实现。此处将介绍Qt相应的Python模块——PySide。为什么不选择PyQt? PySide2和PyQt5同样对应的Qt5框架，PyQt甚至要比PySide出现更早，社区更完备、中文文档更丰富。但是，值得注意的是：二者的许可证存在着差异。 PyQ_pyside2
文章浏览阅读2.9w次，点赞30次，收藏107次。引言xeus-python是2020年新出的Jupyter notebook调试工具，参考机器之心的文章首款 Jupyter 官方可视化 Debug 工具，JupyterLab 未来可默认支持 Debug安装过程安装JupyterLab 前端插件jupyter labextension install @jupyterlab/debugger安装xeus-python作为后端kernelconda install xeus-python -c conda-forge调试教程只要装好前端与_jupyterlab怎么debug
文章浏览阅读3.8k次。<dependency> <groupId>org.json</groupId> <artifactId>json</artifactId> <version>20160807</version> </dependency>导入 json-20160807.jar jar包 直接调用 XML.toJSONObject(“xml内容”) 就可以把XML._xml转json