Suscripción a Biblioteca: Guest
Portal Digitalde Biblioteca Digital eLibros Revistas Referencias y Libros de Ponencias Colecciones
Journal of Automation and Information Sciences
SJR: 0.275 SNIP: 0.59 CiteScore™: 0.8

ISSN Imprimir: 1064-2315
ISSN En Línea: 2163-9337

Volumen 52, 2020 Volumen 51, 2019 Volumen 50, 2018 Volumen 49, 2017 Volumen 48, 2016 Volumen 47, 2015 Volumen 46, 2014 Volumen 45, 2013 Volumen 44, 2012 Volumen 43, 2011 Volumen 42, 2010 Volumen 41, 2009 Volumen 40, 2008 Volumen 39, 2007 Volumen 38, 2006 Volumen 37, 2005 Volumen 36, 2004 Volumen 35, 2003 Volumen 34, 2002 Volumen 33, 2001 Volumen 32, 2000 Volumen 31, 1999 Volumen 30, 1998 Volumen 29, 1997 Volumen 28, 1996

Journal of Automation and Information Sciences

DOI: 10.1615/JAutomatInfScien.v51.i7.30
pages 34-46

Methods of Solving the Problems of Mathematical Safe on Elementary Graphs

Artem L. Gurin
National Technical University of Ukraine "Igor Sikorsky Kiev Polytechnic Institute", Kiev
Andrey G. Donets
National Aviation University, Kiev
Sergiy Zagorodnyuk
Taras Shevchenko National University of Kyiv


The problem of mathematical safe consisting of a certain system of interrelated locks with given initial states is under consideration. Such system can be represented in the form of oriented or non-oriented graph, which vertexes are locks. In this paper, we consider graphs of sufficiently simple structures, such as path, contour, chain, cycle, fantail, stairs with a prescribed quantity of steps, and complicated stairs. In the general case, solution of this problem is reduced to solving a system of linear equations in the class of subtracts in absolute value, which is equal to the number of states of every safe lock. In fact, this number equals to the number of key turns in each lock for reaching finally transition of the safe in the state when all locks are open. To solve this problem, two original methods are suggested, namely, the method of separation of variables and the method of summary representations. The essence of first method consists in the following. For some elementary graphs there is a potential of singling out some equations for their immediate solving relative to one arbitrary variable. Further, substituting successively the obtained solutions into the corresponding equations, we obtain the solution of the system. This method was used for solving the problem for the graph of a cycle type. The essence of the second method consists in the introduction of a special parameter called the sum of unknowns. Some graphs make possible to present the system variables by this parameter. Summing these variables we obtain the equation relative to this parameter. Having solved this equation we obtain the value of this parameter as well as the values of all variables. This method was used for solving the problem for the graphs of window and stairs types. Every problem for the prescribed types of safe is shown by examples and is supplemented by verification of the solution.


  1. Donets G.A., Solution of safe problem on (0, l)-matrices, Cybernetics and Systems Analysis, 2002, No. 1, 98-105. .

  2. Agai Ah Garnish Yakub, Donets G.A., Problem of mathematical safe on matrixes, Teoriya optimalnykh resheniy, 2013, 124-130. .

  3. Kryvyi S.L., Algorithms for solution of systems of linear Diophantine equations in residue fields, Cybernetics and Systems Analysis, 2007, 43, No. 2, 171-178. .

  4. Donets G.A., Gurin A.L., Problem about mathematical safe oflocks with two states, Mezhdunarodnyi nauchno-tekhnicheskiyzhurnal "Problemy upravleniya i informatiki", 2018, No. 5, 33-41. .

  5. Kryvyi S.L., Solution algorithms for systems of linear equations over residue rings, Cybernetics and Systems Analysis, 2016, 52, No. 5, 149-160. .

Articles with similar content:

Robust stability and Synthesis of Discrete
Journal of Automation and Information Sciences, Vol.39, 2007, issue 7
Vsevolod M. Kuntsevich
Robust Stability of Discrete Control Systems
Journal of Automation and Information Sciences, Vol.36, 2004, issue 7
Vsevolod M. Kuntsevich
The Problem of a Mathematical Safe with a Prime Number of Lock States
Journal of Automation and Information Sciences, Vol.50, 2018, issue 11
Artem L. Gurin , Andrey G. Donets
Bank − Complex System
Journal of Automation and Information Sciences, Vol.51, 2019, issue 8
Marina V. Timoshenko , Valeriy A. Velichkin
On Application of Latticed Differential Equations with a Delay for Immunosensor Modeling
Journal of Automation and Information Sciences, Vol.50, 2018, issue 6
Andrey S. Sverstiuk , Petr N. Zinko , Igor Ye. Andrushchak, Vasiliy P. Martsenyuk