Loading...
Email Alert
|
Rss
|
Fig/Tab
Toggle navigation
Home
About Journal
Editorial Board
Instruction
Journal Online
Current Issue
Just Accepted
Most Read Articles
Most Download Articles
Most Cited Articles
Archive
News
Contact Us
中文
Table of Content
30 June 1987, Volume 2 Issue 2
Previous Issue
Next Issue
On Reducibility Problem in Mechanical Theorem Proving of Elementary Geometies
WU Wen-tsun
1987, 2(2): 1-20.
Asbtract
(
91
)
PDF
(1028KB) (
173
)
Related Articles
|
Metrics
The Existence of Minimal Honest Polynomial Degree Below
O’
YANG Dong-ping
1987, 2(2): 21-26.
Asbtract
(
44
)
PDF
(439KB) (
104
)
Related Articles
|
Metrics
引言Homer 在中证明了在 P=NP 条件下可以证明 O′下纯正多项式极小度的存在性,他还证明了若干种 O″下的集不具有纯正多项式极小度.如果可以证明一切 O″下的集都不具有纯正极小度,那么可以证明 P≠NP。因此 Homer 的工作给出了一个解决“P=?NP”问题的一个可能途径.本文目的是在 P=NP 条件下证明在 O′下存在纯正多项式极小度.这样只须证明一切O′下的集都不具有纯正多项式极小度,则有 P≠NP.从而可以使证明 P≠NP 的这种途径
On the Distribution of the Values of a Class of Arithmetical Functions
SHAO Pin-tsung
1987, 2(2): 27-43.
Asbtract
(
240
)
PDF
(895KB) (
420
)
Related Articles
|
Metrics
对于数义在自然数集 N 上的数论函数（Arithmetical function）f（n）, n\inN,取值可以是实数, 也可以是复数（一般为实数）, 例如著名的 Euler 函数
\varphi(n)=\Sigma_{(a,n)=1,a<n}1,
除数函数τ（n）=
\Sigma_{d/n}
1,以及除数和函数σ（n）=
\Sigma_{d/n}
d
On the Relation of Total Chromentic Numbers of a Graph and it`s Complemental Graph
WANG Jian-fang, ZHANG Zhong-fu
1987, 2(2): 44-51.
Asbtract
(
148
)
PDF
(432KB) (
136
)
Related Articles
|
Metrics
本文用不同于[3]的方法,研究了图及其补图全色数间的关系,得到了其中 p=|V（G）|,G°为 G 的补图。该结果包含了[3]的结果,且当 P 为偶数时更强。§1 引言对于简单图 G=（V,E）,使 V∪E 的任何两个相邻或相关联的元素均有不同颜色所需要使用的最少颜色的数目,被称为 G 的全色数,记为 x
T
（G）。使用一组颜色着染一个图G 的顶点和边,使得 V∪E 中任意两个相邻或相关联元素均有不同颜色,则称这个着色为
On a Theorem of Darvenport
ZHAN Tao
1987, 2(2): 52-58.
Asbtract
(
76
)
PDF
(316KB) (
110
)
Related Articles
|
Metrics
H.Darvenport 利用 Vinogradov 方法证明了如下结果:对任意给定的 H>0,\Sigma_{n<N}\mu（n）e（nα）=O（N（logN)
-H
）对所有实数α一致成立, 这里μ是 Mobius 函数,e（αn）=e
2xian
我们利用 Vaughan 的方法,将上述结果推广至算术级数中,证明了:定理1.若（α,q）=1,则对任意的 N≥1, 这里（f,d）=1.定理2.对任给的 H>0,若（d,f）=1,则:
Mutiple Fourier Series and it`s Linear Means
WANG Kun-yang
1987, 2(2): 59-68.
Asbtract
(
66
)
PDF
(642KB) (
106
)
Related Articles
|
Metrics
§1 引言设 n 为自然数.R
n
为 n 维欧氏空间.Q 为 R
n
中的方体:Q={x
1
,…,x
n
)=x|-π≤x
j
<π,j=1,…,n}.R
n
中的点 x=（x
1
,…,x
n
）与 y=（y
1
,…,y
n
）的欧氏内积记作 xy=x
1
y
1
+…+x
n
y
n
,欧氏范数是|x|（x
1
2
+…+x
1
2
.）
1/2
,L（Q）表示在 Q 上 Lebesgue 可积,对每个变元都以2π为周期的 n 元函数的空间.设f∈L（Q）,它的 Fourier 系数是C
m
（f）=
\hat{f}
（m）=（2π）
-n
∫Qf（x）e
-imx
dx m∈Z
n
.
The Optimal Stopping Theory for Stochastic Processes with Continuous Time
ZHAO Peng-liang
1987, 2(2): 69-80.
Asbtract
(
72
)
PDF
(647KB) (
138
)
Related Articles
|
Metrics
§1 引言关于离散时间随机过程的最优停止问题,Chow,Robbins and Siegmund[1]已较系统地给出了研究结果.关于马尔可夫情形的最优停止问题,无论是离散的还是连续的,Shirgyayev[5]都系统地进行了研究.关于一般的连续时间随机过程最优停止的讨论,则是从 Fakejev[3]和 Thompson[8]开始的.
On the Compaciness Theorem in m-valued (m
≥
2) Statement Logical System
RAN Tai-mo
1987, 2(2): 81-84.
Asbtract
(
78
)
PDF
(274KB) (
184
)
Related Articles
|
Metrics
众所周知,在每一个逻辑系统中,紧性定理是最重要和最基本的定理之一。本文以点集拓扑学中关于紧致性拓扑空间的吉洪诺夫（тихонов）定理为理论基础,获得了下述结果:在所有只有有限个命题函数的 m（m≥2,为自然数）值命题逻辑系统中,紧性定理都成立。
Improved BMP Parsing Algorithm for LR(K) Grammer
ZHOU Yu-qing, LIU Bo-ying
1987, 2(2): 85-93.
Asbtract
(
64
)
PDF
(589KB) (
127
)
Related Articles
|
Metrics
§1 前言LR（k）文法在理论上和实际应用上都有重要意义。但其正规分析算法设置状态太多,占用存储太大,影响了实践使用。对比,已有人提出了一些优化措施,主要是合并状态以减少存储。从而得到熟知的 SLR（K）、LALR（K）文法和文[1]的 BCLR（K）文法、文[2]的 LBLR（K）文法。状态合并一般是从文法状态集到其真子集上的同态映射,因此必然要丢失描述语法分
Representation of General Negation
MA Ji-feng, ZHANG Wen-xin
1987, 2(2): 94-101.
Asbtract
(
46
)
PDF
(391KB) (
81
)
Related Articles
|
Metrics
本文给出了 De Morgan 代数上伪补的表示并研究了一些特殊模系的结构。
Prolongation Theorem of Ordinary Differential Equation in Cloesed Domain
HU Shun-rong
1987, 2(2): 102-107.
Asbtract
(
60
)
PDF
(346KB) (
120
)
Related Articles
|
Metrics
对于一阶常微分方程的初值问题如果 f（x,y）的某闭域 D 上连续,由初值问题（A）的解的基本存在定理,（A）在 x
0
的邻域内有连续解存在,且当这个解的图形之左右端点仍为该域的内点时,还可将此解在 D 内向左右两方延拓而扩大解的存在范围。但按通常的延拓方法,即使
