DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2

This is the next essay from the cycle describing the theory of decomposition schemes as the theory of applied algorithms. A decomposition scheme is being considered as a prototype of an applied algorithm. The aim of the essay is to consider the turning of a decomposition scheme into an algorithm in...

Full description

Saved in:
Bibliographic Details
Date:2017
Main Author: Kolesnyk, V.G.
Format: Article
Language:Russian
Published: PROBLEMS IN PROGRAMMING 2017
Subjects:
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/155
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Problems in programming
Download file: Pdf

Institution

Problems in programming
Description
Summary:This is the next essay from the cycle describing the theory of decomposition schemes as the theory of applied algorithms. A decomposition scheme is being considered as a prototype of an applied algorithm. The aim of the essay is to consider the turning of a decomposition scheme into an algorithm in the case when the processed input P-data are placed in various media. R-data kinds of division are described and factors of their fragments and components placing are considered. For all the variants of R-data division the changes into the canonic algorithm which are necessary for their union are described. From the standpoint of the complexity changes in algorithm vary from primitives in several imperative operators to algorithmic constructions with loops and control constructs. For making the algorithmic constructions there is the mechanism of synthesis offered – bound to the levels of algorithm tree. For purposes of the comparative analysis the schemes of decomposition and applied algorithm there was offered the notion of NAC-conditionality as more fitting that the graph isomorphism. It is shown that description of the variants and factors of R-data division is declarative. This work endorses the idea that the theory of decomposition schemes allows to research the algorithms systematically. The aim of the research is to develop the mechanism of synthesis of the applied algorithms. The descriptions of the decomposition schemes are used as raw data for generating.