Complete on Average Boolean Satisfiability

We present in this paper a dynamic binary coding scheme α on CNF formulas ψ, and show that under a uniform distribution μ_α on binary string α(ψ), SAT is complete on average, where μ_α(ψ) is proportional to α(ψ)⁻²2^−α(ψ). We then show that there is k₀>2 such that for all kk₀, kSAT under μ_α is complete on average.     

Countably categorical and autostable Boolean algebras with distinguished ideals

We study countable Boolean algebras with finitely many distinguished ideals (countable I-algebras) whose elementary theory is countably categorical, and autostable I-algebras which form their subclass. We propose a new characterization for the former class that allows to answer a series of questions about the structure of countably categorical and autostable I-algebras.     

Term rank preservers of Boolean matrices

We obtain some characterizations of linear operators that preserve the term rank of Boolean matrices. That is, a linear operator over Boolean matrices preserves the term rank if and only if it preserves the term ranks 1 and k(≠1) if and only if it preserves the term ranks 2 and l(≠2). Other characterizations of term rank preservers are given.     

布尔矩阵的振荡条件与振荡指数

首先将常用类型的模糊矩阵都纳入到了二阶占优模糊矩阵的统一框架之内,然后利用模糊矩阵的有向伴随图,指出了强连通布尔矩阵振荡的一个充要条件,依次证明了强连通的二阶占优布尔矩阵的振荡指数为2n-2,非强连通的二阶占优布尔矩阵的振荡指数为3n-4.     

关于布尔矩阵的广义Moore-Penrose逆

讨论布尔矩阵的广义Moore-Penrose逆.给出了一些广义Moore-Penrose逆存在的充要条件以及广义Moore-Penrose逆的一些刻划.     

On the Pointwise Limit of Vector Charges with the Saks Property

The well-known theorem about the density of the space of probability charges with the Saks property in the space of all probability charges in the pointwise topology is proved in the vector case. New features are the uniform Saks property for the family of charges and sufficient conditions for the pointwise limit of a sequence of charges to have the Saks property.     

恰有t行含对称正元的布尔方阵的幂敛指数的估值

设Ｄｎ，２（ｔ）为恰有ｔ行含对称正元的ｎ阶布尔方阵的集合，２≤ｔ≤ｎ。本文证明了，对于任给Ａ∈Ｄｎ，２（ｔ），幂敛指数ｋ（Ａ）≤∫（ｎ－ｔ－１）＾２＋１，３ｎ－ｔ－２，当ｔ≤ｎ－［３＋√８ｎ－７／２］当ｔ〉ｎ－［３＋√８ｎ－７／２］，这里［ｘ］表示不小于ｘ的最小整数。同时，我们还证明了这个界是可以达到的，并且对Ｄｎ，２（ｔ）的极矩阵集合作了部分刻划。     

Boole代数上的度量结构及其在命题逻辑中的应用

设B是一个Boole代数, Ω是从B到Boole代数{0,1}的全体同态之集,μ是Ω上的概率测度.本文基于μ在B中引入了元素的尺寸概念以及元素对之间的相似度概念,并由此在B上建立了度量结构.作为应用,本文改进了新近提出的命题逻辑中的近似推理理论.     

On Grothendieck Subspaces

The modulus of an order bounded functional on a Riesz space is the sum of a pair of Riesz homomorphisms if and only if the kernel of this functional is a Grothendieck subspace of the ambient Riesz space. An operator version of this fact is given.Original Russian Text Copyright © 2005 Kutateladze S. S.__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 3, pp. 620–624, May–June, 2005.