布尔函数的单调分解定理

对于n元布尔函数f:{0,1}~n→{0,1},如果对于任意X_1,X_2∈{0,1}”,当X_1≤X_2时有f(X_1)≤f(X_2),称f(X)为单调上升函数,当X_1≤X_2时有f(X_2)≤f(X_1),称f(X)为单调下     

布尔函数的其他单调分解定理

对于布尔函数的结构作进一步分析可得下列结果: 定理1 任一布尔函数f(X),有f(X)=I(X)·D(X)成立的充要条件是f(X)的Hasse     

任意布尔表达式的单调分解

文[1]和文[2]分别给出了积之和范式与和之积范式的单调分解。但在逻辑综合中大量遇到简化的布尔表达式,故本文给出任意布尔表达式的单调分解。     

广义布尔函数的结构

在文[1]中,N.T■nd■reanu引进了广义布尔函数的概念。令B是真包含{0,1}的布尔代数,且{0,1}(?)A(?)B。函数g:A×B→B满足下列条件:     

广义布尔函数的计数

给定真包含{0,1)的布尔代数B及它的包含{0,1)的真子集A,|A|=k,|B|=m=2~t。函数g:A×B→满足下列条件:     

一类奇异单调函数

关于奇异单调函数虽然已经有几个著名的例子(参见作者,科学通报,24(1979),1009),但这些例子所考虑的大都是一些特殊情况。本文的目的是要利用作者最近的一篇论文(科学通报,26(1981),1470)中的结果,给出构造这类函数的一个相当普遍的方法,从这种方法中可以看到奇异单调函数与实数展式的概率性质之间的联系。采用上引作者的第二篇文章中的记号,[0,1]中的每个实数,都可以表示为     

一类奇异单调函数Ⅱ

本文继续利用作者前文(科学通报,26(1981),23:1470)中的结果构造奇异单调函数。本文也揭示了奇异单调函数和实数展式的概率性质之间的联系。和一些已知例子相比较,本文所构造的例子有一个优点,就是它具有简明的分析表达式。采用作者前文及本文Ⅰ(科学通报,27(1982),17:1087)中的记号。     

单调函数的两个定理

§1.最近,庄圻泰教授证明了如下的两条定理:     

布尔函数的变元可分离扩张

定义1 令f(x_1,…,x_n)是n元布尔函数,~~     

三值Majority函数单调的充要条件

本文的目的在于通过一个反例说明文献[1]中关于三值Ｍａｊｏｒｉｔｙ函数为单调函数的一个论断是错误的,然后给出这类函数为单调函数的一个充要条件.令Ｅ=0,1/2,1,“≤”表示Ｅ上的通常序,Ｅｎ上相应的乘积序也记作“≤”,设Ｗ1,…,Ｗｎ,Ｔ1/2,Ｔ1是整数,且Ｔ1/2≤Ｔ1,θ∈{1/2,1},Ｘ=(ｘ1,…,ｘｎ),令Ｎθ(Ｘ)=∑{Ｗｉ:Ｗｉ≥0,ｘｉ=θ} ∑{-Ｗｉ:Ｗｉ<0,ｘｉ=θ},这里ｘｉ=1-ｘｉ(ｘｉ∈Ｅ),称ｆ:Ｅｎ→Ｅ是带有权Ｗ1,…,Ｗｎ和阈Ｔ1/2,Ｔ1的三值Ｍａｊｏｒｉｔｙ函数,若ｆ如下定义:ｆ(Ｘ)=1,1/2,0,　Ｎ1(Ｘ)≥Ｔ1;Ｔ1>Ｎ1(Ｘ)≥Ｔ1/2-Ｎ1…     

关于单调函数Borel的一个定理的推广

在过去的工作中,我证明了下列定理:定理1 设f(x),γ(t)及δ(x)为三函数满足下列条件:f(x)于x≥x_0为非减并且f(x)≥T_0.γ(t)于t≥T_0为正、连续并且非增;∫_T0~∞γ(t)dt收敛.δ(x)于x≥x_0为正、连续并且非增;∫_x0~∞δ(x)dx发散.     

关于具有拟单调Fourier系数函数的L~1逼近

设是函数f(x)∈L_(2x)的Fourier级数,s_n(f,x)与σ_n(f,x)分别为其第n部分和与第nFejér和。我们记为扩在空L~1中的范数,又记E_n(f)_L为在L~1范数下n阶三角多项式对函数f的最佳逼近,即     

关于折线函数逼近在单调逼近中的一个应用

用折线磨光的方法给出单调逼近定理的一个新证明。     

一类奇异单调函数与二进小数的一个度量性质

奇异单调函数的著名例子是Cantor函数,但这个函数并不严格单调,而是在某些小区间上恒等于常数。Riesz与Nagy,Hewitt与Stromberg中构造出奇异严格单调函数的例子,最近Feilich又给出了另一个例子。本文的目的是要给出构造奇异严格单调函数的新方法,并以这种函数为桥梁,导出实数二进小数展开式的一个度量性质。在证明中我们提出了将Lebegue关于单调函数几乎处处可微的著名定理应用于实数展开式的度量理论的一种途径。     

马尔科夫链的强大数定律在奇异单调函数的构造中的应用

本文的目的是要给出构造奇异单调函数的一种方法,以见这类函数与马尔科夫链的强大数定律之间的联系。     

Kuhn算法的单调性质

不动点算法已经表现为非线性问题数值解的有效方法。算法的进行,常常是以某个参数(高度)的变化为标志,计算向高层发展,直至达到精度要求。有时这种发展是“迂迴”的,上升一段,又倒退一点。这种对算法效率不利的现象,在文献中称为YO-YO行为。     

布尔矩阵广义逆的一个充要条件

β={0,1}为二元布尔代数,矩阵A=(a_(ij)),a_(ij)∈β,称A为布尔矩阵。给定矩阵A,若存在矩阵G使AGA=A。称G是A的广义逆。如果A有一个广义逆B=(b_(ij)),对A的任何广义逆G=(g_(ij))     

威布尔环境因子的置信估计

在金属疲劳寿命试验及电子元器件的加速寿命试验中,为进行可靠性设计及评定,有必要获得环境因子的置信估计,但至今还没有任何简单而有效的方法可采用。本文提出一种办法从威布尔分布的数据来作出环境因子的置信限。     

扰动极大单调映射的满射性

设X为实自反Banach空间,X~*为其共轭空间。Browder曾提出下列未解决问题:设T:X→2x~*为极大单调映射,T_0为从X到X~*的有界有限连续的T-伪单调映射。假定(T T_0)是强制的,问(T T_0)是否为满射的?本文引入较映射的拟有界性更弱T-有界概念,并引入了一类T-广义伪单调映射及一类T-(M)型映射。当T极大单调时,我们统一了     

广义循环布尔矩阵半群的极大子群

本文所讨论的矩阵都是元素在布尔代数B={0,1}上的n×n矩阵。设r是一个非负整数。r-循环(广义循环)布尔矩阵是指元素a_(ij)∈B的这样一个矩阵A=(a_(ij)),其中除第一行外,其余各行元素都是由它们的前一