Decomposition of Boolean Functions – Recognizing a Good Solution by Traces

The problem of sequent two-block decomposition of a Boolean function is regarded in case when a good solution does exist. The problem consists mainly in finding an appropriate weak partition on the set of arguments of the considered Boolean function, which should be decomposable at that partition. A new fast heuristic combinatorial algorithm is offered for solving this task. At first the randomized search for traces of such a partition is fulfilled. The recognized traces are represented by some "triads" - the simplest weak partitions corresponding to non-trivial decompositions. After that the whole sought-for partition is restored from the discovered trace by building a track initialized by the trace and leading to the solution. The results of computer experiments testify the high practical efficiency of the algorithm.

On the Semigroup of all Increasing Full Transformations

Илинка А. Димитрова - Полугрупата Tn от всички пълни преобразувания върху едно n-елементно множество е изучавана в различни аспекти ог редица автори. Обект на разглеждане в настоящата работа е полугрупата Incn състояща се от всички нарастващи пълни преобразувания. Очевидно Incn е подполугрупа на Tn. Доказано е, че всеки елемент на полугрупата Incn от ранг r може да се представи като произведение на идемпотенти от същия ранг и всеки идемпотент от ранг по-малък или равен на r може да се представи като произведение на идемпотенти от ранг r. С помощта на тези твърдения е показано, че полугрупата Incn се поражда от множеството на всички идемпотенти от ранг n − 1 и тъждественото преобразувание. Освен това е доказано, че идемпотентите от ранг n − 1 са неразложими в полугрупата Incn. В резултат на това е получено, че рангът и идемпотичниат ранг на разглежданата полугрупа са равни. Като са използвани тези твърдения е направена пълна класификация на маскималните подполугрупи на полугрупата Incn.

N–Dimensional Orthogonal Tile Sizing Problem

AMS subject classification: 68Q22, 90C90

Strong Consistency of the Conditional Least Squares Estimator for a Nonstationary Process. Example of the Garch Model

2000 Mathematics Subject Classification: Primary: 62M10, 62J02, 62F12, 62M05, 62P05, 62P10; secondary: 60G46, 60F15.

About Strictly Hyperbolic Operators with Non-Regular Coefficients

2002 Mathematics Subject Classification: 35L15, 35L80, 35S05, 35S30

An Iterative Procedure for Solving Nonsmooth Generalized Equation

2000 Mathematics Subject Classification: 47H04, 65K10.

Probabilistic Approach to the Neumann Problem for a Symmetric Operator

2000 Mathematics Subject Classification: Primary 60J45, 60J50, 35Cxx; Secondary 31Cxx.

Dense Subdifferentiability and Trustworthiness for Arbitrary Subdifferentials

2000 Mathematics Subject Classification: 49J52, 49J50, 58C20, 26B09.

Double complexes and vanishing of Novikov cohomology

2010 Mathematics Subject Classification: Primary 18G35; Secondary 55U15.