Combinatorial analysis of the solvability properties of the problems of recognition and completeness of algorithmic models. Part 1: Factorization approach
- 1 January 2017
- journal article
- Published by Pleiades Publishing Ltd in Pattern Recognition and Image Analysis
- Vol. 27 (1), 16-28
- https://doi.org/10.1134/s1054661817010151
Abstract
In poorly formalized problems of recognition and classification, there are plenty of methods to generate feature descriptions of objects, which are subsequently studied by the methods of computer science. Using the factorization approach (reduction of a recognition/classification problem to a binary form), here we obtain combinatorial criteria for the solvability and regularity properties of the problems and criteria of correctness of algorithms and completeness of algorithmic models (the analysis of which is an important component of the algebraic approach to the synthesis of correct algorithms). The study presents a hierarchy of the criteria and cross-validation methods for assessing their feasibility. Based on the hierarchy of criteria, we formulate a general approach to the analysis of poorly formalized problems.Keywords
This publication has 5 references indexed in Scilit:
- On metric spaces arising during formalization of problems of recognition and classification. Part 2: Density propertiesPattern Recognition and Image Analysis, 2016
- On metric spaces arising during formalization of recognition and classification problems. Part 1: Properties of compactnessPattern Recognition and Image Analysis, 2016
- On the theoretical basis of metric analysis of poorly formalized problems of recognition and classificationPattern Recognition and Image Analysis, 2015
- The study of the solvability of the genome annotation problem on sets of elementary motifsPattern Recognition and Image Analysis, 2011
- The Elements of Statistical LearningPublished by Springer Science and Business Media LLC ,2009