在多值逻輯中二項关系所确定的极大封閉集

在k值逻辑中定出所有极大封闭集的问题是一个基本和重要的问题.这个问题除k=2,3外尚未解决.曾经指出,P_k中的任意一个极大封闭集必是某一个保k~2项关系的函数集.王湘浩教授改进了的结果,证明了P_k中任意一个极大封闭集必是某一个保r项关系的两数集(2≤r≤k),从而使得有可能通过“保关系”的道路解决这个问题.特别是在k比较小时,完全有可能定出所有的极大封闭集.不难想到,为了定出P_k中全部极大封闭集,首先应该研究二项关系所确定的极大封闭集.     

线性函数集和环的极大封闭性

在 k 值逻辑理论中,函数系的完备性之刻划问题是一个基本而重要的问题,到目前为止除2值和3值外尚未很好地解决.此问题的彻底解决依赖于定出所有的极大封闭集,(1958)定出了若干极大封闭集.本文研究了广义的线性函数集(包括(1958)提出的极为特殊的线性函数集),并得到了新的极大封闭集,主要的结论是定理5.此外,我们还讨论了环的极大封闭性,主要的结论是定     

关于保分划之函数集的极大封闭性(Ⅰ)

在 k 值逻辑理论中,函数集的完备性之刻划问题是一个基本而重要的问题.到目前为止,除2值和3值外尚未很好地解决.此问题的彻底解决依赖于定出所有的极大封闭集.С.В.Яблонский(1958)和В.В.Мартынюк(1960)定出了若干极大封闭集.本文研究了保分划之函数集(包括С.В.Яблонский(1958)提出的 U 型集和 T 型集以及     

半群PO_n(k,m)的秩

设POn是[n]上的部分保序变换半群.对任意1≤k≤n-1且2≤m≤n,研究半群POn(k,m)={α∈POn:x,y∈dom(α),x≤k■xα≤k,y≥m■yα≥m}证明了半群POn(k,m)的幂等元秩为3n-4.进一步,得到了半群POn(k,k+1)的秩为2n-2,且半群POn(k,m)(m≠k+1)的秩为2n-1.     

图P2mUPm＋k的优美性探讨

该文讨论了P_(2m)UP_(m+k)型图的优美性.证明了当k=2.3.4时.P_(2m)UP_(m+k)是优美图,我们还指出,当k>4,1≤m≤2k-5时,P_(2m)UP_(m+k)的优美性等价于猜想:对于l≥5,0相似文献   

NT-HIT(k)公式的存在性

一个合取范式(CNF)公式F是NT-HIT公式,如果F中的任意两个不同的子句中恰有一对互补文字。NT-HIT(k)是公式的子句数与变元数之差为k的NT-HIT公式类。通过构造一个命题公式Hn,m,我们证明了：(1)Hn,m可满足当且仅当存在一个含有n个变元和m个子句的NT-HIT公式。(2)对于NT-HIT(1)中的任意一个公式F,存在一个文字L,L在F中仅出现一次。进一步,我们证明了：对于k≥2,公式Hn,n k是一个不可满足公式。于是,对于k≥2,NT-HIT(k)是一个空集。从而就解决了[1]中的两个公开的问题。     

关于k 1类亏度为k的2k次插值样条

对任意自然数k,本文提出了k 1类亏度为k的2k次插值样条。较完整地讨论了它们的存在唯一性及对已知函数的逼近度,并论及了其中几类插值样条所具有的某种交分性质。文[1]、[2]中论及的二、四次插值样条均为本文的特例。最后我们指出了一类插值样条在数值积分中的应用。插值问题的提法及其存在唯一性给定区闻[a,b]上的一个分划Δ:a=x_1相似文献   

k元n方体的边容错性

k元n方体是并行与分布式处理系统最常用的互连网络拓扑结构之一.研究了k元n方体中不存在k元(n-m)方体子结构的最小边故障数目fn,m,其中k≥3是奇数,证明了fn,0=1,kn≤fn,m≤n(mm)k,fn,n-1=nkn-1以及fn,1=k+k/(n-1).     

有限域上(n,k)(k≥3)型高斯正规基的 对偶基的复杂度

确定有限域上的正规基, 特别是高斯正规基的复杂度是一个有趣的问题. 本文利用有限域的性质给出了有限域上一类(n,k)(k≥3)型高斯正规基的对偶基的复杂度的上下界, 由此确定了有限域上(n,k)(k=1,2)型高斯正规基的对偶基的准确复杂度, 从而简化了万哲先等人在2007年给出的证明.     

裁元齐次Moran集的Hausdorff维数

将齐次Moran集迭代过程中的k项序列集Dk={(i1,…,ik):1≤ii≤nj,1≤j≤k},裁减为Dk={(il,ik):1≤ii≤nj,ii≠2.且ii≠3除非ii-1=1,2≤J≤k},并确定了相应的裁元齐次Moran 集的Hausdorff维数.     

Bernoulli试验中k阶概率分布的众数

分别讨论了k阶负二项分布NB_k(r,p)当参数p=0.5,k=2时的众数及k阶Poisson分布P_k(λ)在参数λ和k取某些特定值时的众数.同时提出一个关于k阶二项分布B_k(n,p)众数的猜想.     

有限域上(n,k)(k≥3)型高斯正规基的对偶基的复杂度（英文）

确定有限域上的正规基,特别是高斯正规基的复杂度是一个有趣的问题.本文利用有限域的性质给出了有限域上一类(n,k)(k≥3)型高斯正规基的对偶基的复杂度的上下界,由此确定了有限域上(n,k)(k=1,2)型高斯正规基的对偶基的准确复杂度,从而简化了万哲先等人在2007年给出的证明.     

半群On(k,m)的秩

设O_n是有限链[n]上的保序变换半群.对任意1≤k≤n-1且2≤m≤n,研究了半群O_n(k,m)={α∈O_n|kα≤k,mα≥m}的幂等元秩和秩.     

半群TOP_n(k)的格林(星)关系及富足性

广义格林关系为研究非正则半群提供了一个有效途径.基于这一方法,对半群TOP_n(k)的元素和蛋盒图进行相关研究.得到了半群TOP_n(k)的格林关系和星格林关系.进一步证明了:当1≤k≤n-1时,半群TOP_n(k)是非正则富足半群.     

R~n中GAUSS型求积公式

的次数不超过k的n维多项式全体,M=(x_1,x_2,…,x_n)∈R~n。p_k(n)中n元k次完全多项式共有C_(n k)~n项,令m=C_(n k)~n 1 构造R~n中Lagrange型插值多项式设P_k(M)∈P_k(n)为定义在R~n中n维区域D上函数f(M)的插值多项式,选取D中满足某     

具有“周期”特点数列通项公式的求法

寻找数列的通项公式是数列中的一项重要的内容,然而有些数列的通项公式却难以表示出来。在离散数学中,整数的同余关系是一种较为特殊的关系。以此在自然数集N中构造一个子集Amk={n|k≡n(modm)∧n,k∈Z+∧0≤k≤m-1},其特征函数ΨAmk(n)有许多特殊的性质和作用。用这类特殊集合的特征函数可解决具有"周期"特点数列的通项公式问题。     

半群OI_n(k,m)的秩

设OI_n是[n]上的保序严格部分一一变换半群.对任意1≤k≤n-1,且2≤m≤n,研究半群OI_n(k,m)={α∈OI_n:(x,y∈dom(α))x≤k■xα≤k,y≥m■yα≥m}的秩,证明半群OI_n(k,k+1)的秩为n,且半群OI_n(k,m)(m≠k+1)的秩为n+2.     

一类裁元齐次Moran集的Hausdorff维数

将齐次Moran集迭代过程中的k项序列集Dk={(i1,…,ik):1≤ij≤nj,1≤j≤k} 裁减为Dk={(i1,…,ik):1≤ij≤nj,当ij-1=1时ij≠2,2≤j≤k},确定了相应的裁元齐次Moran集的Hausdorff维数.     

阶乘进制中位数码之和的k次幂的计算

为揭示整数在阶乘进制表示中的规律,研究了阶乘进制中一类位数码函数的性质。设w(m)为整数m(0≤m≤n!-1)在阶乘进制表示中的位数码之和。对任意和正整数x和任意给定的整数k≥0,并利用组合数学的方法给出了具有k次幂的一个精确计算公式。所得结果在编码、密码和计算复杂性理论中有很好的应用前景。     

C_(2j+1)∪C_(2k)类与P_n~k类调和图

证明了 Seoud等当 k≥ 3时 C3 与 C2 k的不相交并 C3 ∪ C2 k为调和图的猜想 ,并扩展该结果 ,证明了 C5 ∪ C2 k( k≥ 2 )是调和图 ;给出猜想 C2 j+ 1 ∪ C2 k( j≥ 1,k≥ 2且 ( j,k)≠ ( 1,2 ) )是调和图 .证明了幂图 P4n( 8≤ n≤ 17)与 P5 n( 14≤ n≤ 17)是调和图 ,否定了 Seoud等关于当且仅当 1≤ k≤ 3时 Pkn( 1≤ k≤ n -1)是调和图的猜想 .给出了相反的猜想 :当 n≥ n0 ( k)时 Pkn是调和图 ( n0 ( k)为依赖于 k的足够大的整数 )