Geodesic
Modeling of combinatorial problems with the help of continuous logic
Vestnik rossijskih universitetov. Matematika, Tome 22 (2017) no. 2, pp. 439-448
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

In this paper we formulated the class of combinatorial tasks, which equivalent to problem of determining the relative position of slot sequences. We propose examples of this class of problems related to the field of synthesis of reliable devices by redundancy, organization management of customer service in trading systems, drafting proper timetable of dissertation council. We give precise mathematical formulation of problem, consisting of the analysis part (determining the actual position of interval sequences) and synthesis (finding location conditions for interval sequences at which their relative positions form a desired order). The mathematical model of dynamic finite automaton without memory as a logical -pole is introduced. The main task for this automaton is to find the output dynamic process by known input processes and implemented logical (Boolean) function. Detailed description of continuous logic as mathematical means that allow find the output dynamic process in automata is given. Examples of such a finding are presented. It is shown that the dynamic finite automaton without memory is adequate mathematical model to solve the combinatorial problem. At the same time the original combinatorial problem reduces to finding the output process in the automata model, based on the specified input processes and implemented logic function. An 6-step algorithm for solving the problem, as well as two examples of combinatorial problems that are solved by this algorithm are proposed. Both examples are solved in analytical form. We release the estimation of computational complexity which implies that the complexity of the proposed approach is growing as a power function of the dimension of the problem. So the approach is applicable to the solution of problems of high dimensionality. The advantage of the approach else in the ability to formally seek algorithms for solving problems and analyze probable solutions by finding the necessary and sufficient conditions for existence of such solutions.
Keywords: combinatorial problem; sequence of intervals; intervals interposition; the dynamic automata; the dynamic process; the continuous logic. 
@article{VTAMU_2017_22_2_a1,
     author = {V. I. Levin},
     title = {Modeling of combinatorial problems with the help of continuous logic},
     journal = {Vestnik rossijskih universitetov. Matematika},
     pages = {439--448},
     year = {2017},
     volume = {22},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VTAMU_2017_22_2_a1/}
}
TY  - JOUR
AU  - V. I. Levin
TI  - Modeling of combinatorial problems with the help of continuous logic
JO  - Vestnik rossijskih universitetov. Matematika
PY  - 2017
SP  - 439
EP  - 448
VL  - 22
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/VTAMU_2017_22_2_a1/
LA  - ru
ID  - VTAMU_2017_22_2_a1
ER  - 
%0 Journal Article
%A V. I. Levin
%T Modeling of combinatorial problems with the help of continuous logic
%J Vestnik rossijskih universitetov. Matematika
%D 2017
%P 439-448
%V 22
%N 2
%U http://geodesic.mathdoc.fr/item/VTAMU_2017_22_2_a1/
%G ru
%F VTAMU_2017_22_2_a1
V. I. Levin. Modeling of combinatorial problems with the help of continuous logic. Vestnik rossijskih universitetov. Matematika, Tome 22 (2017) no. 2, pp. 439-448. http://geodesic.mathdoc.fr/item/VTAMU_2017_22_2_a1/

[1] V. I. Levin, Introduction to Dynamic Theory of Finite State Automation, Zinatne Publ., Riga, 1975 (In Russian)

[2] D. Bochmann, V. N. Roginskij, V. I. Levin, Dinamische Processe in Automaten, Technik Publ., Berlin, 1977 (In German)

[3] V. I. Levin, Dynamics of Logical Devices and Systems, Energy Publ., Moscow, 1980 (In Russian) | MR

[4] V. I. Levin, Theory of Dynamic Automation, Penza State University Publ., Penza, 1995 (In Russian)

[5] V. I. Levin, Infinite-Valued Logics in Cybernetics Tasks, Radio i svyaz' Publ., Moscow, 1982 (In Russian)

[6] V. I. Levin, Structural-Logical Methods of Complicated Systems Research, Nauka Publ., Moscow, 1987 (In Russian)

[7] L. Zade, The Notion of Linguistic Variable and its Application to Taking Approximate Solutions, Mir Publ., Moscow, 1976 (In Russian)

[8] E. Yu. Kandrashina, L. V. Litvintseva, D. A. Pospelov, The Space and Time in Artificial Intellect Systems, Nauka Publ., Moscow, 1988 (In Russian)

[9] E. Yu. Kandrashina, L. V. Litvintseva, D. A. Pospelov, The Space and Time Notion Inartificial Intellect Systems, Nauka Publ., Moscow, 1989 (In Russian)