Showing 1–12 of 12 results for author: Shtrakov, S

Minor complexities of finite operations

Authors: Slavcho Shtrakov

Abstract: In this paper we present a new class of complexity measures, induced by a new data structure for representing $k$-valued functions (operations), called minor decision diagram. The results are presented in terms of Multi-Valued Logic circuits (MVL-circuits), ordered decision diagrams, formulas and minor decomposition trees. When assigning values to some variables in a function $f$ the resulting f… ▽ More In this paper we present a new class of complexity measures, induced by a new data structure for representing $k$-valued functions (operations), called minor decision diagram. The results are presented in terms of Multi-Valued Logic circuits (MVL-circuits), ordered decision diagrams, formulas and minor decomposition trees. When assigning values to some variables in a function $f$ the resulting function is a subfunction of $f$, and when identifying some variables the resulting function is a minor of $f$. A set $M$ of essential variables in $f$ is separable if there is a subfunction of $f$, whose set of essential variables is $M$. The essential arity gap $gap(f)$ of the function $f$ is the minimum number of essential variables in $f$ which become fictive when identifying distinct essential variables in $f$. We prove that, if a function $f$ has non-trivial arity gap ($gap(f)\ge 2$), then all sets of essential variables in $f$ are separable. We define equivalence relations which classify the functions of $k$-valued logic into classes with the same minor complexities. These relations induce transformation groups which are compared with the subgroups of the restricted affine group (RAG) and the groups determined by the equivalence relations with respect to the subfunctions, implementations and separable sets in functions. These methods provide a detailed classification of $n$-ary $k$-valued functions for small values of $n$ and $k$. △ Less

Submitted 17 November, 2016; originally announced November 2016.

Comments: 24 pages, 14 figures

MSC Class: Primary: 94C10; Secondary: 06E30; 68Q25; 68Q15

On the complexity of finite valued functions

Authors: Sl. Shtrakov, I. Damyanov

Abstract: The essential variables in a finite function $f$ are defined as variables which occur in $f$ and weigh with the values of that function. The number of essential variables is an important measure of complexity for discrete functions. When replacing some variables in a function with constants the resulting functions are called subfunctions, and when replacing all essential variables in a functio… ▽ More The essential variables in a finite function $f$ are defined as variables which occur in $f$ and weigh with the values of that function. The number of essential variables is an important measure of complexity for discrete functions. When replacing some variables in a function with constants the resulting functions are called subfunctions, and when replacing all essential variables in a function with constants we obtain an implementation of this function. Such an implementation corresponds with a path in an ordered decision diagram (ODD) of the function which connects the root with a leaf of the diagram. The sets of essential variables in subfunctions of $f$ are called separable in $f$. In this paper we study several properties of separable sets of variables in functions which directly impact on the number of implementations and subfunctions in these functions. We define equivalence relations which classify the functions of $k$-valued logic into classes with same number of implementations, subfunctions or separable sets. These relations induce three transformation groups which are compared with the lattice of all subgroups of restricted affine group (RAG). This allows us to solve several important computational and combinatorial problems. △ Less

Submitted 1 January, 2015; originally announced January 2015.

