Теорема о комбинаторной линеаризации алгоритмических комплексов обработки данных

Резюме: в статье доказана теорема о комбинаторной линеаризации моделей < MN, AMN > произвольных АКОД. Использован приём погружения исходной проблемы в более общую проблему приведения матрицы смежности SN ассоциированного орграфа AMN модели к верхне-треугольному виду. В этом теоретическом контексте проблема решается с помощью трёх типов стандартных процедур: локального разделения, инверсии и локального переупорядочения РС. Теоретическая избыточность доказательства открывает дополнительные эвристические возможности для комбинаторной линеаризации конкретных моделей с учётом специфики их строения.

Ключевые слова: комбинаторная линеаризация, оснащённый мультиграф, стандартная процедура, ассоциированный орграф, верхне-треугольная матрица, регламентное и операционное бинарные отношения.

V.M. Simonov

The theorem about combinatorial linearization of data processing alhoritmic complexes

Summary: in this article has been proved the theorem about combinatorial linearization for models < MN, AMN > of arbitrary DPACs. It has been utilized the way of immersion initial problem in more general problem of reduction model’s associated orgraph AMN contiguity matrix SN to upper-triangle form. In this theoretical context the problem is solved with help of three types of standard procedures: local division, inversion and local reregulating of RMs. Theoretical redundancy of this proof opens additional heuristic possibilities for combinatorial linearization of concrete models with taking into account specificity of their structure.

Keywords: combinatorial linearization, equipped multigraph, associated orgraph, standard procedure, upper-triangle matrix, regulationsal and operational binary ratios.

doi: 10.34219/2078-8320-2021-12-1-89-96