Control Systems and Computers, N1, 2022, Article 3
https://doi.org/10.15407/csc.2022.01.024
Control Systems and Computers, 2022, Issue 1 (297), pp. 24-31.
UDC 517.7
A.V. Anisimov, Doctor of Physical and Mathematical Sciences, Professor, Department of Information Systems, dean of the faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv, Glushkov ave. 4D, 03022, Kyiv, Ukraine, a.v.anisimov@knu.ua
THE PROBLEM OF LOCAL OPTIMIZATION OF GRAPHS AND ITS APPLICATIONS
Introduction. We study the problem of constructing a locally optimal directed graph when each edge is assigned a fixed numerical weight. Due to the broad interpretation of the numerical weights of edges, the problem of finding the least-cost paths has many applications and is one of the most common and studied problems in the applied theory of algorithms. In various modifications, it can be found in algorithms for constructing optimal routes for flying and other moving objects, in pattern recognition, optimization of communication networks and integrated circuits. The property of local optimality is defined through a dynamic process that at every round assigns to each vertex the minimal value depending on its current value and sums of values stored in neighborhood vertices with weights of incoming edges. The graph is locally optimal when any vertex cannot allow further minimizations.
Purpose. The purpose of the article is to investigate the problem of constructing a locally-optimal graph, establish properties of such graphs, and derive new applications.
Methods. We consider the problem of finding the shortest paths in a broader context as a general computational problem of local graph optimization. This model of computations on a graph is studied. Each local vertex, regardless of the other vertices, performs the same iterative procedure of minimizing some non-negative numerical value assigned to that vertex. The operation of such minimization depends on the current value obtained in this vertex when applying the previous minimization and sums of the current numerical data located in the vertices from which the input edges lead to the selected local vertex and weights of the seedges. After several stages of such an operation, the graph always comes into a stable state: further minimization of vertices does not change the values assigned to the vertices. In this state, we call the graph locally optimal.
Results. The conditions under which the graph reaches the state of local optimization are investigated. With different choices of interpretation of the function that determines the influence of neighboring vertices on the vertex minimization value, we obtain a variety of applications. For example, the gradient descent method from the local optimization state makes it easy to obtain the minimum weight (cost) paths from the given starting vertex to all vertices. If the graph is interpreted as a semantic network in the space of natural language words, it is shown how the problem of finding the minimum path among words or phrases is interpreted as solving a known problem in computational linguistics: find the word most associated with a given input set words or sentences (images). Finally, by calculating the weights of the paths in randomized (uniformly distributed) graphs, a fast-authentication protocol is proposed for the two coalition entities acting in a malicious environment.
Conclusions. The local optimality is a stable constant state of the current graph marking reachable by using the dynamic minimization process. Local optimality provides a common method for solving many problems related to search engine optimization. It is shown how from solving the general problem of constructing a locally-optimal graph it follows the problem of finding the paths of least weights (cost). New applications include solving the problem of associative search in computational linguistics (creative thinking) and fast mutual authentication in coalition groups.
Keywords: directed graph, shortest paths, associative search, randomness, fast authentication.
Download full text! (On Ukrainian)
- Deikstra, E., 1959. “A note on two problems in connexion with graphs”. Numer. Math., N1, pp. 269-271.
https://doi.org/10.1007/BF01386390 - Moore, E.F.,. “The shortest path through a maze”. In Proc. An International Symposium on the Theory of Switching. Part II. Harvard University Press. pp. 285-292.
- Pollack, M., 1960. “Solutionsoftheshortest-routproblems – a review”. Oper. Res., N 8, pp. 224-230.
https://doi.org/10.1287/opre.8.2.224 - Pape, U., 1974. “Implementation and efficiency of Moore-algorithms for the shortest route problems”. Math. Progr, N7,pp. 212-222.
https://doi.org/10.1007/BF01585517 - Deo, N., Pang, C.Y., Lord, R.E., 1980. “Two parallel algorithms for shortest path problems”. Proc. Intern. conf. Parallelproc. NewYork: ACM, pp. 244-253.
- Ivanov, Ye.A., Shevchenko, V.P., 1934. “On parallel computing on graphs”. Cybernetics, N 3, pp. 89-94 (InRussian).
- Anisimov, A.V., 1986. “Local algorithm for the problem of the shortest path from one source”. Cybernetics. 1986. N 3. pp. 57-60 (InRussian).
https://doi.org/10.1007/BF01069971 - Ivakhnenko, A.G., 1971. “Systems of heuristic self-organization in technical cybernetics”. Kyiv: Tekhnika, 371 p. (InRussian).
- Anisimov, A.V., 1988. “Informatics. Creation. Recursion”. Kyiv: Nauk. dumka, 1988. 224 p. (in Russian).
- Li,N., Liu, D., Nepal, S., 2017.”Lightweight mutual authentication for IoT and its applications”. IEEE Trans. Sustainable Computing. 2(4), pp. 359-370.
https://doi.org/10.1109/TSUSC.2017.2716953 - Yang, T., Zhang, G.H., Liu, L., Yang, YiYu., Zhao, S., Sun, H. Wang, W., 2019. “New features of authentication scheme for the IoT: A Survey”. In Proceedings of the 2nd International ACM Workshop on Security and Privacy for the Internet-of-Things (IoT S&P’19). New York. USA, pp. 44-49.
https://doi.org/10.1145/3338507.3358618
Received 06.06.2022
