This article discusses two of the most popular algorithms for constructing dominator trees in the context of static code analysis in the Solidity programming language. Both algorithms, the Cooper, Harvey, Kennedy iterative algorithm and the Lengauer-Tarjan algorithm, are considered effective and widely used in practice. The article compares these algorithms, evaluates their complexity, and selects the most preferable option in the context of Solidity. Criteria such as execution time and memory usage were used for comparison. The Cooper, Harvey, Kennedy iterative algorithm showed higher performance when working with small projects, while the Lengauer-Tarjan algorithm performed better when analyzing larger projects. However, overall, the Cooper, Harvey, Kennedy iterative algorithm was found to be more preferable in the context of Solidity as it showed higher efficiency and accuracy when analyzing smart contracts in this programming language. In conclusion, this article may be useful for developers and researchers who are involved in static code analysis in the Solidity language, and who can use the results and conclusions of this study in their work.

Keywords: dominator tree, Solidity, algorithm comparison

The work is aimed at improving the algorithm of automated formation of solutions for the production of construction works based on the combinatorial approach. The essence of the approach is to form all feasible solutions for the production of construction works, taking into account the specified resources and constraints, and choosing the best option according to the specified criteria. At the same time, at some stages of the generation of altenatives, it is advisable to eliminate obviously losing options, in particular, it is proposed to take into account the losses from downtime of workers and construction machines formed due to some difference in the total productivity of workers and construction machines when forming the composition of resources for performing mechanized construction work. The proposed algorithm assumes the choice of the composition of resources for performing a mechanized technological process with minimal losses from idle resources.

Keywords: organizational and technological design, simulation model, algorithm, logical and mathematical model, combinatorial approach, multivariate design, automated control system in construction