Superreduction as the method covers a plenty of NP-complete problems
and therefore it is possible to apply it:
- at designing chips for electronic industry [25],
[26];
- at realization of the logic analysis in the most different
spheres [27], [28];
- for designing effective compilers of various programming
languages and first of all for languages of logic programming type the
Prologue [29];
- for the analysis of sequences DNA [30]
and in many different cases, starting from the theory of switching circuits
and finishing the theory of graph. Even the list of NP-complete
problems is difficultly feasible, as it makes thousand names.
Having dug caused by superreduction opens wide opportunities. Really, as it was already spoken in item ï.3, names "supergiven" and "extralight" a problem can be considered as synonyms and thus the algorithm of superreduction transforms earlier considered a hard-decision problem into an extralight problem. Such transformation of a problem can be considered as process of transformation of its structure. The problem was (or it was represented) hard-decision while its structure was not optimized yet. So, process of transformation at which some operators were excluded and differents are replaced again formed that was included into the text of a problem can be considered as process of changes of structure.
Such process of changes of structure is similar to process of training where apparently there are similar phenomena. Therefore to superreduction the receptions similar to receptions of training are applied. We specify that in the beginning for superreduction of a full problem is carried out its segmentation. Then superreduction of each segment is applied. After that Superreduction of a full problem to employ where already each segment is superreducted.
The problem of segmentation represents the certain interest. But there are also natural processes of segmentation. They arise during the block logic description of the projected device. Application of programs of superreduction allows at a design stage systems CAD (computer-aided design) to receive only problems extralight solved.
Now not belittling interest to quantum computers and quantum calculations it is necessary to pay attention to opportunities of development of essentially new computers for which problems of recognition are main and virus troubles are not possible. But the further description of opportunities without presentation concrete details will remind a fantasy and it here to anything.
5à) Use of superreduction in practical problems.