Comments: 23 pages, 4 figures, 6 tables, Preprint of the article is submitted for consideration in [WSPC (2015)] [http://www.worldscientific.com/worldscinet/ijfcs]

MSC Class: 03D15 ACM Class: F.1.3

Finite symmetric functions with non-trivial arity gap

Authors: Sl. Shtrakov, J. Koppitz

Abstract: Given an $n$-ary $k-$valued function $f$, $gap(f)$ denotes the essential arity gap of $f$ which is the minimal number of essential variables in $f$ which become fictive when identifying any two distinct essential variables in $f$. In the present paper we study the properties of the symmetric function with non-trivial arity gap ($2\leq gap(f)$). We prove several results concerning decomposition o… ▽ More Given an $n$-ary $k-$valued function $f$, $gap(f)$ denotes the essential arity gap of $f$ which is the minimal number of essential variables in $f$ which become fictive when identifying any two distinct essential variables in $f$. In the present paper we study the properties of the symmetric function with non-trivial arity gap ($2\leq gap(f)$). We prove several results concerning decomposition of the symmetric functions with non-trivial arity gap with its minors or subfunctions. We show that all non-empty sets of essential variables in symmetric functions with non-trivial arity gap are separable. △ Less

Submitted 7 February, 2013; v1 submitted 24 September, 2010; originally announced September 2010.

Comments: 12 pages

MSC Class: 06E35 ACM Class: G.2.0

On finite functions with non-trivial arity gap

Authors: Slavcho Shtrakov, Joerg Koppitz

Abstract: Given an $n$-ary $k-$valued function $f$, $gap(f)$ denotes the minimal number of essential variables in $f$ which become fictive when identifying any two distinct essential variables in $f$. We particularly solve a problem concerning the explicit determination of $n$-ary $k-$valued functions $f$ with $2\leq gap(f)\leq n\leq k$. Our methods yield new combinatorial results about the number o… ▽ More Given an $n$-ary $k-$valued function $f$, $gap(f)$ denotes the minimal number of essential variables in $f$ which become fictive when identifying any two distinct essential variables in $f$. We particularly solve a problem concerning the explicit determination of $n$-ary $k-$valued functions $f$ with $2\leq gap(f)\leq n\leq k$. Our methods yield new combinatorial results about the number of such functions. △ Less

Submitted 5 March, 2010; v1 submitted 13 October, 2008; originally announced October 2008.

Comments: 17 pages, Int. Conf. Algebraic and Combinatorial Coding Theory, ACCT2008, June 16 - Sunday 22, 2008, Pamporovo, BULGARIA

ACM Class: G.2.0

Essential arity gap of Boolean functions

Authors: Slavcho Shtrakov

Abstract: We investigate the Boolean functions with essential arity gap 2. We use Full Conjunctive Normal Forms instead of Zhegalkin's polynomials, which allow us to simplify the proofs and to obtain several combinatorial results, concerning the Boolean functions with a given arity gap. We investigate the Boolean functions with essential arity gap 2. We use Full Conjunctive Normal Forms instead of Zhegalkin's polynomials, which allow us to simplify the proofs and to obtain several combinatorial results, concerning the Boolean functions with a given arity gap. △ Less

Submitted 13 October, 2008; v1 submitted 28 August, 2008; originally announced August 2008.

Comments: 12 pages, J. of Computing, Serdika, IMI, BAS, Sofia

ACM Class: G.2.0

Essential variables and positions in terms

Authors: Slavcho Shtrakov

Abstract: The paper deals with $Σ-$composition of terms, which allows us to extend the derivation rules in formal deduction of identities. The concept of essential variables and essential positions of terms with respect to a set of identities is a key step in the simplification of the process of formal deduction. $Σ-$composition of terms is defined as replacement between $Σ$-equal terms. This compositio… ▽ More The paper deals with $Σ-$composition of terms, which allows us to extend the derivation rules in formal deduction of identities. The concept of essential variables and essential positions of terms with respect to a set of identities is a key step in the simplification of the process of formal deduction. $Σ-$composition of terms is defined as replacement between $Σ$-equal terms. This composition induces $ΣR-$deductively closed sets of identities. In analogy to balanced identities we introduce and investigate $Σ-$balanced identities for a given set of identities $Σ$. △ Less

Submitted 19 January, 2010; v1 submitted 17 February, 2008; originally announced February 2008.

Comments: 17 pages, 2 figures

MSC Class: 08B05; 03C05; 08A02

Journal ref: J. Algebra Universalis, Vol. 61, No 3-4, (2009), pp. 381-397

Tree Automata and Essential Subtrees

Authors: Slavcho Shtrakov

Abstract: We introduce essential subtrees for terms (trees) and tree automata . There are some results concerning independent sets of subtrees and separable sets for a tree and an automaton. We introduce essential subtrees for terms (trees) and tree automata . There are some results concerning independent sets of subtrees and separable sets for a tree and an automaton. △ Less

Submitted 23 February, 2007; originally announced February 2007.

Comments: 9 pages, 2 figures, Sixth International Conference on Discrete Mathematics and Applications, Bansko, 2001

ACM Class: F.1.1; F.1.2

Journal ref: Proc. of ICDMA, 31.08-02.09.2001, Bansko, v.6, 51-60 p

Essential Inputs and Minimal Tree Automata

Authors: Ivo Damyanov, Slavcho Shtrakov

Abstract: We continue studying essential inputs of trees and automata. Strongly essential inputs of trees are introduced and studied. Various examples for application in Computer Science are shown. We continue studying essential inputs of trees and automata. Strongly essential inputs of trees are introduced and studied. Various examples for application in Computer Science are shown. △ Less

Submitted 23 February, 2007; originally announced February 2007.

Comments: 7 pages, 1 figure, Sixth International Conference on Discrete Mathematics and Applications, 31.08-02.09.2001, Bansko

ACM Class: F.1.1; F.1.2

Journal ref: Proc. of ICDMA, 31.08-02.09.2001, Bansko, v.6, 77-85 p

Tree Automata and Essential Input Variables

Authors: Slavcho Shtrakov

Abstract: We introduce and study the essential inputs (variables) for terms (trees) and tree automata. We introduce and study the essential inputs (variables) for terms (trees) and tree automata. △ Less

Submitted 22 February, 2007; originally announced February 2007.

Comments: 10 pages, 2 figures, 60th Workshop on General Algebra, June 22-25, 2000, TU Dresden

ACM Class: F.1.1; F.1.2

Journal ref: J. Contributions to General Algebra, v.13, Verlag Johannes Heyn, Klagenfurt, 2001, 309-319 p

Tree automata and separable sets of input variables

Authors: Slavcho Shtrakov, Vladimir Shtrakov

Abstract: We consider the computational complexity of tree transducers, depending on their separable sets of input variables. We consider the computational complexity of tree transducers, depending on their separable sets of input variables. △ Less

Submitted 22 February, 2007; originally announced February 2007.

Comments: 8 pages, 2 figures

ACM Class: F.1.1; F.1.3

Journal ref: J. FILOMAT, v. 15, 2001, University of Nis, 61-71 p., ISSN 0354-5180 (http://www.pmf.ni.ac.yu/sajt/publikacije/filomat_15.html)

Finite element method for thermal analysis of concentrating solar receivers

Authors: Stanko Shtrakov, Anton Stoilov

Abstract: Application of finite element method and heat conductivity transfer model for calculation of temperature distribution in receiver for dish-Stirling concentrating solar system is described. The method yields discretized equations that are entirely local to the elements and provides complete geometric flexibility. A computer program solving the finite element method problem is created and great nu… ▽ More Application of finite element method and heat conductivity transfer model for calculation of temperature distribution in receiver for dish-Stirling concentrating solar system is described. The method yields discretized equations that are entirely local to the elements and provides complete geometric flexibility. A computer program solving the finite element method problem is created and great number of numerical experiments is carried out. Illustrative numerical results are given for an array of triangular elements in receiver for dish-Stirling system. △ Less

Submitted 19 July, 2006; originally announced July 2006.

Comments: 8 pages; 5 figures

Mathematical Modelling of the Thermal Accumulation in Hot Water Solar Systems

Authors: Stanko Vl. Shtrakov, Anton Stoilov

Abstract: Mathematical modelling and defining useful recommendations for construction and regimes of exploitation for hot water solar installation with thermal stratification is the main purpose of this work. A special experimental solar module for hot water was build and equipped with sufficient measure apparatus. The main concept of investigation is to optimise the stratified regime of thermal accumulat… ▽ More Mathematical modelling and defining useful recommendations for construction and regimes of exploitation for hot water solar installation with thermal stratification is the main purpose of this work. A special experimental solar module for hot water was build and equipped with sufficient measure apparatus. The main concept of investigation is to optimise the stratified regime of thermal accumulation and constructive parameters of heat exchange equipment (heat serpentine in tank). Accumulation and heat exchange processes were investigated by theoretical end experimental means. Special mathematical model was composed to simulate the energy transfer in stratified tank. Computer program was developed to solve mathematical equations for thermal accumulation and energy exchange. Extensive numerical and experimental tests were carried out. A good correspondence between theoretical and experimental data was arrived. Keywords: Mathematical modelling, accumulation △ Less

Submitted 18 July, 2006; originally announced July 2006.

Comments: 11 pages, 5 figures

ACM Class: K.1.6