多值知识编译

定义了一类新的易处理理论:s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.

筛法与素数及孪生素数

（1）在非1自然数列＂2,3,4,…,t,t＋1,…＂中,筛去能被素数＂2,3,5,…,P_n＂整除的数{2,…,P_n｜t_1,…,t_n,…}之后,数列上剩余的最小奇数一定是素数（P_（n＋1））.（2）在非1奇数列＂3,5,7,…,d,d＋2,…＂中,筛去素数3的倍数＂3,9,15,…＂后,其余两个相差为2的奇数,称作＂孪生数（q,q＋2）＂;再筛去含有奇素数＂5,7,11,…,P_N＂的倍数的孪生数{5,…,P_N｜（q,q＋2）_1,…,（q,q＋2）_n,…}之后,数列上剩余的最小孪生数一定是孪生素数（P,P＋2）.